Filtre: Springer Berlin, Heidelberg Tipărit la comandă

Theoretical Computer Science and General Issues

Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II

Lecture Notes in Computer Science, nr. 3697

Editat de Wlodzislaw Duch et al.

31 aug 2005

Preț: 657^.76 lei 822^.21 lei

6-8 săpt.

-20%

Applied Parallel Computing: State of the Art in Scientific Computing

Lecture Notes in Computer Science, nr. 3732

Editat de Jack Dongarra et al.

3 mar 2006

Preț: 989^.24 lei 1236^.55 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3839

Editat de Jean-Christophe Filliatre et al.

25 ian 2006

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Simulated Evolution and Learning: 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4247

Editat de Tzai-Der Wang et al.

6 oct 2006

Preț: 652^.21 lei 815^.26 lei

6-8 săpt.

-20%

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 5115

Editat de Jean-Raymond Abrial et al.

20 ian 2010

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Artificial Immune Systems: 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5132

Editat de Peter Bentley et al.

25 iul 2008

Preț: 328^.94 lei 411^.17 lei

6-8 săpt.

-20%

Graph Drawing: 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers

Lecture Notes in Computer Science, nr. 5849

Editat de David Eppstein et al.

24 mar 2010

Preț: 328^.94 lei 411^.17 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 15th International Meeting on DNA Computing, DNA 15, Fayetteville, AR, USA, June 8-11, 2009. Revised Selected Papers

Lecture Notes in Computer Science, nr. 5877

Editat de Russell Deaton et al.

7 dec 2009

Preț: 314^.67 lei 393^.34 lei

6-8 săpt.

-20%

Grid Resource Management: On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources

Lecture Notes in Computer Science, nr. 5951

Autor Mumtaz Siddiqui et al.

27 ian 2010

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6013

Editat de David S. Rosenblum et al.

16 mar 2010

Preț: 326^.55 lei 408^.19 lei

6-8 săpt.

-20%

LATIN 2010: Theoretical Informatics: 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6034

Editat de Alejandro López-Ortiz

9 apr 2010

Preț: 641^.62 lei 802^.03 lei

6-8 săpt.

-20%

String Processing and Information Retrieval: 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6393

Editat de Edgar Chavez et al.

27 sep 2010

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

High Performance Computing for Computational Science -- VECPAR 2010: 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers

Lecture Notes in Computer Science, nr. 6449

Editat de José M. Laginha M. Palma et al.

23 feb 2011

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

Languages and Compilers for Parallel Computing: 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6548

Editat de Keith Cooper et al.

7 mar 2011

Preț: 320^.24 lei 400^.30 lei

6-8 săpt.

-20%

Theory of Quantum Computation, Communication, and Cryptography: 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6745

Editat de Dave Bacon et al.

19 mar 2014

Preț: 316^.11 lei 395^.14 lei

6-8 săpt.

-20%

Languages and Compilers for Parallel Computing: 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7146

Editat de Sanjay Rajopadhye et al.

20 feb 2013

Preț: 320^.55 lei 400^.68 lei

6-8 săpt.

-20%

Experimental Algorithms: 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7276

Editat de Ralf Klasing

29 mai 2012

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7342

Editat de Jeremy Gibbons et al.

18 iun 2012

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Quantum Interaction: 6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7620

Editat de Jerome R. Busemeyer et al.

22 noi 2012

Preț: 290^.33 lei 362^.91 lei

6-8 săpt.

-20%

Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7643

Editat de W. F. Symth et al.

5 dec 2012

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Graph Drawing: 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7704

Editat de Walter Didimo et al.

20 feb 2013

Preț: 334^.18 lei 417^.72 lei

6-8 săpt.

-20%

Languages and Compilers for Parallel Computing: 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7760

Editat de Hironori Kasahara et al.

4 apr 2013

Preț: 292^.09 lei 365^.10 lei

6-8 săpt.

-20%

Information Theory, Combinatorics, and Search Theory: In Memory of Rudolf Ahlswede

Lecture Notes in Computer Science, nr. 7777

Editat de Harout Aydinian et al.

16 mar 2013

Preț: 402^.06 lei

6-8 săpt.

Applied Parallel and Scientific Computing: 11th International Conference, PARA 2012, Helsinki, Finland

Lecture Notes in Computer Science, nr. 7782

Editat de Pekka Manninen et al.

20 feb 2013

Preț: 389^.30 lei

6-8 săpt.

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7787

Editat de Shaoying Liu

14 aug 2013

Preț: 285^.90 lei 357^.38 lei

6-8 săpt.

-20%

Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7791

Editat de Koen De Bosschere et al.

20 feb 2013

Preț: 291^.77 lei 364^.71 lei

6-8 săpt.

-20%

Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7793

Editat de Vittorio Cortellessa et al.

20 feb 2013

Preț: 324^.50 lei 405^.63 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7794

