Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings
Editat de Ita Richardson et al.
4 noi 2005
Paperback
Preț: 317.23 lei 396.54 lei
43-57 zile
-20%
Programming and Software Engineering
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
Editat de Hana Chockler et al.
22 apr 2009
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Tests and Proofs
Editat de Martina Seidl et al.
4 aug 2014
Paperback
Preț: 317.50 lei 396.88 lei
43-57 zile
-20%
Model Driven Architecture: European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
Editat de Uwe Aßmann et al.
18 aug 2005
Paperback
Preț: 317.55 lei 396.94 lei
43-57 zile
-20%
Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications
Editat de Ricardo Choren et al.
27 iul 2007
Paperback
Preț: 317.68 lei 397.10 lei
43-57 zile
-20%
Formal Methods for Industrial Critical Systems
Editat de Manuel Núñez et al.
27 mai 2015
Paperback
Preț: 317.72 lei 397.15 lei
43-57 zile
-20%
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Editat de Marco Bernardo et al.
15 mai 2006
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Editat de Fabrice Kordon et al.
11 ian 2008
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Secure Transaction Protocol Analysis: Models and Applications
Autor Qingfeng Chen et al.
30 iul 2008
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Architectures for Adaptive Software Systems: 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Editat de Raffaela Mirandola et al.
8 iun 2009
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Editat de Darren Cofer et al.
20 iul 2009
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Computer Performance Engineering: 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
Editat de Jeremy T. Bradley
iul 2009
Paperback
Preț: 317.68 lei 397.10 lei
43-57 zile
-20%
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Editat de María Alpuente et al.
26 oct 2009
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings
Editat de Leonardo Bottaci et al.
30 aug 2010
Paperback
Preț: 317.85 lei 397.31 lei
22-36 zile
-20%
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
Editat de Michael Johnson et al.
14 ian 2011
Paperback
Preț: 318.30 lei 397.88 lei
22-36 zile
-20%
Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings
Editat de Wolfgang De Meuter et al.
26 mai 2011
Paperback
Preț: 317.85 lei 397.31 lei
22-36 zile
-20%
Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings
Editat de Klaus Schmid
26 mai 2011
Paperback
Preț: 318.17 lei 397.71 lei
43-57 zile
-20%
Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
Editat de Danny Weyns et al.
6 oct 2011
Paperback
Preț: 318.30 lei 397.88 lei
43-57 zile
-20%
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
Editat de Burkhart Wolff et al.
21 oct 2011
Paperback
Preț: 317.85 lei 397.31 lei
22-36 zile
-20%
Reliable Software Technologies -- Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
Editat de Mats Brorsson et al.
23 mai 2012
Paperback
Preț: 317.85 lei 397.31 lei
22-36 zile
-20%
Using and Improving OpenMP for Devices, Tasks, and More: 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Editat de Luiz DeRose et al.
23 sep 2014
Paperback
Preț: 317.23 lei 396.54 lei
43-57 zile
-20%
Coordination Models and Languages: 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Editat de Tom Holvoet et al.
13 mai 2015
Paperback
Preț: 318.17 lei 397.71 lei
43-57 zile
-20%
Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
Editat de Michaela Huhn et al.
27 iul 2017
Paperback
Preț: 317.68 lei 397.10 lei
43-57 zile
-20%
Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Editat de Dimitris Kolovos et al.
7 iul 2015
Paperback
Preț: 317.55 lei 396.94 lei
43-57 zile
-20%
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Editat de Maurice H. ter Beek et al.
14 sep 2016
Paperback
Preț: 318.17 lei 397.71 lei
43-57 zile
-20%
System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Editat de Jens Grabowski et al.
13 sep 2016
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Mastering Scale and Complexity in Software Reuse: 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings
Editat de Goetz Botterweck et al.
5 apr 2017
Paperback
Preț: 317.36 lei 396.70 lei
43-57 zile
-20%
Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Editat de Jácome Cunha et al.
29 iun 2017
Paperback
Preț: 317.55 lei 396.94 lei
43-57 zile
-20%
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Editat de Ahmed Bouajjani et al.
28 mai 2017
Paperback
Preț: 318.00 lei 397.50 lei
43-57 zile
-20%
Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Editat de Stefania Costantini et al.
14 iun 2017
Paperback
Preț: 318.00 lei 397.50 lei
43-57 zile
-20%
Serviceology for Services: 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings
Editat de Yoshinori Hara et al.
4 iul 2017
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
Editat de Flavio De Paoli et al.
sep 2017
Paperback
Preț: 317.68 lei 397.10 lei
43-57 zile
-20%
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Editat de Laure Petrucci et al.
25 aug 2017
Paperback
Preț: 317.68 lei 397.10 lei
43-57 zile
-20%
Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Editat de José Proença et al.
14 sep 2017
Paperback
Preț: 318.17 lei 397.71 lei
43-57 zile
-20%
Programming with Actors: State-of-the-Art and Research Perspectives
Editat de Alessandro Ricci et al.
7 sep 2018
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Editat de Frank de Boer et al.
7 apr 2018
Paperback
Preț: 318.00 lei 397.50 lei
43-57 zile
-20%
Evolving OpenMP for Evolving Architectures: 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings
Editat de Bronis R. de Supinski et al.
29 aug 2018
Paperback
Preț: 318.17 lei 397.71 lei
43-57 zile
-20%
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering: 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Editat de Ferhat Khendek et al.
26 sep 2018
Paperback
Preț: 318.00 lei 397.50 lei
43-57 zile
-20%
Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Editat de José Júlio Alferes et al.
19 dec 2018
Paperback
Preț: 317.68 lei 397.10 lei
43-57 zile
-20%
Reuse in the Big Data Era: 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Editat de Xin Peng et al.
19 iun 2019
Paperback
Preț: 318.48 lei 398.10 lei
43-57 zile
-20%
Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings
Editat de Ekaterina Komendantskaya et al.
17 ian 2020
Paperback
Preț: 317.68 lei 397.10 lei
43-57 zile
-20%
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Editat de Supratik Chakraborty et al.
14 mar 2020
Paperback
Preț: 315.80 lei 394.74 lei
43-57 zile
-20%
Web Services – ICWS 2020: 27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings
Editat de Wei-Shinn Ku et al.
19 sep 2020
Paperback
Preț: 317.55 lei 396.94 lei
43-57 zile
-20%
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Editat de Maria Christakis et al.
6 dec 2020
Paperback
Preț: 318.48 lei 398.10 lei
43-57 zile
-20%
Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020, Proceedings
Editat de Georg Grossmann et al.
22 dec 2020
Paperback
Preț: 318.17 lei 397.71 lei
43-57 zile
-20%
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
Editat de Kirstin Peters et al.
10 iun 2021
Paperback
Preț: 318.00 lei 397.50 lei
43-57 zile
-20%
End-User Development: 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings
Editat de Daniela Fogli et al.
24 iun 2021
Paperback
Preț: 317.85 lei 397.31 lei
43-57 zile
-20%
Challenges and Opportunity with Big Data
Editat de Lin Zhang et al.
4 aug 2017
Paperback
Preț: 317.08 lei 396.35 lei
43-57 zile
-20%
Component Deployment: Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
Editat de Alan Dearle et al.
16 noi 2005
Paperback
Preț: 316.43 lei 395.54 lei
43-57 zile
-20%
Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Editat de Bertrand Meyer et al.
9 aug 2007
Paperback
Preț: 316.73 lei 395.91 lei
22-36 zile
-20%
Service-Oriented Computing ICSOC 2006: 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings
Editat de Dimitrios Georgakopoulos et al.
27 sep 2007
Paperback
Preț: 317.05 lei 396.31 lei
43-57 zile
-20%
Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings
Editat de Pekka Abrahamsson et al.
21 sep 2007
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Software Process and Product Measurement: International Conference, IWSM–MENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers
Editat de Juan J. Cuadrado-Gallego et al.
25 aug 2008
Paperback
Preț: 317.05 lei 396.31 lei
43-57 zile
-20%
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Editat de Manfred Broy et al.
14 iul 2008
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Fun and Games: Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings
Editat de Panos Markopoulos et al.
8 oct 2008
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Editat de Saddek Bensalem et al.
23 sep 2009
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
Editat de Peter Müller
20 mai 2010
Paperback
Preț: 316.28 lei 395.35 lei
22-36 zile
-20%
Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Editat de David Clarke et al.
iun 2010
Paperback
Preț: 316.28 lei 395.35 lei
22-36 zile
-20%
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Editat de Cosimo Laneve et al.
2 sep 2010
Paperback
Preț: 316.28 lei 395.35 lei
22-36 zile
-20%
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Editat de Bernhard Beckert et al.
14 ian 2011
Paperback
Preț: 316.28 lei 395.35 lei
22-36 zile
-20%
Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings
Editat de Daniel M. Berry et al.
16 mar 2011
Paperback
Preț: 317.05 lei 396.31 lei
43-57 zile
-20%
Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
Editat de Martin Gogolla et al.
22 iun 2011
Paperback
Preț: 317.05 lei 396.31 lei
22-36 zile
-20%
Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings
Editat de Jordi Cabot et al.
22 iun 2011
Paperback
Preț: 317.05 lei 396.31 lei
43-57 zile
-20%
Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Editat de Frank Ortmeier et al.
2 oct 2014
Paperback
Preț: 316.11 lei 395.14 lei
43-57 zile
-20%
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
Editat de Anne Remke et al.
24 mar 2016
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Theory and Practice of Model Transformation
Editat de Esther Guerra et al.
20 iun 2017
Paperback
Preț: 316.06 lei 395.08 lei
43-57 zile
-20%
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Editat de Frédéric Lang et al.
20 aug 2014
Paperback
Preț: 315.93 lei 394.92 lei
43-57 zile
-20%
Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Editat de Mercedes G. Merayo et al.
23 sep 2014
Paperback
Preț: 316.59 lei 395.75 lei
43-57 zile
-20%
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Editat de Jasmin Christian Blanchette et al.
iul 2015
Paperback
Preț: 316.73 lei 395.91 lei
43-57 zile
-20%
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Editat de Arie Gurfinkel et al.
29 ian 2016
Paperback
Preț: 316.91 lei 396.14 lei
43-57 zile
-20%
Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Editat de Marko Bertogna et al.
31 mai 2016
Paperback
Preț: 316.59 lei 395.75 lei
43-57 zile
-20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Editat de Thierry Lecomte et al.
15 iun 2016
Paperback
Preț: 318.48 lei 398.10 lei
43-57 zile
-20%
Theory and Practice of Model Transformations
Editat de Davide Di Ruscio et al.
5 aug 2014
Paperback
Preț: 317.08 lei 396.35 lei
43-57 zile
-20%
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Editat de Bernhard K. Aichernig et al.
21 iun 2016
Paperback
Preț: 315.93 lei 394.92 lei
43-57 zile
-20%
Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings
Editat de Pieter Van Gorp et al.
22 iun 2016
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Computer Performance Engineering: 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Editat de Dieter Fiems et al.
16 sep 2016
Paperback
Preț: 317.05 lei 396.31 lei
43-57 zile
-20%
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Editat de Sandrine Blazy et al.
8 noi 2016
Paperback
Preț: 315.93 lei 394.92 lei
43-57 zile
-20%
Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Editat de Roderick Bloem et al.
noi 2016
Paperback
Preț: 316.59 lei 395.75 lei
43-57 zile
-20%
Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Editat de Yuliya Lierler et al.
17 dec 2016
Paperback
Preț: 316.59 lei 395.75 lei
43-57 zile
-20%
Analytical and Stochastic Modelling Techniques and Applications: 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
Editat de Nigel Thomas et al.
9 iun 2017
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Service-Oriented Computing – ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers
Editat de Khalil Drira et al.
27 oct 2017
Paperback
Preț: 317.05 lei 396.31 lei
43-57 zile
-20%
Search Based Software Engineering: 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Editat de Tim Menzies et al.
17 aug 2017
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Editat de Antónia Lopes et al.
16 aug 2017
Paperback
Preț: 316.73 lei 395.91 lei
43-57 zile
-20%
Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Editat de Alexander Romanovsky et al.
12 aug 2017
Paperback
Preț: 315.93 lei 394.92 lei
43-57 zile
-20%
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Editat de Andrei Paskevich et al.
15 dec 2017
Paperback
Preț: 316.59 lei 395.75 lei
43-57 zile
-20%
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Editat de Christel Baier et al.
30 mai 2018
Paperback
Preț: 315.80 lei 394.74 lei
43-57 zile
-20%
Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Editat de Xinyu Feng et al.
26 aug 2018
Paperback
Preț: 315.93 lei 394.92 lei
43-57 zile
-20%
Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
Editat de Kyriakos Kritikos et al.
31 aug 2018
Paperback
Preț: 316.73 lei 395.91 lei
43-57 zile
-20%
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Editat de Jonathan P. Bowen et al.
13 noi 2018
Paperback
Preț: 317.05 lei 396.31 lei
43-57 zile
-20%
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity: 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
Editat de Swaroop Pophale et al.
19 mar 2019
Paperback
Preț: 316.59 lei 395.75 lei
43-57 zile
-20%
Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Editat de Lei Bu et al.
20 noi 2018
Paperback
Preț: 316.73 lei 395.91 lei
43-57 zile
-20%
Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Editat de Paul Fodor et al.
14 sep 2019
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Editat de Dirk Beyer et al.
11 sep 2019
Paperback
Preț: 316.11 lei 395.14 lei
43-57 zile
-20%
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers
Editat de Jean-Michel Bruel et al.
19 ian 2020
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Editat de Jun Pang et al.
9 noi 2020
Paperback
Preț: 316.11 lei 395.14 lei
43-57 zile
-20%
Human-Centered Software Engineering: 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 – December 2, 2020, Proceedings
Editat de Regina Bernhaupt et al.
26 noi 2020
Paperback
Preț: 317.05 lei 396.31 lei
43-57 zile
-20%