Filtre: Engleză Springer Berlin, Heidelberg Livrare economică (2-4 săptămâni)

Theoretical Computer Science and General Issues

Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers

Lecture Notes in Computer Science, nr. 5083

Editat de Olaf Chitil

25 aug 2008

Preț: 560^.93 lei 701^.15 lei

22-36 zile

-20%

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5123

Editat de Aarti Gupta et al.

17 iun 2008

Preț: 793^.92 lei 992^.40 lei

22-36 zile

-20%

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5213

Editat de Michael Kaminski et al.

10 sep 2008

Preț: 791^.54 lei 989^.42 lei

22-36 zile

-20%

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5713

Editat de Andrew Butterfield

30 iul 2010

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

22-36 zile

-20%

Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

Lecture Notes in Computer Science, nr. 5836

Editat de Sven-Bodo Scholz et al.

19 sep 2011

Preț: 402^.28 lei 502^.84 lei

22-36 zile

-20%

Approximation and Online Algorithms: 7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 Revised Papers

Lecture Notes in Computer Science, nr. 5893

Editat de Evripidis Bampis et al.

23 apr 2010

Preț: 319^.13 lei 398^.90 lei

22-36 zile

-20%

Languages and Compilers for Parallel Computing: 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5898

Editat de Guang R. Gao et al.

9 iun 2010

Preț: 328^.16 lei 410^.20 lei

22-36 zile

-20%

Artificial Evolution: 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers

Lecture Notes in Computer Science, nr. 5975

Editat de Pierre Collet et al.

6 iul 2010

Preț: 317^.05 lei 396^.31 lei

22-36 zile

-20%

Applications of Evolutionary Computation: EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II

Lecture Notes in Computer Science, nr. 6025

Editat de Cecilia Di Chio et al.

25 mar 2010

Preț: 632^.09 lei 790^.11 lei

22-36 zile

-20%

Integer Programming and Combinatorial Optimization: 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6080

Editat de Friedrich Eisenbrand et al.

iun 2010

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

22-36 zile

-20%

Arithmetic of Finite Fields: Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6087

Editat de M. Anwar Hasan et al.

17 iun 2010

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

22-36 zile

-20%

Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6120

Editat de Claude Bolduc et al.

iun 2010

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

22-36 zile

-20%

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6140

Editat de Andrea Lodi et al.

iun 2010

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

22-36 zile

-20%

Wireless Algorithms, Systems, and Applications: 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6221

Editat de Gopal Pandurangan et al.

30 iul 2010

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

22-36 zile

-20%

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6246

Editat de Krishnendu Chatterjee et al.

30 aug 2010

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

22-36 zile

-20%

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6247

Editat de Anuj Dawar et al.

11 aug 2010

Preț: 335^.29 lei 419^.11 lei

22-36 zile

-20%

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6269

Editat de Paul Gastin et al.

18 aug 2010

Preț: 637^.96 lei 797^.45 lei

22-36 zile

-20%

Network and Parallel Computing: IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6289

Editat de Chen Ding et al.

30 aug 2010

Preț: 632^.09 lei 790^.11 lei

22-36 zile

-20%

Central European Functional Programming School: Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures

Lecture Notes in Computer Science, nr. 6299

Editat de Zoltán Horváth et al.

4 ian 2011

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

22-36 zile

-20%

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6302

Editat de Maria Serna et al.

19 aug 2010

Preț: 644^.93 lei 806^.17 lei

22-36 zile

-20%

Mathematical Software - ICMS 2010: Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6327

Editat de Komei Fukuda et al.

30 aug 2010

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

22-36 zile

-20%

Sequences and Their Applications - SETA 2010: 6th International Conference, Paris, France, September 13-17, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6338

Editat de Claude Carlet et al.

sep 2010

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

22-36 zile

-20%

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6349

Editat de Jaco van der Pol et al.

27 sep 2010

Preț: 321^.81 lei 402^.26 lei

22-36 zile

-20%

Cellular Automata: 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6350

Editat de Stefania Bandini et al.

20 sep 2010

Preț: 638^.76 lei 798^.45 lei

22-36 zile

-20%

Hybrid Metaheuristics: 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6373

Editat de Maria José Blesa et al.

27 sep 2010

Preț: 317^.68 lei 397^.10 lei

22-36 zile

-20%

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6381

Editat de Peter Csaba Ölveczky

6 oct 2010

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

22-36 zile

-20%

Advances in Computation and Intelligence: 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6382

Editat de Zhihua Cai et al.

6 oct 2010

Preț: 333^.68 lei 417^.09 lei

22-36 zile

-20%

Property Testing: Current Research and Surveys

Lecture Notes in Computer Science, nr. 6390

Editat de Oded Goldreich

8 oct 2010

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

22-36 zile

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6397

Editat de Christian G. Fermüller et al.

27 sep 2010

Preț: 638^.76 lei 798^.45 lei

22-36 zile

-20%

Neural Information Processing. Theory and Algorithms: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part I

Lecture Notes in Computer Science, nr. 6443

Editat de Kevin K. W. Wong et al.

4 ian 2011

Preț: 642^.40 lei 803^.00 lei

22-36 zile

-20%

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6445

Editat de Shengchao Qin

21 oct 2010

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

22-36 zile

-20%

Swarm, Evolutionary, and Memetic Computing: First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6466

Editat de Bijaya Ketan Panigrahi et al.

22 noi 2010

Preț: 911^.71 lei 1139^.64 lei

22-36 zile

-20%

Parameterized and Exact Computation: 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6478

Editat de Venkatesh Raman et al.

22 noi 2010

Preț: 318^.30 lei 397^.88 lei

22-36 zile

-20%

