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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%
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%