Filtre: Paperback Springer Berlin, Heidelberg

Theoretical Computer Science and General Issues

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%

Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7168

Editat de H. Jaap van den Herik et al.

19 iul 2012

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

6-8 săpt.

-20%

Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Lecture Notes in Computer Science, nr. 7265

Editat de Esra Erdem et al.

6 iun 2012

Preț: 336^.09 lei 420^.11 lei

6-8 săpt.

-20%

Languages Alive: Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 7300

Editat de Henning Bordihn et al.

25 iul 2012

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

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7317

Editat de Alessandro Cimatti et al.

22 iun 2012

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

6-8 săpt.

-20%

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7318

Editat de Barry S. Cooper et al.

6 iun 2012

Preț: 345^.60 lei 432^.00 lei

6-8 săpt.

-20%

Algorithms and Models for the Web Graph: 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7323

Editat de Anthony Bonato et al.

6 iun 2012

Preț: 396^.70 lei 495^.88 lei

6-8 săpt.

-20%

Computational Science and Its Applications -- ICCSA 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV

Lecture Notes in Computer Science, nr. 7336

Editat de Beniamino Murgante et al.

12 iun 2012

Preț: 340^.04 lei 425^.05 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%

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7347

Editat de Serge Haddad et al.

18 iun 2012

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7351

Editat de Denis Bechet et al.

30 mai 2012

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

6-8 săpt.

-20%

Combinatorial Pattern Matching: 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7354

Editat de Juha Kärkkäinen et al.

22 iun 2012

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

6-8 săpt.

-20%

Structural Information and Communication Complexity: 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7355

Editat de Guy Even et al.

20 iun 2012

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

6-8 săpt.

-20%

Algorithm Theory -- SWAT 2012: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7357

Editat de Fedor V. Fomin et al.

22 iun 2012

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Lecture Notes in Computer Science, nr. 7358

Editat de Madhusudan Parthasarathy et al.

27 iun 2012

Preț: 343^.99 lei 429^.98 lei

6-8 săpt.

-20%

Advances in Neural Networks – ISNN 2012: 9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part II

Lecture Notes in Computer Science, nr. 7368

Editat de Jun Wang et al.

27 iun 2012

Preț: 338^.61 lei 423^.25 lei

6-8 săpt.

-20%

Arithmetic of Finite Fields: 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7369

Editat de Ferruh Özbudak et al.

7 iul 2012

Preț: 290^.65 lei 363^.31 lei

6-8 săpt.

-20%

Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7381

Editat de Nelma Moreira et al.

26 iul 2012

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

6-8 săpt.

-20%

Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7385

Editat de Alastair Donaldson et al.

25 iul 2012

Preț: 413^.25 lei 516^.56 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7386

Editat de Martin Kutrib et al.

18 iul 2012

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Intelligent Computing Technology: 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7389

Editat de De-Shuang Huang et al.

26 iul 2012

Preț: 340^.04 lei 425^.05 lei

6-8 săpt.

-20%

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Lecture Notes in Computer Science, nr. 7392

Editat de Artur Czumaj et al.

iul 2012

Preț: 339^.11 lei 423^.88 lei

6-8 săpt.

-20%

Wireless Algorithms, Systems, and Applications: 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7405

Editat de Xinbing Wang et al.

7 iul 2012

Preț: 344^.80 lei 431^.00 lei

6-8 săpt.

-20%

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7406

Editat de Lennart Beringer et al.

6 iul 2012

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

6-8 săpt.

-20%

Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7410

Editat de Hsu-Chun Yen et al.

18 iul 2012

Preț: 329^.12 lei 411^.39 lei

6-8 săpt.

-20%

Hybrid Learning: 5th International Conference, ICHL 2012, Guangzhou, China, August 13-15, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7411

Editat de Simon K. S. Cheung et al.

25 iul 2012

Preț: 379^.51 lei

6-8 săpt.

DNA Computing and Molecular Programming: 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7433

Editat de Darko Stefanovic et al.

7 iul 2012

Preț: 395^.59 lei 494^.49 lei

6-8 săpt.

-20%

Computing and Combinatorics: 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7434

Editat de Joachim Gudmundsson et al.

3 iul 2012

Preț: 336^.09 lei 420^.11 lei

6-8 săpt.

-20%

Parallel Problem Solving from Nature - PPSN XII: 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II

Lecture Notes in Computer Science, nr. 7492

Editat de Carlos Coello Coello et al.

24 iul 2012

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Artificial Immune Systems: 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7597

Editat de Carlos A. Coello-Coello et al.

24 aug 2012

Preț: 320^.72 lei 400^.90 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%

Euro-Par 2012: Parallel Processing Workshops: BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Island, Greece, August 27-31, 2012. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7640

Editat de Ioannis Caragiannis et al.

20 feb 2013

Preț: 334^.80 lei 418^.49 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%

Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7758