Implementation and Application of Automata: 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6482

Editat de Michael Domaratzki et al.

4 feb 2011

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

22-36 zile

-20%

Principles of Distributed Systems: 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6490

Editat de Chenyang Lu et al.

2 dec 2010

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

22-36 zile

-20%

Algorithms and Models for the Web-Graph: 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6516

Editat de Ravi Kumar et al.

14 ian 2011

Preț: 314^.86 lei 393^.57 lei

22-36 zile

-20%

Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Lecture Notes in Computer Science, nr. 6534

Editat de Klaus Jansen et al.

25 ian 2011

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

22-36 zile

-20%

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Lecture Notes in Computer Science, nr. 6538

Editat de Ranjit Jhala et al.

11 ian 2011

Preț: 328^.16 lei 410^.20 lei

22-36 zile

-20%

SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6543

Editat de Ivana Cerná et al.

11 ian 2011

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

22-36 zile

-20%

WALCOM: Algorithms and Computation: 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6552

Editat de Naoki Katoh et al.

11 feb 2011

Preț: 318^.30 lei 397^.88 lei

22-36 zile

-20%

Architecture of Computing Systems - ARCS 2011: 24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6566

Editat de Mladen Berekovic et al.

11 feb 2011

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

22-36 zile

-20%

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6601

Editat de Jens Knoop

22 mar 2011

Preț: 321^.81 lei 402^.26 lei

22-36 zile

-20%

Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 6610

Editat de Jozef Kelemen et al.

22 mar 2011

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

22-36 zile

-20%

Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Lecture Notes in Computer Science, nr. 6627

Editat de Juergen Dingel et al.

20 mai 2011

Preț: 328^.16 lei 410^.20 lei

22-36 zile

-20%

Integer Programming and Combinatorial Optimization: 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6655

Editat de Oktay Günlük et al.

10 mai 2011

Preț: 328^.16 lei 410^.20 lei

22-36 zile

-20%

Combinatorial Pattern Matching: 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6661

Editat de Raffaele Giancarlo et al.

16 iun 2011

Preț: 330^.98 lei 413^.73 lei

22-36 zile

-20%

Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6695

Editat de Karem A. Sakallah et al.

iun 2011

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

22-36 zile

-20%

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6697

Editat de Tobias Achterberg et al.

13 mai 2011

Preț: 373^.03 lei

22-36 zile

Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6709

Editat de Lars M. Kristensen et al.

16 iun 2011

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

22-36 zile

-20%

Advances in Swarm Intelligence, Part I: Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I

Lecture Notes in Computer Science, nr. 6728

Editat de Ying Tan et al.

26 mai 2011

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

22-36 zile

-20%

Algorithms and Models for the Web-Graph: 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6732

Editat de Alan Frieze et al.

19 mai 2011

Preț: 313^.10 lei 391^.37 lei

22-36 zile

-20%

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I

Lecture Notes in Computer Science, nr. 6755

Editat de Luca Aceto et al.

27 iun 2011

Preț: 647^.95 lei 809^.93 lei

22-36 zile

-20%

Structural Information and Communication Complexity: 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011

Lecture Notes in Computer Science, nr. 6796

Editat de Adrian Kosowski et al.

24 iun 2011

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

22-36 zile

-20%

Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6808

Editat de Markus Holzer et al.

18 iul 2011

Preț: 321^.81 lei 402^.26 lei

22-36 zile

-20%

Wireless Algorithms, Systems, and Applications: 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6843

Editat de Yu Cheng et al.

23 aug 2011

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

22-36 zile

-20%

Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6859

Editat de Andrea Corradini et al.

19 aug 2011

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

22-36 zile

-20%

Spatial Information Theory: 10th International Conference, COSIT 2011, Belfast, ME, USA

Lecture Notes in Computer Science, nr. 6899

Editat de Max J. Egenhofer et al.

30 aug 2011

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

22-36 zile

-20%

Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6916

Editat de Antonio Cerone et al.

12 aug 2011

Preț: 402^.28 lei 502^.84 lei

22-36 zile

-20%

Informatics in Schools: Contributing to 21st Century Education: 5th International Conference, ISSEP 2011, Bratislava, Slovakia, October 26-29, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7013

Editat de Ivan Kalas et al.

12 oct 2011

Preț: 467^.85 lei

22-36 zile

Swarm, Evolutionary, and Memetic Computing, Part II: Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part II

Lecture Notes in Computer Science, nr. 7077

Editat de Bijata Ketan Panigraphi et al.

7 dec 2011

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

22-36 zile

-20%

Mathematical Modeling and Computational Science: International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7125

Editat de Gheorghe Adam et al.

24 feb 2012

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

22-36 zile

-20%

Distributed Computing and Networking: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7129

Editat de Luciano Bononi et al.

15 dec 2011

Preț: 334^.49 lei 418^.11 lei

22-36 zile

-20%

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7148

Editat de Viktor Kuncak et al.

12 ian 2012

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

22-36 zile

-20%

WALCOM: Algorithm and Computation: 6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7157

Editat de Md. Saidur Rahman et al.

25 ian 2012

Preț: 401^.15 lei 501^.44 lei

22-36 zile

-20%

Fun with Algorithms: 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7288

Editat de Evangelos Kranakis et al.

11 mai 2012

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

22-36 zile

-20%

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7833

Editat de Leonardo Vanneschi et al.

19 mar 2013

Preț: 338^.00 lei

43-57 zile

Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Lecture Notes in Computer Science, nr. 11880

Autor Ronald de Haan

31 dec 2019

Preț: 496^.40 lei 584^.00 lei

22-36 zile | 6-12 zile

-15%

Papetărie, jocuri, reviste

Theoretical Computer Science and General Issues