Filtre: Paperback

Theoretical Computer Science and General Issues

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%

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%

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%

Theoretical Computer Science and General Issues

Editat de Martin Aher et al.

19 mai 2015

Preț: 323^.62 lei 404^.53 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%

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%

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 Daydé et al.

7 iun 2013

Preț: 328^.94 lei 411^.17 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%

Wireless Algorithms, Systems, and Applications: 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10,2013, Proceedings

Lecture Notes in Computer Science, nr. 7992

Editat de Kui Ren et al.

9 iul 2013

Preț: 331^.80 lei 414^.75 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%

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8044

Editat de Natasha Sharygina et al.

14 iul 2013

Preț: 655^.70 lei 819^.62 lei

6-8 săpt.

-20%

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Lecture Notes in Computer Science, nr. 8050

Editat de Zhiming Liu et al.

19 iul 2013

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

6-8 săpt.

-20%

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Lecture Notes in Computer Science, nr. 8051

Editat de Zhiming Liu et al.

31 iul 2013

Preț: 325^.92 lei 407^.40 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%

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8071

Editat de Leonid Libkin et al.

8 aug 2013

Preț: 292^.40 lei 365^.50 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%

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%

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%

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%

Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9363

Editat de Yoram Moses

10 noi 2015

Preț: 338^.93 lei 423^.65 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 for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9450

Editat de Martin Davis et al.

3 dec 2015

Preț: 336^.86 lei 421^.08 lei

6-8 săpt.

-20%

Algorithms and Computation: 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9472

Editat de Khaled Elbassioni et al.

27 noi 2015

Preț: 590^.40 lei 737^.99 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9583

Editat de Barbara Jobstmann et al.

26 dec 2015

Preț: 332^.92 lei 416^.15 lei

6-8 săpt.

-20%

SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9587

Editat de Rūsiņš Mārtiņš Freivalds et al.

3 feb 2016

Preț: 336^.41 lei 420^.51 lei

6-8 săpt.

-20%

Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9632

Editat de Peter Thiemann

23 mar 2016

Preț: 344^.61 lei 430^.77 lei

6-8 săpt.

-20%

Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9633

Editat de Perdita Stevens et al.

22 mar 2016

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

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9634

Editat de Bart Jacobs et al.

23 mar 2016

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

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9636

Editat de Marsha Chechik et al.

9 apr 2016

Preț: 352^.24 lei 440^.29 lei

6-8 săpt.

-20%

LATIN 2016: Theoretical Informatics: 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9644

Editat de Evangelos Kranakis et al.

23 mar 2016

Preț: 340^.84 lei 426^.05 lei

6-8 săpt.

-20%

Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity

Lecture Notes in Computer Science, nr. 9802

Autor Michał Skrzypczak

6 aug 2016

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9803

Editat de Jouko Väänänen et al.

6 aug 2016

Preț: 327^.99 lei 409^.99 lei

6-8 săpt.

-20%

Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Lecture Notes in Computer Science, nr. 9804

Editat de Annie Foret et al.

6 aug 2016

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9840

Editat de Srečko Brlek et al.

21 iul 2016

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9888

Editat de Cyril Gavoille et al.

4 sep 2016

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9941

Editat de Pinar Heggernes

28 sep 2016

Preț: 320^.86 lei 401^.08 lei

6-8 săpt.

-20%

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10054

Editat de Maxime Amblard et al.

10 noi 2016

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

6-8 săpt.

-20%

Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity

Lecture Notes in Computer Science, nr. 10110

Autor Thomas Zeume

18 feb 2017

Preț: 313^.24 lei 391^.55 lei

6-8 săpt.

-20%

Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10148

Editat de Helle Hvid Hansen et al.

22 feb 2017

Preț: 324^.03 lei 405^.04 lei

6-8 săpt.

-20%

Numerical Analysis and Its Applications: 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10187

Editat de Ivan Dimov et al.

12 apr 2017

Preț: 401^.33 lei

6-8 săpt.

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10202

Editat de Marieke Huisman et al.

22 mar 2017

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

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10203

Editat de Javier Esparza et al.

16 mar 2017

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

6-8 săpt.

-20%

Theoretical Computer Science and General Issues

Papetărie, jocuri, reviste