Editat de Frank Pfenning

20 feb 2013

Preț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7795

Editat de Nir Piterman et al.

20 feb 2013

Preț: 337^.48 lei 421^.86 lei

6-8 săpt.

-20%

Programming Logics: Essays in Memory of Harald Ganzinger

Lecture Notes in Computer Science, nr. 7797

Editat de Andrei Voronkov et al.

3 apr 2013

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

Integer Programming and Combinatorial Optimization: 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7801

Editat de Michel Goemans et al.

20 feb 2013

Preț: 379^.89 lei

6-8 săpt.

Trends in Functional Programming: 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7829

Editat de Hans Wolfgang Loidl et al.

5 aug 2013

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Genetic Programming: 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7831

Editat de Krzysztof Krawiec et al.

21 mar 2013

Preț: 292^.25 lei 365^.31 lei

6-8 săpt.

-20%

Evolutionary and Biologically Inspired Music, Sound, Art and Design: Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7834

Editat de Penousal Machado et al.

20 mar 2013

Preț: 287^.96 lei 359^.95 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7841

Editat de Narciso Martí Oliet et al.

13 apr 2013

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7844

Editat de Elvira Albert

3 mai 2013

Preț: 407^.76 lei 479^.72 lei

6-8 săpt.

-15%

High Performance Computing for Computational Science - VECPAR 2012: 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7851

Editat de Michel Dayde et al.

7 iun 2013

Preț: 328^.94 lei 411^.17 lei

6-8 săpt.

-20%

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 7860

Editat de Bob Coecke et al.

16 mai 2013

Preț: 323^.86 lei 404^.83 lei

6-8 săpt.

-20%

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7874

Editat de Carla Gomes et al.

19 apr 2013

Preț: 380^.09 lei

6-8 săpt.

Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7876

Editat de T-H. Hubert Chan et al.

16 mai 2013

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7878

Editat de Paul G. Spirakis et al.

28 mai 2013

Preț: 324^.68 lei 405^.84 lei

6-8 săpt.

-20%

Supercomputing: 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7905

Editat de Julian M. Kunkel et al.

16 mai 2013

Preț: 328^.94 lei 411^.17 lei

6-8 săpt.

-20%

Developments in Language Theory: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7907

Editat de Marie-Pierre Beal et al.

24 mai 2013

Preț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Hybrid Metaheuristics: 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7919

Editat de Maria J. Blesa et al.

16 mai 2013

Preț: 288^.93 lei 361^.17 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7927

Editat de Jose-Manuel Colom et al.

6 iun 2013

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7933

Editat de Vincenzo Bonifaci et al.

25 mai 2013

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7941

Editat de Masahito Hasegawa

6 iun 2013

Preț: 411^.19 lei 513^.99 lei

6-8 săpt.

-20%

Computer Vision Systems: 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7963

Editat de Mei Chen et al.

4 iul 2013

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7998

Editat de Sandrine Blazy et al.

19 iul 2013

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

In Search of Elegance in the Theory and Practice of Computation: Essays dedicated to Peter Buneman

Lecture Notes in Computer Science, nr. 8000

Editat de Val Tannen et al.

8 oct 2013

Preț: 333^.38 lei 416^.72 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8031

Editat de Jürgensen et al.

19 iul 2013

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings

Lecture Notes in Computer Science, nr. 8036

Editat de Glyn Morrill et al.

11 iul 2013

Preț: 320^.06 lei 400^.07 lei

6-8 săpt.

-20%

Algorithms and Data Structures: 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8037

Editat de Frank Dehne et al.

15 iul 2013

Preț: 332^.42 lei 415^.53 lei

6-8 săpt.

-20%

CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8052

Editat de Pedro R. D'Argenio et al.

6 aug 2013

Preț: 333^.54 lei 416^.93 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8053

Editat de Víctor Braberman et al.

8 aug 2013

Preț: 292^.88 lei 366^.11 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8054

Editat de Kaustubh Joshi et al.

7 aug 2013

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday

Lecture Notes in Computer Science, nr. 8066

Editat de Andrej Brodnik et al.

7 aug 2013

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8070

Editat de Leszek Gąsieniec et al.

8 aug 2013

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8087

Editat de Krishnendu Chatterjee et al.

8 aug 2013

Preț: 346^.85 lei 433^.57 lei

6-8 săpt.

-20%

Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8089

Editat de Reiko Heckel et al.

8 aug 2013

Preț: 323^.23 lei 404^.04 lei

6-8 săpt.

-20%

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8096

Editat de Prasad Raghavendra et al.

6 aug 2013

Preț: 340^.35 lei 425^.44 lei

6-8 săpt.

-20%

Euro-Par 2013: Parallel Processing: 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8097

Editat de Felix Wolf et al.

7 aug 2013

Preț: 349^.54 lei 436^.93 lei

6-8 săpt.

-20%

