Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 Lecture Notes in Computer Science, nr. 3709 Editat de Peter Van Beek 22 sep 2005 Paperback Preț: 640.83 lei 801.03 lei 43-57 zile -20%
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings Lecture Notes in Computer Science, nr. 3713 Editat de Lionel Briand et al. 19 sep 2005 Paperback Preț: 641.77 lei 802.21 lei 43-57 zile -20%
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings Lecture Notes in Computer Science, nr. 3731 Editat de Farn Wang 26 sep 2005 Paperback Preț: 633.70 lei 792.12 lei 43-57 zile -20%
Intelligent Tutoring Systems: 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings Lecture Notes in Computer Science, nr. 4053 Editat de Mitsuru Ikeda et al. 9 iun 2006 Paperback Preț: 641.75 lei 755.00 lei 43-57 zile -15%
Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings Lecture Notes in Computer Science, nr. 4204 Editat de Frédéric Benhamou 26 sep 2006 Paperback Preț: 644.63 lei 805.79 lei 43-57 zile -20%
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings Lecture Notes in Computer Science, nr. 4229 Editat de Elie Najm et al. 27 sep 2006 Paperback Preț: 631.31 lei 789.14 lei 43-57 zile -20%
Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 Lecture Notes in Computer Science, nr. 4348 Editat de S. Tucker Taft et al. 22 dec 2006 Paperback Preț: 644.31 lei 805.39 lei 43-57 zile -20%
Intelligent Tutoring Systems Programming and Software Engineering Editat de Stefan Trausan-Matu et al. 21 mai 2014 Paperback Preț: 638.96 lei 751.71 lei 43-57 zile -15%
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings Lecture Notes in Computer Science, nr. 4085 Editat de Jayadev Misra et al. 10 aug 2006 Paperback Preț: 636.70 lei 795.87 lei 43-57 zile -20%
Universal Access in Human-Computer Interaction. Ambient Interaction: 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part II Lecture Notes in Computer Science, nr. 4555 Editat de Constantine Stephanidis 2 iul 2007 Paperback Preț: 983.99 lei 1229.99 lei 22-36 zile -20%
ECOOP - Object-Oriented Programming: 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings Lecture Notes in Computer Science, nr. 4609 Editat de Erik Ernst 27 iul 2007 Paperback Preț: 628.32 lei 785.39 lei 43-57 zile -20%
Principles and Practice of Constraint Programming - CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings Lecture Notes in Computer Science, nr. 4741 Editat de Christian Bessiere 6 sep 2007 Paperback Preț: 649.52 lei 811.90 lei 43-57 zile -20%
Service-Oriented Computing - ICSOC 2007: Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings Lecture Notes in Computer Science, nr. 4749 Editat de Bernd Krämer et al. 12 sep 2007 Paperback Preț: 637.51 lei 796.88 lei 43-57 zile -20%
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support: Results of the IMPROVE Project Lecture Notes in Computer Science, nr. 4970 Editat de Manfred Nagl et al. 18 iul 2008 Paperback Preț: 648.57 lei 810.72 lei 43-57 zile -20%
Autonomic and Trusted Computing: 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings Lecture Notes in Computer Science, nr. 5060 Editat de Chunming Rong et al. 11 iun 2008 Paperback Preț: 638.76 lei 798.45 lei 43-57 zile -20%
Intelligent Tutoring Systems: 9th International Conference on Intelligent Tutoring Systems, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings Lecture Notes in Computer Science, nr. 5091 Editat de Beverly Woolf et al. 8 iul 2008 Paperback Preț: 642.07 lei 755.38 lei 43-57 zile -15%
Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings Lecture Notes in Computer Science, nr. 5095 Editat de Ina Schieferdecker et al. 30 mai 2008 Paperback Preț: 733.68 lei 917.09 lei 22-36 zile -20%
Performance Evaluation: Metrics, Models and Benchmarks: SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings Lecture Notes in Computer Science, nr. 5119 Editat de Samuel Kounev et al. 16 iun 2008 Paperback Preț: 563.29 lei 704.12 lei 22-36 zile -20%
ECOOP 2008 - Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings Lecture Notes in Computer Science, nr. 5142 Editat de Jan Vitek iul 2008 Paperback Preț: 640.83 lei 801.03 lei 43-57 zile -20%
Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings Lecture Notes in Computer Science, nr. 5202 Editat de Peter J. Stuckey 28 aug 2008 Paperback Preț: 748.63 lei 935.79 lei 22-36 zile -20%
Engineering Interactive Systems 2008: Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008, Proceedings Lecture Notes in Computer Science, nr. 5247 Editat de Fabio Paternò 11 sep 2008 Paperback Preț: 617.17 lei 771.46 lei 22-36 zile -20%
Software Architecture: Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings Lecture Notes in Computer Science, nr. 5292 Editat de Ronald Morrison et al. 12 sep 2008 Paperback Preț: 620.33 lei 775.42 lei 22-36 zile -20%
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings Lecture Notes in Computer Science, nr. 5366 Editat de Maria Garcia Banda et al. 2 dec 2008 Paperback Preț: 646.38 lei 807.97 lei 43-57 zile -20%
Hardware and Software: Verification and Testing Programming and Software Engineering Editat de Kerstin Eder et al. 9 oct 2012 Paperback Preț: 412.98 lei 516.22 lei 43-57 zile -20%
Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers Lecture Notes in Computer Science, nr. 5088 Editat de Andy Schürr et al. 15 oct 2008 Paperback Preț: 636.86 lei 796.08 lei 43-57 zile -20%
ECOOP 2009 -- Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings Lecture Notes in Computer Science, nr. 5653 Editat de Sophia Drossopoulou 30 iun 2009 Paperback Preț: 635.90 lei 794.87 lei 43-57 zile -20%
Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings Lecture Notes in Computer Science, nr. 5732 Editat de Ian P. Gent 7 sep 2009 Paperback Preț: 649.52 lei 811.90 lei 43-57 zile -20%
Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday Lecture Notes in Computer Science, nr. 5765 Editat de Gregor Engels et al. 22 noi 2010 Paperback Preț: 636.06 lei 795.08 lei 22-36 zile -20%
Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29--October 2, 2009 Proceedings Lecture Notes in Computer Science, nr. 5794 Editat de Ulrike Cress et al. 15 sep 2009 Paperback Preț: 642.07 lei 755.38 lei 43-57 zile -15%
Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings Lecture Notes in Computer Science, nr. 5795 Editat de Andy Schürr et al. 15 sep 2009 Paperback Preț: 644.00 lei 805.01 lei 43-57 zile -20%
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings Lecture Notes in Computer Science, nr. 5850 Editat de Ana Cavalcanti et al. 26 oct 2009 Paperback Preț: 646.38 lei 807.97 lei 43-57 zile -20%
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings Lecture Notes in Computer Science, nr. 5885 Editat de Karin Breitman et al. 17 noi 2009 Paperback Preț: 643.20 lei 804.00 lei 43-57 zile -20%
HCI and Usability for e-Inclusion: 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009, Proceedings Lecture Notes in Computer Science, nr. 5889 Editat de Andreas Holzinger et al. 26 oct 2009 Paperback Preț: 635.26 lei 794.08 lei 43-57 zile -20%
Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings Lecture Notes in Computer Science, nr. 5900 Editat de Luciano Baresi et al. 17 noi 2009 Paperback Preț: 639.25 lei 799.07 lei 43-57 zile -20%
ECOOP 2010 -- Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings Lecture Notes in Computer Science, nr. 6183 Editat de Theo D'Hondt 17 iun 2010 Paperback Preț: 638.44 lei 798.05 lei 22-36 zile -20%
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers Lecture Notes in Computer Science, nr. 6275 Editat de Asit Dan et al. 6 oct 2010 Paperback Preț: 637.34 lei 796.67 lei 22-36 zile -20%
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Lecture Notes in Computer Science, nr. 6300 Editat de Andreas Blass et al. 5 aug 2010 Paperback Preț: 637.64 lei 797.05 lei 22-36 zile -20%
Principles and Practice of Constraint Programming - CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings Lecture Notes in Computer Science, nr. 6308 Editat de David Cohen 30 aug 2010 Paperback Preț: 639.38 lei 799.23 lei 22-36 zile -20%
Sustaining TEL: From Innovation to Learning and Practice: 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings Lecture Notes in Computer Science, nr. 6383 Editat de Martin Wolpers et al. 27 sep 2010 Paperback Preț: 637.96 lei 797.45 lei 22-36 zile -20%
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings Lecture Notes in Computer Science, nr. 6447 Editat de Jin Song Dong et al. 29 oct 2010 Paperback Preț: 641.45 lei 801.81 lei 22-36 zile -20%
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings Lecture Notes in Computer Science, nr. 6470 Editat de Paul P. Maglio et al. 22 noi 2010 Paperback Preț: 903.30 lei 1129.11 lei 22-36 zile -20%
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing Lecture Notes in Computer Science, nr. 6582 Editat de Martin Wirsing et al. 9 mai 2011 Paperback Preț: 643.20 lei 804.00 lei 43-57 zile -20%
Principles and Practice of Constraint Programming -- CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, Proceedings Lecture Notes in Computer Science, nr. 6876 Editat de Jimmy Lee 2 sep 2011 Paperback Preț: 858.92 lei 1073.65 lei 22-36 zile -20%
Middleware 2011: ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings Lecture Notes in Computer Science, nr. 7049 Editat de Fabio Kon et al. 2 dec 2011 Paperback Preț: 632.89 lei 791.11 lei 43-57 zile -20%
Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers Lecture Notes in Computer Science, nr. 7151 Editat de Zhiming Liu et al. 6 iul 2012 Paperback Preț: 409.92 lei 512.40 lei 43-57 zile -20%
Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers Lecture Notes in Computer Science, nr. 7587 Editat de Mirco Tribastone et al. 3 feb 2013 Paperback Preț: 411.19 lei 513.99 lei 43-57 zile -20%
Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers Lecture Notes in Computer Science, nr. 7789 Editat de Jens Weber et al. 18 iul 2013 Paperback Preț: 409.92 lei 512.40 lei 43-57 zile -20%
Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings Lecture Notes in Computer Science, nr. 7909 Editat de Keith Duddy et al. 25 mai 2013 Paperback Preț: 409.92 lei 512.40 lei 43-57 zile -20%
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings Lecture Notes in Computer Science, nr. 7942 Editat de Margus Veanes et al. 7 iun 2013 Paperback Preț: 410.23 lei 512.80 lei 43-57 zile -20%
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings Lecture Notes in Computer Science, nr. 7948 Editat de Gerhard W. Dueck et al. 6 iun 2013 Paperback Preț: 411.81 lei 514.76 lei 43-57 zile -20%
Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E) Lecture Notes in Computer Science, nr. 8339 Editat de S. Tucker Taft et al. 15 ian 2014 Paperback Preț: 978.60 lei 1223.24 lei 43-57 zile -20%
Service-Oriented Computing--ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers Lecture Notes in Computer Science, nr. 8377 Editat de Alessio Lomuscio et al. 21 mai 2014 Paperback Preț: 634.94 lei 793.68 lei 43-57 zile -20%
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings Lecture Notes in Computer Science, nr. 8442 Editat de Cliff Jones et al. 9 apr 2014 Paperback Preț: 642.89 lei 803.61 lei 43-57 zile -20%
Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings Lecture Notes in Computer Science, nr. 8656 Editat de Barry O'Sullivan 19 aug 2014 Paperback Preț: 652.56 lei 815.69 lei 43-57 zile -20%
Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers Lecture Notes in Computer Science, nr. 9548 Editat de Jan Kofroň et al. 4 feb 2016 Paperback Preț: 614.52 lei 768.14 lei 43-57 zile -20%
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Lecture Notes in Computer Science, nr. 9681 Editat de Erika Ábrahám et al. 24 mai 2016 Paperback Preț: 523.37 lei 654.21 lei 43-57 zile -20%
Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings Lecture Notes in Computer Science, nr. 9718 Editat de Jose Julio Alferes et al. 28 iun 2016 Paperback Preț: 624.51 lei 780.63 lei 43-57 zile -20%
Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings Lecture Notes in Computer Science, nr. 9892 Editat de Michel Rueher 23 aug 2016 Paperback Preț: 650.32 lei 812.90 lei 43-57 zile -20%
Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings Lecture Notes in Computer Science, nr. 9936 Editat de Quan Z. Sheng et al. 20 sep 2016 Paperback Preț: 647.77 lei 809.72 lei 43-57 zile -20%
On the Move to Meaningful Internet Systems: OTM 2016 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings Lecture Notes in Computer Science, nr. 10033 Editat de Christophe Debruyne et al. 18 oct 2016 Paperback Preț: 654.12 lei 817.66 lei 43-57 zile -20%
Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings Lecture Notes in Computer Science, nr. 10601 Editat de Michael Maximilien et al. 19 oct 2017 Paperback Preț: 643.02 lei 803.77 lei 43-57 zile -20%
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers Lecture Notes in Computer Science, nr. 10729 Editat de Antonio Cerone et al. 3 feb 2018 Paperback Preț: 515.51 lei 644.39 lei 38-44 zile -20%
New Opportunities for Software Reuse: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings Lecture Notes in Computer Science, nr. 10826 Editat de Rafael Capilla et al. 17 apr 2018 Paperback Preț: 774.59 lei 968.24 lei 43-57 zile -20%
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings Lecture Notes in Computer Science, nr. 10951 Editat de Klaus Havelund et al. 12 iul 2018 Paperback Preț: 585.31 lei 731.65 lei 43-57 zile -20%
Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings Lecture Notes in Computer Science, nr. 11008 Editat de John Hooker 23 aug 2018 Paperback Preț: 644.13 lei 805.17 lei 43-57 zile -20%
Search-Based Software Engineering: 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings Lecture Notes in Computer Science, nr. 11036 Editat de Thelma Elita Colanzi et al. 22 aug 2018 Paperback Preț: 434.66 lei 543.33 lei 43-57 zile -20%
Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings Lecture Notes in Computer Science, nr. 11048 Editat de Carlos E. Cuesta et al. 15 sep 2018 Paperback Preț: 433.87 lei 542.33 lei 43-57 zile -20%
Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings Lecture Notes in Computer Science, nr. 11094 Editat de Barbara Gallina et al. 21 aug 2018 Paperback Preț: 524.62 lei 655.78 lei 43-57 zile -20%
Service-Oriented Computing: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings Lecture Notes in Computer Science, nr. 11236 Editat de Claus Pahl et al. 7 noi 2018 Paperback Preț: 650.02 lei 812.52 lei 43-57 zile -20%
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings Lecture Notes in Computer Science, nr. 11237 Editat de Christian Colombo et al. 8 noi 2018 Paperback Preț: 492.67 lei 615.84 lei 43-57 zile -20%
Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings Lecture Notes in Computer Science, nr. 11412 Editat de Eric Knauss et al. 8 mar 2019 Paperback Preț: 430.40 lei 538.01 lei 43-57 zile -20%
Intelligent Tutoring Systems: 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings Lecture Notes in Computer Science, nr. 11528 Editat de Andre Coy et al. 30 mai 2019 Paperback Preț: 418.19 lei 22-36 zile | 5-11 zile
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings Lecture Notes in Computer Science, nr. 11699 Editat de Alexander Romanovsky et al. 9 aug 2019 Paperback Preț: 435.46 lei 544.33 lei 43-57 zile -20%
OpenMP: Conquering the Full Hardware Spectrum: 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings Lecture Notes in Computer Science, nr. 11718 Editat de Xing Fan et al. 9 aug 2019 Paperback Preț: 431.48 lei 539.35 lei 43-57 zile -20%
On the Move to Meaningful Internet Systems: OTM 2019 Conferences: Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings Lecture Notes in Computer Science, nr. 11877 Editat de Hervé Panetto et al. 11 oct 2019 Paperback Preț: 588.99 lei 736.24 lei 43-57 zile -20%
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers Lecture Notes in Computer Science, nr. 12226 Editat de Javier Camara et al. 10 sep 2020 Paperback Preț: 456.14 lei 570.17 lei 43-57 zile -20%
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings Lecture Notes in Computer Science, nr. 12229 Editat de Ritchie Lee et al. 9 aug 2020 Paperback Preț: 464.56 lei 580.70 lei 43-57 zile -20%
Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings Lecture Notes in Computer Science, nr. 12234 Editat de António Casimiro et al. 20 aug 2020 Paperback Preț: 574.38 lei 717.98 lei 43-57 zile -20%
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings Lecture Notes in Computer Science, nr. 12235 Editat de António Casimiro et al. 6 aug 2020 Paperback Preț: 572.34 lei 715.42 lei 43-57 zile -20%
OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings Lecture Notes in Computer Science, nr. 12295 Editat de Kent Milfeld et al. 2 sep 2020 Paperback Preț: 486.66 lei 608.32 lei 43-57 zile -20%
Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings Lecture Notes in Computer Science, nr. 12333 Editat de Helmut Simonis 7 sep 2020 Paperback Preț: 981.45 lei 1226.82 lei 43-57 zile -20%
Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings Lecture Notes in Computer Science, nr. 12389 Editat de David Pichardie et al. 13 ian 2021 Paperback Preț: 461.21 lei 576.51 lei 43-57 zile -20%
Search-Based Software Engineering: 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings Lecture Notes in Computer Science, nr. 12420 Editat de Aldeida Aleti et al. 30 sep 2020 Paperback Preț: 483.03 lei 603.78 lei 43-57 zile -20%
Service-Oriented Computing: 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings Lecture Notes in Computer Science, nr. 12571 Editat de Eleanna Kafeza et al. 9 dec 2020 Paperback Preț: 690.90 lei 863.62 lei 43-57 zile -20%
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings Lecture Notes in Computer Science, nr. 12673 Editat de Aaron Dutle et al. 17 mai 2021 Paperback Preț: 571.69 lei 714.62 lei 43-57 zile -20%
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings Lecture Notes in Computer Science, nr. 12853 Editat de Ibrahim Habli et al. 7 aug 2021 Paperback Preț: 568.08 lei 710.09 lei 43-57 zile -20%
Software Architecture: 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings Lecture Notes in Computer Science, nr. 12857 Editat de Stefan Biffl et al. 26 aug 2021 Paperback Preț: 568.52 lei 710.66 lei 43-57 zile -20%
OpenMP: Enabling Massive Node-Level Parallelism: 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings Lecture Notes in Computer Science, nr. 12870 Editat de Simon McIntosh-Smith et al. 14 aug 2021 Paperback Preț: 453.77 lei 567.21 lei 43-57 zile -20%
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings Lecture Notes in Computer Science, nr. 12913 Editat de Cezara Drăgoi et al. 14 oct 2021 Paperback Preț: 520.65 lei 650.80 lei 43-57 zile -20%
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings Lecture Notes in Computer Science, nr. 12971 Editat de Zhe Hou et al. 14 oct 2021 Paperback Preț: 461.25 lei 576.57 lei 22-36 zile | 5-11 zile -20%
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings Lecture Notes in Computer Science, nr. 12974 Editat de Lu Feng et al. 6 oct 2021 Paperback Preț: 486.04 lei 607.55 lei 43-57 zile -20%
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings Lecture Notes in Computer Science, nr. 13008 Editat de Hakjoo Oh 9 oct 2021 Paperback Preț: 485.71 lei 607.15 lei 43-57 zile -20%
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings Lecture Notes in Computer Science, nr. 13047 Editat de Marieke Huisman et al. 10 noi 2021 Paperback Preț: 699.94 lei 874.94 lei 43-57 zile -20%
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings Lecture Notes in Computer Science, nr. 13071 Editat de Shengchao Qin et al. 14 noi 2021 Paperback Preț: 460.35 lei 575.44 lei 22-36 zile | 5-11 zile -20%
Performance Engineering and Stochastic Modeling: 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings Lecture Notes in Computer Science, nr. 13104 Editat de Paolo Ballarini et al. 27 noi 2021 Paperback Preț: 466.44 lei 583.06 lei 43-57 zile -20%
Service-Oriented Computing: 19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings Lecture Notes in Computer Science, nr. 13121 Editat de Hakim Hacid et al. 18 noi 2021 Paperback Preț: 815.03 lei 1018.78 lei 43-57 zile -20%