Editat de Guram Bezhanishvili et al.

10 feb 2013

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

Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7762

Editat de Erzsebet Csuhaj-Varju et al.

20 feb 2013

Preț: 326^.55 lei 408^.19 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.

Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages: 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2013, Oldenburg, Germany, February 26 -- March 2, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7780

Editat de Ira Diethelm et al.

24 ian 2013

Preț: 337^.46 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.

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.

The Language of Mathematics: A Linguistic and Philosophical Investigation

Lecture Notes in Computer Science, nr. 7805

Autor Mohan Ganesalingam

10 feb 2013

Preț: 455^.83 lei 569^.79 lei

6-8 săpt.

-20%

Reconfigurable Computing: Architectures, Tools and Applications: 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7806

Editat de Philip Brisk et al.

9 feb 2013

Preț: 290^.51 lei 363^.14 lei

6-8 săpt.

-20%

Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7810

Editat de Adrian-Horia Dediu et al.

20 feb 2013

Preț: 333^.87 lei 417^.33 lei

6-8 săpt.

-20%

Evolutionary Multi-Criterion Optimization: 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7811

Editat de Robin Purshouse et al.

20 feb 2013

Preț: 404^.67 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 Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7832

Editat de Martin Middendorf et al.

20 mar 2013

Preț: 341^.13 lei

6-8 săpt.

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%

Applications of Evolutionary Computing: 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7835

Editat de Anna I. Esparcia-Alcázar

21 mar 2013

Preț: 337^.35 lei 421^.69 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%

Grid and Pervasive Computing: 8th International Conference, GPC 2013, and Colocated Workshops, Seoul, Korea, May 9-11, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7861

Editat de James J. (Jong Hyuk) Park et al.

17 apr 2013

Preț: 653^.50 lei 816^.88 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%

Computer Science - Theory and Applications: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7913

Editat de Andrei A. Bulatov et al.

16 mai 2013

Preț: 327^.54 lei 409^.42 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%

The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7921

Editat de Paola Bonizzoni et al.

19 iul 2013

Preț: 327^.84 lei 409^.80 lei

6-8 săpt.

-20%

Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7922

Editat de Johannes Fischer et al.

6 iun 2013

Preț: 291^.32 lei 364^.15 lei

6-8 săpt.

-20%

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7924

Editat de Michael Fellows et al.

6 iun 2013

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

Advances in Swarm Intelligence: 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Lecture Notes in Computer Science, nr. 7929

Editat de Ying Tan et al.

22 mai 2013

Preț: 332^.10 lei 415^.13 lei

6-8 săpt.

-20%

Natural and Artificial Models in Computation and Biology: 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I

Lecture Notes in Computer Science, nr. 7930

Editat de Jose Manuel Ferrandez Vicente et al.

16 mai 2013

Preț: 327^.67 lei 409^.59 lei

6-8 săpt.

-20%

Natural and Artificial Computation in Engineering and Medical Applications: 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

Lecture Notes in Computer Science, nr. 7931

Editat de Jose Manuel Ferrandez Vicente et al.

16 mai 2013

Preț: 329^.41 lei 411^.77 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%

Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7936

Editat de Ding-Zhu Du et al.

22 mai 2013

Preț: 347^.34 lei 434^.18 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%

Advances in Neural Networks- ISNN 2013: 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part II

Lecture Notes in Computer Science, nr. 7952

Editat de Chengan Guo et al.

15 iul 2013

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

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7956

Editat de Giancarlo Mauri et al.

6 iun 2013

Preț: 291^.63 lei 364^.54 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7962

Editat de Matti Jarvisalo et al.

19 iul 2013

Preț: 327^.36 lei 409^.20 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%

Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Lecture Notes in Computer Science, nr. 7966

Editat de Fedor V. Fomin et al.

15 iul 2013

Preț: 340^.04 lei 425^.05 lei

6-8 săpt.

-20%

Computational Science and Its Applications -- ICCSA 2013: 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

Lecture Notes in Computer Science, nr. 7973

Editat de Beniamino Murgante et al.

18 iul 2013

Preț: 338^.31 lei 422^.88 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 7975

Editat de Beniamino Murgante et al.

15 iul 2013

Preț: 338^.61 lei 423^.25 lei

6-8 săpt.

-20%

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7976

Editat de Ezio Bartocci et al.

19 iul 2013

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

6-8 săpt.

-20%

Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7982

Editat de Stavros Konstantinidis

19 iul 2013

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

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%

Hybrid Learning and Continuing Education: 6th International conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8038

Editat de Simon K. S. Cheung et al.

9 iul 2013

Preț: 380^.62 lei

6-8 săpt.

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%

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8049

Editat de Zhiming Liu et al.

15 iul 2013

Preț: 327^.99 lei 409^.99 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%

Papetărie, jocuri, reviste

Theoretical Computer Science and General Issues