Algorithms – ESA 2013: 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8125

Editat de Hans L. Bodlaender et al.

13 aug 2013

Preț: 345^.92 lei 432^.40 lei

6-8 săpt.

-20%

Artificial Neural Networks and Machine Learning -- ICANN 2013: 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8131

Editat de Valeri Mladenov et al.

21 aug 2013

Preț: 337^.18 lei 421^.48 lei

6-8 săpt.

-20%

Network and Parallel Computing: 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8147

Editat de Ching-Hsien Hsu et al.

21 aug 2013

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%

Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8177

Editat de Michael Floater et al.

21 feb 2014

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Lecture Notes in Computer Science, nr. 8222

Editat de Claudia Casadio et al.

17 mar 2014

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Algebraic and Algorithmic Aspects of Differential and Integral Operators: 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

Lecture Notes in Computer Science, nr. 8372

Editat de Moulay Barkatou et al.

10 mar 2014

Preț: 315^.93 lei 394^.92 lei

6-8 săpt.

-20%

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Lecture Notes in Computer Science, nr. 8373

Editat de Shusaku Iida et al.

25 feb 2014

Preț: 337^.81 lei 422^.26 lei

6-8 săpt.

-20%

LATIN 2014: Theoretical Informatics: 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8392

Editat de Alberto Pardo et al.

3 mar 2014

Preț: 343^.53 lei 429^.41 lei

6-8 săpt.

-20%

Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8409

Editat de Albert Cohen

11 mar 2014

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8411

Editat de Stefania Gnesi et al.

17 mar 2014

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8412

Editat de Anca Muscholl

18 mar 2014

Preț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8413

Editat de Erika Abraham et al.

11 mar 2014

Preț: 337^.48 lei 421^.86 lei

6-8 săpt.

-20%

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8415

Editat de Saddek Bensalem et al.

11 mar 2014

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8446

Editat de Marcello M. Bonsangue

sep 2014

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Lecture Notes in Computer Science, nr. 8453

Editat de Anne Remke et al.

31 oct 2014

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Mathematical Software -- ICMS 2014: 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8592

Editat de Hoon Hong et al.

15 iul 2014

Preț: 342^.11 lei 427^.64 lei

6-8 săpt.

-20%

Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Lecture Notes in Computer Science, nr. 8607

Editat de Margot Colinet et al.

14 iul 2014

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Formal Grammar: 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8612

Editat de Glyn Morrill et al.

5 aug 2014

Preț: 315^.80 lei 394^.74 lei

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8652

Editat de Ulrich Kohlenbach et al.

24 iul 2014

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8704

Editat de Paolo Baldan et al.

6 aug 2014

Preț: 334^.98 lei 418^.71 lei

6-8 săpt.

-20%

Algorithms - ESA 2014: 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8737

Editat de Andreas S. Schulz et al.

3 sep 2014

Preț: 347^.34 lei 434^.18 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Lecture Notes in Computer Science, nr. 8803

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 337^.18 lei 421^.48 lei

6-8 săpt.

-20%

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Lecture Notes in Computer Science, nr. 8923

Editat de Mohua Banerjee et al.

5 dec 2014

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

Models of Strategic Reasoning: Logics, Games, and Communities

Lecture Notes in Computer Science, nr. 8972

Editat de Johan van Benthem et al.

10 ian 2016

Preț: 322^.11 lei 402^.64 lei

6-8 săpt.

-20%

Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Lecture Notes in Computer Science, nr. 9134

Editat de Magnús M. Halldórsson et al.

6 iul 2015

Preț: 660^.63 lei 825^.78 lei

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9160

Editat de Valeria de Paiva et al.

7 iul 2015

Preț: 261^.58 lei 326^.98 lei

6-8 săpt.

-20%

Euro-Par 2015: Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9233

Editat de Jesper Larsson Träff et al.

5 aug 2015

Preț: 340^.67 lei 425^.84 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Lecture Notes in Computer Science, nr. 9234

Editat de Giuseppe F Italiano et al.

20 aug 2015

Preț: 328^.79 lei 410^.99 lei

6-8 săpt.

-20%

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Lecture Notes in Computer Science, nr. 9235

Editat de Giuseppe F. Italiano et al.

18 aug 2015

Preț: 335^.74 lei 419^.68 lei

6-8 săpt.

-20%

Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9291

Editat de Sandrine Blazy et al.

14 sep 2015

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9294

Editat de Nikhil Bansal et al.

14 sep 2015

Preț: 657^.63 lei 822^.04 lei

6-8 săpt.

-20%

Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9394

Editat de Wiebe van der Hoek et al.

9 oct 2015

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11813

Editat de Patrick Blackburn et al.

15 sep 2019

Preț: 382^.65 lei

6-8 săpt.

Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12564

Editat de Dun Deng et al.

17 dec 2020

Preț: 454^.39 lei 567^.99 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Theoretical Computer Science and General Issues