Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday Lecture Notes in Computer Science, nr. 4600 Editat de Hubert Comon-Lundh et al. 22 iun 2007 Paperback Preț: 298.13 lei 372.66 lei 39-44 zile -20%
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers Lecture Notes in Computer Science, nr. 4912 Editat de Gilles Barthe et al. 18 mar 2008 Paperback Preț: 309.10 lei 386.38 lei 39-44 zile -20%
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers Lecture Notes in Computer Science, nr. 4941 Editat de Marino Miculan et al. 26 mai 2008 Paperback Preț: 297.58 lei 371.97 lei 39-44 zile -20%
Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings Lecture Notes in Computer Science, nr. 4978 Editat de Manindra Agrawal et al. 8 apr 2008 Paperback Preț: 593.54 lei 741.93 lei 39-44 zile -20%
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings Lecture Notes in Computer Science, nr. 4996 Editat de Hans Kleine Büning et al. 25 apr 2008 Paperback Preț: 300.30 lei 375.38 lei 39-44 zile -20%
Algorithms and Architectures for Parallel Processing: 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings Lecture Notes in Computer Science, nr. 5022 Editat de Anu G. Bourgeois et al. 29 mai 2008 Paperback Preț: 301.78 lei 377.22 lei 39-44 zile -20%
Reliable Implementation of Real Number Algorithms: Theory and Practice: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers Lecture Notes in Computer Science, nr. 5045 Editat de Peter Hertling et al. 28 aug 2008 Paperback Preț: 297.58 lei 371.97 lei 39-44 zile -20%
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings Lecture Notes in Computer Science, nr. 5117 Editat de Andrei Voronkov 4 iul 2008 Paperback Preț: 313.94 lei 392.43 lei 39-44 zile -20%
Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings Lecture Notes in Computer Science, nr. 5160 Editat de John S. Fitzgerald et al. 18 aug 2008 Paperback Preț: 313.94 lei 392.43 lei 39-44 zile -20%
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings Lecture Notes in Computer Science, nr. 5170 Editat de Otmane Ait Mohamed et al. 30 iul 2008 Paperback Preț: 301.41 lei 376.77 lei 39-44 zile -20%
Sequences and Their Applications - SETA 2008: 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings Lecture Notes in Computer Science, nr. 5203 Editat de Solomon W. Golomb et al. 4 sep 2008 Paperback Preț: 364.74 lei 39-44 zile
Wireless Algorithms, Systems, and Applications: Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings Lecture Notes in Computer Science, nr. 5258 Editat de Yingshu Li et al. 7 oct 2008 Paperback Preț: 325.72 lei 407.15 lei 39-44 zile -20%
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings Lecture Notes in Computer Science, nr. 5403 Editat de Neil Jones et al. 18 dec 2008 Paperback Preț: 306.00 lei 382.50 lei 39-44 zile -20%
WALCOM: Algorithms and Computation: Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, Proceedings Lecture Notes in Computer Science, nr. 5431 Editat de Sandip Das et al. 2 feb 2009 Paperback Preț: 309.48 lei 386.85 lei 39-44 zile -20%
Reconfigurable Computing: Architectures, Tools and Applications: 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009, Proceedings Lecture Notes in Computer Science, nr. 5453 Editat de Jürgen Becker et al. 9 mar 2009 Paperback Preț: 306.57 lei 383.21 lei 39-44 zile -20%
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers Lecture Notes in Computer Science, nr. 5474 Editat de Christos Kaklamanis et al. 26 mar 2009 Paperback Preț: 290.50 lei 363.13 lei 39-44 zile -20%
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers Lecture Notes in Computer Science, nr. 5497 Editat de Stefano Berardi et al. 19 iun 2009 Paperback Preț: 301.04 lei 376.30 lei 39-44 zile -20%
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings Lecture Notes in Computer Science, nr. 5532 Editat de Jianer Chen et al. 28 apr 2009 Paperback Preț: 316.49 lei 395.61 lei 39-44 zile -20%
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings Lecture Notes in Computer Science, nr. 5584 Editat de Oliver Kullmann 19 iun 2009 Paperback Preț: 320.02 lei 400.03 lei 39-44 zile -20%
Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings Lecture Notes in Computer Science, nr. 5608 Editat de Pierre-Louis Curien 8 iun 2009 Paperback Preț: 310.22 lei 387.78 lei 39-44 zile -20%
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings Lecture Notes in Computer Science, nr. 5674 Editat de Stefan Berghofer et al. 4 aug 2009 Paperback Preț: 319.45 lei 399.32 lei 39-44 zile -20%
Wireless Algorithms, Systems, and Applications: 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings Lecture Notes in Computer Science, nr. 5682 Editat de Benyuan Liu et al. 28 iul 2009 Paperback Preț: 592.12 lei 740.15 lei 39-44 zile -20%
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings Lecture Notes in Computer Science, nr. 5684 Editat de Martin Leucker et al. 29 iul 2009 Paperback Preț: 304.70 lei 380.88 lei 39-44 zile -20%
Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings Lecture Notes in Computer Science, nr. 5715 Editat de Christian S. Calude et al. 28 aug 2009 Paperback Preț: 299.55 lei 374.44 lei 39-44 zile -20%
String Processing and Information Retrieval: 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings Lecture Notes in Computer Science, nr. 5721 Editat de Jussi Karlgren et al. 11 aug 2009 Paperback Preț: 304.70 lei 380.88 lei 39-44 zile -20%
Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings Lecture Notes in Computer Science, nr. 5792 Editat de Osamu Watanabe et al. 5 oct 2009 Paperback Preț: 297.58 lei 371.97 lei 39-44 zile -20%
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings Lecture Notes in Computer Science, nr. 5827 Editat de Rudolf Berghammer et al. 5 oct 2009 Paperback Preț: 305.07 lei 381.34 lei 39-44 zile -20%
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings Lecture Notes in Computer Science, nr. 5846 Editat de Jeremy Gibbons et al. 26 oct 2009 Paperback Preț: 297.58 lei 371.97 lei 39-44 zile -20%
Structural Information and Communication Complexity: 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers Lecture Notes in Computer Science, nr. 5869 Editat de Shay Kutten et al. 12 feb 2010 Paperback Preț: 302.84 lei 378.56 lei 39-44 zile -20%
Stabilization, Safety, and Security of Distributed Systems: 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings Lecture Notes in Computer Science, nr. 5873 Editat de Rachid Guerraoui et al. 26 oct 2009 Paperback Preț: 611.22 lei 764.02 lei 39-44 zile -20%
SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings Lecture Notes in Computer Science, nr. 5901 Editat de Jan van Leeuwen et al. 20 ian 2010 Paperback Preț: 609.42 lei 761.78 lei 39-44 zile -20%
Teaching Fundamental Concepts of Informatics: 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010, Proceedings Lecture Notes in Computer Science, nr. 5941 Editat de Juraj Hromkovič et al. 8 ian 2010 Paperback Preț: 340.83 lei 18-23 zile | 7-13 zile
WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010, Proceedings Lecture Notes in Computer Science, nr. 5942 Editat de Md. Saidur Rahman et al. 20 ian 2010 Paperback Preț: 299.93 lei 374.91 lei 39-44 zile -20%
Replication: Theory and Practice Lecture Notes in Computer Science, nr. 5959 Editat de Bernadette Charron-Bost et al. 2 mar 2010 Paperback Preț: 379.02 lei 473.77 lei 18-23 zile | 7-13 zile -20%
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II Lecture Notes in Computer Science, nr. 7610 Editat de Tiziana Margaria et al. 11 sep 2012 Paperback Preț: 305.45 lei 381.81 lei 39-44 zile -20%
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings Lecture Notes in Computer Science, nr. 7734 Editat de Sergei Artemov et al. 21 noi 2012 Paperback Preț: 306.25 lei 382.82 lei 39-44 zile -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 Paperback Preț: 302.59 lei 378.23 lei 39-44 zile -20%
Parallel Computing Technologies: 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings Lecture Notes in Computer Science, nr. 7979 Editat de Victor Malyshkin 12 aug 2013 Paperback Preț: 308.49 lei 385.61 lei 39-44 zile -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 Paperback Preț: 262.38 lei 3-5 săpt. | 7-13 zile
Computational Linguistics and Intelligent Text Processing: 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I Lecture Notes in Computer Science, nr. 8403 Editat de Alexander Gelbukh 31 mar 2014 Paperback Preț: 784.54 lei 980.68 lei 39-44 zile -20%
Advances in Computational Intelligence: 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part I Lecture Notes in Computer Science, nr. 9094 Editat de Ignacio Rojas et al. 21 mai 2015 Paperback Preț: 380.36 lei 39-44 zile
Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings Lecture Notes in Computer Science, nr. 9710 Editat de Nadia Creignou et al. 12 iun 2016 Paperback Preț: 360.10 lei 450.12 lei 3-5 săpt. | 7-13 zile -20%
Parallel Processing and Applied Mathematics: 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II Lecture Notes in Computer Science, nr. 10778 Editat de Roman Wyrzykowski et al. 23 mar 2018 Paperback Preț: 317.97 lei 397.47 lei 39-44 zile -20%
Advances in Swarm Intelligence: 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II Lecture Notes in Computer Science, nr. 11656 Editat de Ying Tan et al. 19 iul 2019 Paperback Preț: 437.93 lei 547.42 lei 39-44 zile -20%
Graph Drawing and Network Visualization: 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings Lecture Notes in Computer Science, nr. 11904 Editat de Daniel Archambault et al. 28 noi 2019 Paperback Preț: 291.91 lei 364.89 lei 3-5 săpt. | 7-13 zile -20%
Large-Scale Scientific Computing: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers Lecture Notes in Computer Science, nr. 11958 Editat de Ivan Lirkov et al. 14 feb 2020 Paperback Preț: 330.87 lei 413.58 lei 39-44 zile -20%
Computer Algebra in Scientific Computing: 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings Lecture Notes in Computer Science, nr. 12291 Editat de François Boulier et al. 18 oct 2020 Paperback Preț: 596.88 lei 746.11 lei 39-44 zile -20%
Computational Logistics: 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings Lecture Notes in Computer Science, nr. 12433 Editat de Eduardo Lalla-Ruiz et al. 27 sep 2020 Paperback Preț: 609.04 lei 761.30 lei 39-44 zile -20%
Embedded Computer Systems: Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings Lecture Notes in Computer Science, nr. 12471 Editat de Alex Orailoglu et al. 15 oct 2020 Paperback Preț: 306.19 lei 382.74 lei 39-44 zile -20%
High Performance Computing: ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers Lecture Notes in Computer Science, nr. 12761 Editat de Heike Jagode et al. 13 noi 2021 Paperback Preț: 580.26 lei 725.33 lei 39-44 zile -20%
Combinatorics on Words: 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings Lecture Notes in Computer Science, nr. 12847 Editat de Thierry Lecroq et al. 13 aug 2021 Paperback Preț: 367.86 lei 459.83 lei 39-44 zile -20%
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings Lecture Notes in Computer Science, nr. 12860 Editat de Catalin Dima et al. 9 aug 2021 Paperback Preț: 285.98 lei 357.47 lei 39-44 zile -20%
Advances in Computational Intelligence: 16th International Work-Conference on Artificial Neural Networks, IWANN 2021, Virtual Event, June 16–18, 2021, Proceedings, Part II Lecture Notes in Computer Science, nr. 12862 Editat de Ignacio Rojas et al. 21 aug 2021 Paperback Preț: 313.57 lei 391.97 lei 39-44 zile -20%
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings Lecture Notes in Computer Science, nr. 12864 Editat de Alfons Laarman et al. 3 aug 2021 Paperback Preț: 289.63 lei 362.04 lei 39-44 zile -20%
Computer Algebra in Scientific Computing: 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings Lecture Notes in Computer Science, nr. 12865 Editat de François Boulier et al. 17 aug 2021 Paperback Preț: 527.58 lei 659.47 lei 39-44 zile -20%
Fundamentals of Computation Theory: 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings Lecture Notes in Computer Science, nr. 12867 Editat de Evripidis Bampis et al. 12 sep 2021 Paperback Preț: 528.32 lei 660.40 lei 39-44 zile -20%
Frontiers of Algorithmics: International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings Lecture Notes in Computer Science, nr. 12874 Editat de Jing Chen et al. 3 mar 2022 Paperback Preț: 360.22 lei 39-44 zile
Artificial Neural Networks and Machine Learning – ICANN 2021: 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14–17, 2021, Proceedings, Part II Lecture Notes in Computer Science, nr. 12892 Editat de Igor Farkaš et al. 11 sep 2021 Paperback Preț: 598.01 lei 747.51 lei 39-44 zile -20%
Computer Vision Systems: 13th International Conference, ICVS 2021, Virtual Event, September 22-24, 2021, Proceedings Lecture Notes in Computer Science, nr. 12899 Editat de Markus Vincze et al. 19 sep 2021 Paperback Preț: 375.10 lei 468.88 lei 39-44 zile -20%
Graph-Theoretic Concepts in Computer Science: 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers Lecture Notes in Computer Science, nr. 12911 Editat de Łukasz Kowalik et al. 20 sep 2021 Paperback Preț: 464.13 lei 580.17 lei 39-44 zile -20%
Learning and Intelligent Optimization: 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers Lecture Notes in Computer Science, nr. 12931 Editat de Dimitris E. Simos et al. 9 dec 2021 Paperback Preț: 439.62 lei 549.53 lei 39-44 zile -20%
Wireless Algorithms, Systems, and Applications: 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I Lecture Notes in Computer Science, nr. 12937 Editat de Zhe Liu et al. 9 sep 2021 Paperback Preț: 331.61 lei 414.52 lei 39-44 zile -20%
String Processing and Information Retrieval: 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings Lecture Notes in Computer Science, nr. 12944 Editat de Thierry Lecroq et al. 28 sep 2021 Paperback Preț: 374.75 lei 468.43 lei 39-44 zile -20%
Computational Science and Its Applications – ICCSA 2021: 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part II Lecture Notes in Computer Science, nr. 12950 Editat de Osvaldo Gervasi et al. 11 sep 2021 Paperback Preț: 596.20 lei 745.25 lei 39-44 zile -20%
Computational Science and Its Applications – ICCSA 2021: 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part III Lecture Notes in Computer Science, nr. 12951 Editat de Osvaldo Gervasi et al. 11 sep 2021 Paperback Preț: 340.42 lei 425.52 lei 39-44 zile -20%
Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6–10, 2021, Revised Selected Papers Lecture Notes in Computer Science, nr. 12982 Editat de Jochen Koenemann et al. 23 dec 2021 Paperback Preț: 398.06 lei 39-44 zile
Unconventional Computation and Natural Computation: 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings Lecture Notes in Computer Science, nr. 12984 Editat de Irina Kostitsyna et al. 3 oct 2021 Paperback Preț: 317.22 lei 396.52 lei 39-44 zile -20%
Job Scheduling Strategies for Parallel Processing: 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers Lecture Notes in Computer Science, nr. 12985 Editat de Dalibor Klusáček et al. 6 oct 2021 Paperback Preț: 372.51 lei 465.63 lei 39-44 zile -20%
Internet of Things – ICIOT 2021: 6th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings Lecture Notes in Computer Science, nr. 12993 Editat de Bedir Tekinerdogan et al. 18 feb 2022 Paperback Preț: 308.34 lei 385.43 lei 39-44 zile -20%
Computing and Combinatorics: 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings Lecture Notes in Computer Science, nr. 13025 Editat de Chi-Yeh Chen et al. 22 oct 2021 Paperback Preț: 596.01 lei 745.02 lei 39-44 zile -20%
Information Retrieval: 27th China Conference, CCIR 2021, Dalian, China, October 29–31, 2021, Proceedings Lecture Notes in Computer Science, nr. 13026 Editat de Hongfei Lin et al. 5 oct 2021 Paperback Preț: 370.64 lei 463.30 lei 39-44 zile -20%
Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings Lecture Notes in Computer Science, nr. 13027 Editat de Uli Fahrenberg et al. 13 oct 2021 Paperback Preț: 445.67 lei 557.09 lei 39-44 zile -20%
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 13030 Editat de Ernst-Rüdiger Olderog et al. 22 noi 2021 Paperback Preț: 369.53 lei 461.91 lei 39-44 zile -20%
Discrete and Computational Geometry, Graphs, and Games: 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers Lecture Notes in Computer Science, nr. 13034 Editat de Jin Akiyama et al. 29 oct 2021 Paperback Preț: 315.42 lei 394.28 lei 39-44 zile -20%
Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings Lecture Notes in Computer Science, nr. 13035 Editat de Paul C. Bell et al. 26 oct 2021 Paperback Preț: 445.45 lei 556.82 lei 39-44 zile -20%
Descriptional Complexity of Formal Systems: 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings Lecture Notes in Computer Science, nr. 13037 Editat de Yo-Sub Han et al. 25 dec 2021 Paperback Preț: 341.33 lei 426.67 lei 39-44 zile -20%
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings Lecture Notes in Computer Science, nr. 13038 Editat de Alexandra Silva et al. 6 oct 2021 Paperback Preț: 410.82 lei 513.52 lei 39-44 zile -20%
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings Lecture Notes in Computer Science, nr. 13039 Editat de Sujata Ghosh et al. 4 oct 2021 Paperback Preț: 399.79 lei 39-44 zile
Stabilization, Safety, and Security of Distributed Systems: 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings Lecture Notes in Computer Science, nr. 13046 Editat de Colette Johnen et al. 9 noi 2021 Paperback Preț: 532.41 lei 665.52 lei 39-44 zile -20%
Informatics in Schools. Rethinking Computing Education: 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3–5, 2021, Proceedings Lecture Notes in Computer Science, nr. 13057 Editat de Erik Barendsen et al. 4 noi 2021 Paperback Preț: 366.99 lei 39-44 zile
Optimization and Applications: 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings Lecture Notes in Computer Science, nr. 13078 Editat de Nicholas N. Olenev et al. 5 noi 2021 Paperback Preț: 411.66 lei 514.58 lei 39-44 zile -20%
Theory and Practice of Natural Computing: 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings Lecture Notes in Computer Science, nr. 13082 Editat de Claus Aranha et al. 4 noi 2021 Paperback Preț: 309.28 lei 386.60 lei 39-44 zile -20%
Algorithmic Aspects of Cloud Computing: 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers Lecture Notes in Computer Science, nr. 13084 Editat de Gianlorenzo D’Angelo et al. 10 dec 2021 Paperback Preț: 306.36 lei 382.95 lei 39-44 zile -20%
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings Lecture Notes in Computer Science, nr. 13085 Editat de Radu Calinescu et al. 3 dec 2021 Paperback Preț: 479.37 lei 599.21 lei 39-44 zile -20%
Neural Information Processing: 28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8–12, 2021, Proceedings, Part II Lecture Notes in Computer Science, nr. 13109 Editat de Teddy Mantoro et al. 7 dec 2021 Paperback Preț: 595.47 lei 744.33 lei 39-44 zile -20%
Computational Data and Social Networks: 10th International Conference, CSoNet 2021, Virtual Event, November 15–17, 2021, Proceedings Lecture Notes in Computer Science, nr. 13116 Editat de David Mohaisen et al. 4 dec 2021 Paperback Preț: 440.32 lei 550.40 lei 39-44 zile -20%
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings Lecture Notes in Computer Science, nr. 13122 Editat de João F. Ferreira et al. 21 noi 2021 Paperback Preț: 366.10 lei 39-44 zile
Combinatorial Optimization and Applications: 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings Lecture Notes in Computer Science, nr. 13135 Editat de Ding-Zhu Du et al. 11 dec 2021 Paperback Preț: 655.84 lei 819.80 lei 39-44 zile -20%
Parallel and Distributed Computing, Applications and Technologies: 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings Lecture Notes in Computer Science, nr. 13148 Editat de Hong Shen et al. 17 mar 2022 Paperback Preț: 542.34 lei 677.92 lei 39-44 zile -20%
Languages and Compilers for Parallel Computing: 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers Lecture Notes in Computer Science, nr. 13149 Editat de Barbara Chapman et al. 16 feb 2022 Paperback Preț: 372.51 lei 465.63 lei 39-44 zile -20%
Network and Parallel Computing: 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3–5, 2021, Proceedings Lecture Notes in Computer Science, nr. 13152 Editat de Christophe Cérin et al. 14 ian 2022 Paperback Preț: 402.69 lei 503.36 lei 39-44 zile -20%
Algorithmic Aspects in Information and Management: 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings Lecture Notes in Computer Science, nr. 13153 Editat de Weili Wu et al. 17 dec 2021 Paperback Preț: 443.10 lei 553.88 lei 39-44 zile -20%
Algorithms and Architectures for Parallel Processing: 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part II Lecture Notes in Computer Science, nr. 13156 Editat de Yongxuan Lai et al. 23 feb 2022 Paperback Preț: 659.87 lei 824.84 lei 39-44 zile -20%
WALCOM: Algorithms and Computation: 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings Lecture Notes in Computer Science, nr. 13174 Editat de Petra Mutzel et al. 22 feb 2022 Paperback Preț: 443.98 lei 554.98 lei 39-44 zile -20%
Algorithms and Discrete Applied Mathematics: 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings Lecture Notes in Computer Science, nr. 13179 Editat de Niranjan Balachandran et al. 17 ian 2022 Paperback Preț: 434.43 lei 543.03 lei 39-44 zile -20%
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings Lecture Notes in Computer Science, nr. 13182 Editat de Bernd Finkbeiner et al. 14 ian 2022 Paperback Preț: 531.67 lei 664.59 lei 39-44 zile -20%