Power-Aware Computer Systems: 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers Lecture Notes in Computer Science, nr. 3471 Editat de Babak Falsafi et al. 12 dec 2005 Paperback Preț: 315.62 lei 394.52 lei 6-8 săpt. -20%
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 Paperback 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 Paperback Preț: 989.24 lei 1236.55 lei 6-8 săpt. -20%
Computer and Information Sciences - ISCIS 2005: 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings Lecture Notes in Computer Science, nr. 3733 Editat de Pinar Yolum et al. 17 oct 2005 Paperback Preț: 653.96 lei 817.45 lei 6-8 săpt. -20%
Stochastic Algorithms: Foundations and Applications: Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 Lecture Notes in Computer Science, nr. 3777 Editat de Oleg B. Lupanov et al. 13 oct 2005 Paperback Preț: 317.68 lei 397.10 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 Paperback Preț: 319.42 lei 399.28 lei 6-8 săpt. -20%
Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers Lecture Notes in Computer Science, nr. 3850 Editat de Rudolph Freund et al. 11 ian 2006 Paperback Preț: 324.03 lei 405.04 lei 6-8 săpt. -20%
Approximation and Online Algorithms: Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers Lecture Notes in Computer Science, nr. 3879 Editat de Thomas Erlebach et al. 13 feb 2006 Paperback Preț: 322.93 lei 403.66 lei 6-8 săpt. -20%
Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings Lecture Notes in Computer Science, nr. 3927 Editat de Joao Hespanha et al. 20 mar 2006 Paperback Preț: 635.12 lei 793.91 lei 6-8 săpt. -20%
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings Lecture Notes in Computer Science, nr. 4014 Editat de Tarmo Uustalu 27 iun 2006 Paperback Preț: 327.99 lei 409.99 lei 6-8 săpt. -20%
Embedded Computer Systems: Architectures, Modeling, and Simulation: 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings Lecture Notes in Computer Science, nr. 4017 Editat de Stamatis Vassiliadis et al. 6 iul 2006 Paperback Preț: 330.23 lei 412.79 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 Paperback Preț: 652.21 lei 815.26 lei 6-8 săpt. -20%
Numerical Methods and Applications: 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006, Revised Papers Lecture Notes in Computer Science, nr. 4310 Editat de Todor Boyanov et al. 20 feb 2007 Paperback Preț: 637.84 lei 750.40 lei 6-8 săpt. -15%
Parallel and Distributed Processing and Applications: 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings Lecture Notes in Computer Science, nr. 4330 Editat de Minyi Guo et al. 27 noi 2006 Paperback Preț: 652.88 lei 816.09 lei 6-8 săpt. -20%
Graph Drawing: 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers Lecture Notes in Computer Science, nr. 4372 Editat de Michael Kaufmann et al. 7 feb 2007 Paperback Preț: 329.41 lei 411.77 lei 6-8 săpt. -20%
Discrete Geometry, Combinatorics and Graph Theory: 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China, November 22-24, 2005, Revised Selected Papers Lecture Notes in Computer Science, nr. 4381 Editat de Jin Akiyama et al. 26 ian 2007 Paperback Preț: 321.03 lei 401.30 lei 6-8 săpt. -20%
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers Lecture Notes in Computer Science, nr. 4407 Editat de Germán Puebla 16 mar 2007 Paperback Preț: 318.30 lei 397.88 lei 6-8 săpt. -20%
Structural Information and Communication Complexity: 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings Lecture Notes in Computer Science, nr. 4474 Editat de Giuseppe Prencipe et al. iun 2007 Paperback Preț: 323.86 lei 404.83 lei 6-8 săpt. -20%
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings Lecture Notes in Computer Science, nr. 4501 Editat de Joao Marques-Silva et al. 18 mai 2007 Paperback Preț: 326.42 lei 408.02 lei 6-8 săpt. -20%
Combinatorial Pattern Matching: 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings Lecture Notes in Computer Science, nr. 4580 Editat de Bin Ma et al. 22 iun 2007 Paperback Preț: 325.92 lei 407.40 lei 6-8 săpt. -20%
Frontiers in Algorithmics: First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings Lecture Notes in Computer Science, nr. 4613 Editat de Franco P. Preparata et al. 16 iul 2007 Paperback Preț: 323.10 lei 403.87 lei 6-8 săpt. -20%
CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings Lecture Notes in Computer Science, nr. 4703 Editat de Luís Caires et al. 22 aug 2007 Paperback Preț: 332.42 lei 415.53 lei 6-8 săpt. -20%
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings Lecture Notes in Computer Science, nr. 4732 Editat de Klaus Schneider et al. 28 aug 2007 Paperback Preț: 327.04 lei 408.80 lei 6-8 săpt. -20%
Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings Lecture Notes in Computer Science, nr. 5455 Editat de Mladen Berekovic et al. 25 feb 2009 Paperback Preț: 319.75 lei 399.68 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 Paperback Preț: 314.67 lei 393.34 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 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers Lecture Notes in Computer Science, nr. 6546 Editat de Rex Page et al. 9 sep 2011 Paperback Preț: 399.09 lei 498.86 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 Paperback Preț: 320.24 lei 400.30 lei 6-8 săpt. -20%
Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings Lecture Notes in Computer Science, nr. 6595 Editat de Alberto Marchetti-Spaccamela et al. 14 mar 2011 Paperback Preț: 319.42 lei 399.28 lei 6-8 săpt. -20%
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 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. 6604 Editat de Martin Hofmann 18 mar 2011 Paperback Preț: 330.54 lei 413.16 lei 6-8 săpt. -20%
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Lecture Notes in Computer Science, nr. 6690 Editat de Luke Ong 23 mai 2011 Paperback Preț: 319.42 lei 399.28 lei 6-8 săpt. -20%
Development in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings Lecture Notes in Computer Science, nr. 6795 Editat de Giancarlo Mauri et al. 12 iul 2011 Paperback Preț: 331.30 lei 414.13 lei 6-8 săpt. -20%
Hybrid Learning: 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings Lecture Notes in Computer Science, nr. 6837 Editat de Reggie Kwan et al. 21 iul 2011 Paperback Preț: 326.55 lei 408.19 lei 6-8 săpt. -20%
Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings Lecture Notes in Computer Science, nr. 6907 Editat de Filip Murlak et al. 9 aug 2011 Paperback Preț: 338.47 lei 423.09 lei 6-8 săpt. -20%
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings Lecture Notes in Computer Science, nr. 6919 Editat de Uli Fahrenberg et al. 12 sep 2011 Paperback Preț: 323.41 lei 404.26 lei 6-8 săpt. -20%
Network and Parallel Computing: 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings Lecture Notes in Computer Science, nr. 6985 Editat de Erik Altman et al. 19 sep 2011 Paperback Preț: 324.99 lei 406.23 lei 6-8 săpt. -20%
Quantum Interaction: 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers Lecture Notes in Computer Science, nr. 7052 Editat de Dawei Song et al. 21 oct 2011 Paperback Preț: 317.85 lei 397.31 lei 6-8 săpt. -20%
Swarm, Evolutionary, and Memetic Computing: Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part I Lecture Notes in Computer Science, nr. 7076 Editat de Bijaya Ketan Panigrahi et al. 7 dec 2011 Paperback Preț: 323.41 lei 404.26 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 Paperback Preț: 330.36 lei 412.95 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 Paperback Preț: 326.24 lei 407.80 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 Paperback Preț: 337.18 lei 421.48 lei 6-8 săpt. -20%
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science, nr. 11022 Editat de David N. Jansen et al. 26 aug 2018 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%
Structural Information and Communication Complexity Lecture Notes in Computer Science, nr. 11085 Editat de Zvi Lotker et al. 31 oct 2018 Paperback Preț: 328.93 lei 411.16 lei 6-8 săpt. -20%
Reachability Problems Lecture Notes in Computer Science, nr. 11123 Editat de Igor Potapov et al. 30 aug 2018 Paperback Preț: 316.23 lei 395.28 lei 6-8 săpt. -20%
Artificial Neural Networks and Machine Learning – ICANN 2018: 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III Lecture Notes in Computer Science, nr. 11141 Editat de Věra Kůrková et al. 25 oct 2018 Paperback Preț: 347.34 lei 434.18 lei 6-8 săpt. -20%
String Processing and Information Retrieval Lecture Notes in Computer Science, nr. 11147 Editat de Travis Gagie et al. 14 sep 2018 Paperback Preț: 326.47 lei 408.09 lei 6-8 săpt. -20%
Graph-Theoretic Concepts in Computer Science Lecture Notes in Computer Science, nr. 11159 Editat de Andreas Brandstädt et al. 3 sep 2018 Paperback Preț: 327.27 lei 409.09 lei 6-8 săpt. -20%
Information Retrieval Lecture Notes in Computer Science, nr. 11168 Editat de Shichao Zhang et al. 19 sep 2018 Paperback Preț: 322.37 lei 402.96 lei 6-8 săpt. -20%
Swarm Intelligence Lecture Notes in Computer Science, nr. 11172 Editat de Marco Dorigo et al. 3 oct 2018 Paperback Preț: 329.94 lei 412.42 lei 6-8 săpt. -20%
Symposium on Real-Time and Hybrid Systems Lecture Notes in Computer Science, nr. 11180 Editat de Cliff Jones et al. 29 sep 2018 Paperback Preț: 320.93 lei 401.17 lei 6-8 săpt. -20%
Verification and Evaluation of Computer and Communication Systems Lecture Notes in Computer Science, nr. 11181 Editat de Mohamed Faouzi Atig et al. 31 aug 2018 Paperback Preț: 318.89 lei 398.61 lei 6-8 săpt. -20%
Computational Logistics Lecture Notes in Computer Science, nr. 11184 Editat de Raffaele Cerulli et al. 20 sep 2018 Paperback Preț: 332.39 lei 415.48 lei 6-8 săpt. -20%
Challenges and Opportunities in the Digital Era Lecture Notes in Computer Science, nr. 11195 Editat de Salah A. Al-Sharhan et al. 12 oct 2018 Paperback Preț: 396.29 lei 6-8 săpt.
Stabilization, Safety, and Security of Distributed Systems Lecture Notes in Computer Science, nr. 11201 Editat de Taisuke Izumi et al. 20 oct 2018 Paperback Preț: 328.49 lei 410.62 lei 6-8 săpt. -20%
Coalgebraic Methods in Computer Science Lecture Notes in Computer Science, nr. 11202 Editat de Corina Cîrstea 20 sep 2018 Paperback Preț: 319.49 lei 399.37 lei 6-8 săpt. -20%
Theory and Practice of Natural Computing Lecture Notes in Computer Science, nr. 11324 Editat de David Fagan et al. 22 noi 2018 Paperback Preț: 331.80 lei 414.75 lei 6-8 săpt. -20%
Artificial Immune Systems Editat de Peter Bentley et al. 25 iul 2008 Paperback Preț: 329.94 lei 412.42 lei 6-8 săpt. -20%
Rigorous Methods for Software Construction and Analysis Editat de Jean-Raymond Abrial et al. 20 ian 2010 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
Combinatorial Pattern Matching Editat de Gregory Kucherov et al. 8 iun 2009 Paperback Preț: 326.68 lei 408.36 lei 6-8 săpt. -20%
LATIN 2010: Theoretical Informatics Editat de Alejandro López-Ortiz 9 apr 2010 Paperback Preț: 645.80 lei 807.25 lei 6-8 săpt. -20%
Graph Drawing Editat de David Eppstein et al. 24 mar 2010 Paperback Preț: 329.74 lei 412.17 lei 6-8 săpt. -20%
Computer Aided Verification Autor Serdar Tasiran et al. 7 oct 2020 Hardback Preț: 442.87 lei 553.59 lei 6-8 săpt. -20%
Logical Aspects of Computational Linguistics Editat de Denis Bechet et al. 30 mai 2012 Paperback Preț: 320.32 lei 400.41 lei 6-8 săpt. -20%
Combinatorial Pattern Matching Editat de Johannes Fischer et al. 6 iun 2013 Paperback Preț: 293.28 lei 366.61 lei 6-8 săpt. -20%
The Nature of Computation: Logic, Algorithms, Applications Editat de Paola Bonizzoni et al. 19 iul 2013 Paperback Preț: 330.58 lei 413.22 lei 6-8 săpt. -20%
Model Checking Software Editat de Alastair Donaldson et al. 25 iul 2012 Paperback Preț: 414.05 lei 517.56 lei 6-8 săpt. -20%
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Editat de Michael Fellows et al. 6 iun 2013 Paperback Preț: 326.05 lei 407.56 lei 6-8 săpt. -20%
Language and Automata Theory and Applications Editat de Adrian-Horia Dediu et al. 20 feb 2013 Paperback Preț: 337.30 lei 421.62 lei 6-8 săpt. -20%
The Language of Mathematics Autor Mohan Ganesalingam 10 feb 2013 Paperback Preț: 458.30 lei 572.87 lei 6-8 săpt. -20%
Logic, Language, and Computation Editat de Guram Bezhanishvili et al. 10 feb 2013 Paperback Preț: 294.32 lei 367.90 lei 6-8 săpt. -20%
Informatics Education - Supporting Computational Thinking Editat de Roland Mittermeir et al. 19 iun 2008 Paperback Preț: 381.01 lei 6-8 săpt.
Advances in Neural Networks- ISNN 2013 Editat de Chengan Guo et al. 15 iul 2013 Paperback Preț: 341.61 lei 427.02 lei 6-8 săpt. -20%
Reconfigurable Computing: Architectures, Tools and Applications Editat de Philip Brisk et al. 9 feb 2013 Paperback Preț: 292.49 lei 365.61 lei 6-8 săpt. -20%
Unconventional Computation and Natural Computation Editat de Giancarlo Mauri et al. 6 iun 2013 Paperback Preț: 293.72 lei 367.14 lei 6-8 săpt. -20%
Intelligent Computing Technology Editat de De-Shuang Huang et al. 26 iul 2012 Paperback Preț: 342.25 lei 427.81 lei 6-8 săpt. -20%
Model Checking Software Editat de Ezio Bartocci et al. 19 iul 2013 Paperback Preț: 326.68 lei 408.36 lei 6-8 săpt. -20%
String Processing and Information Retrieval Editat de Edgar Chavez et al. 27 sep 2010 Paperback Preț: 328.72 lei 410.89 lei 6-8 săpt. -20%
Implementation and Application of Automata Editat de Stavros Konstantinidis 19 iul 2013 Paperback Preț: 325.83 lei 407.29 lei 6-8 săpt. -20%
Fundamental Approaches to Software Engineering Editat de David S. Rosenblum et al. 16 mar 2010 Paperback Preț: 327.27 lei 409.09 lei 6-8 săpt. -20%
Algebra and Coalgebra in Computer Science Editat de Reiko Heckel et al. 8 aug 2013 Paperback Preț: 326.05 lei 407.56 lei 6-8 săpt. -20%
Grid Resource Management Autor Mumtaz Siddiqui et al. 27 ian 2010 Paperback Preț: 319.28 lei 399.10 lei 6-8 săpt. -20%
Algorithms - ESA 2014 Editat de Andreas S. Schulz et al. 3 sep 2014 Paperback Preț: 352.11 lei 440.14 lei 6-8 săpt. -20%
Developments in Language Theory Editat de Volker Diekert et al. 22 iun 2009 Paperback Preț: 333.41 lei 416.76 lei 6-8 săpt. -20%
Languages Alive Editat de Henning Bordihn et al. 25 iul 2012 Paperback Preț: 322.37 lei 402.96 lei 6-8 săpt. -20%
Modular Ontologies Editat de Heiner Stuckenschmidt et al. 25 mai 2009 Paperback Preț: 326.88 lei 408.60 lei 6-8 săpt. -20%
Logic and Its Applications Editat de Mohua Banerjee et al. 5 dec 2014 Paperback Preț: 319.28 lei 399.10 lei 6-8 săpt. -20%
Mathematics of Program Construction Editat de Philippe Audebaud et al. 4 iul 2008 Paperback Preț: 329.14 lei 411.42 lei 6-8 săpt. -20%
Computer Aided Verification Autor Hana Chockler et al. 7 oct 2020 Hardback Preț: 413.43 lei 516.79 lei 6-8 săpt. -20%
Implementation and Application of Functional Languages Editat de Jurriaan Hage et al. 19 sep 2011 Paperback Preț: 400.78 lei 500.98 lei 6-8 săpt. -20%
SOFSEM 2013: Theory and Practice of Computer Science Editat de Peter Van Emde Boas et al. 8 ian 2013 Paperback Preț: 336.49 lei 420.61 lei 6-8 săpt. -20%