Formal Methods for Industrial Critical Systems
Editat de Manuel Núñez et al.
27 mai 2015
Paperback
Preț: 317.72 lei 397.15 lei
6-8 săpt.
-20%
Programming and Software Engineering
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
6-8 săpt.
-20%
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
6-8 săpt.
-20%
Rapid Integration of Software Engineering Techniques: Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
Editat de Nicolas Guelfi et al.
13 apr 2007
Paperback
Preț: 315.62 lei 394.52 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings
Editat de Marlon Dumas et al.
11 apr 2008
Paperback
Preț: 315.48 lei 394.35 lei
6-8 săpt.
-20%
Theory and Practice of Model Transformation
Editat de Esther Guerra et al.
20 iun 2017
Paperback
Preț: 316.06 lei 395.08 lei
6-8 săpt.
-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
6-8 săpt.
-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
3-5 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Challenges and Opportunity with Big Data
Editat de Lin Zhang et al.
4 aug 2017
Paperback
Preț: 317.08 lei 396.35 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Evolving OpenMP in an Age of Extreme Parallelism: 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings
Editat de Matthias S. Müller et al.
25 mai 2009
Paperback
Preț: 315.48 lei 394.35 lei
6-8 săpt.
-20%
Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Editat de Alexandre Bergel et al.
22 iun 2009
Paperback
Preț: 315.48 lei 394.35 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Editat de Catherine Dubois
24 iun 2009
Paperback
Preț: 314.86 lei 393.57 lei
6-8 săpt.
-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
6-8 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-20%
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More
Editat de Mitsuhisa Sato et al.
iun 2010
Paperback
Preț: 315.48 lei 394.35 lei
3-5 săpt.
-20%
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
Editat de Gordon Fraser et al.
17 iun 2010
Paperback
Preț: 315.48 lei 394.35 lei
3-5 săpt.
-20%
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Editat de Alessandro Aldini et al.
11 iun 2010
Paperback
Preț: 314.86 lei 393.57 lei
3-5 săpt.
-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
3-5 săpt.
-20%
Human-Centred Software Engineering: Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
Editat de Regina Bernhaupt et al.
6 oct 2010
Paperback
Preț: 315.48 lei 394.35 lei
3-5 săpt.
-20%
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Editat de Sharon Barner et al.
17 mar 2011
Paperback
Preț: 315.62 lei 394.52 lei
6-8 săpt.
-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
3-5 săpt.
-20%
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Editat de Mario Bravetti et al.
31 mar 2011
Paperback
Preț: 315.16 lei 393.95 lei
6-8 săpt.
-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
6-8 săpt.
-20%
OpenMP in the Petascale Era: 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings
Editat de Barbara M. Chapman et al.
26 mai 2011
Paperback
Preț: 315.48 lei 394.35 lei
3-5 săpt.
-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
3-5 săpt.
-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
6-8 săpt.
-20%
Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Editat de Sven Apel et al.
22 iun 2011
Paperback
Preț: 314.86 lei 393.57 lei
6-8 săpt.
-20%
Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Editat de Thomas Gschwind et al.
16 mai 2012
Paperback
Preț: 315.48 lei 394.35 lei
6-8 săpt.
-20%
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Editat de Stephen Poole et al.
4 mar 2014
Paperback
Preț: 315.31 lei 394.14 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Service-Oriented and Cloud Computing: Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings
Editat de Massimo Villari et al.
22 sep 2014
Paperback
Preț: 315.16 lei 393.95 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Usability- and Accessibility-Focused Requirements Engineering: First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers
Editat de Achim Ebert et al.
9 sep 2016
Paperback
Preț: 315.31 lei 394.14 lei
6-8 săpt.
-20%
Tests and Proofs
Editat de Martina Seidl et al.
4 aug 2014
Paperback
Preț: 317.50 lei 396.88 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Editat de Jeremy Gibbons et al.
29 mar 2018
Paperback
Preț: 315.16 lei 393.95 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Editat de Fernando Castor et al.
18 sep 2016
Paperback
Preț: 315.16 lei 393.95 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
End-User Development: 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings
Editat de Simone Barbosa et al.
14 mai 2017
Paperback
Preț: 315.31 lei 394.14 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments: First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings
Editat de Issa Traoré et al.
11 oct 2017
Paperback
Preț: 315.62 lei 394.52 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Reliable Software Technologies – Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Editat de António Casimiro et al.
26 mai 2018
Paperback
Preț: 314.86 lei 393.57 lei
6-8 săpt.
-20%
Theory and Practice of Model Transformation: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Editat de Arend Rensink et al.
iun 2018
Paperback
Preț: 315.62 lei 394.52 lei
6-8 săpt.
-20%
Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Editat de Catherine Dubois et al.
3 iun 2018
Paperback
Preț: 315.16 lei 393.95 lei
6-8 săpt.
-20%
Services Computing – SCC 2018: 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Editat de João Eduardo Ferreira et al.
19 iun 2018
Paperback
Preț: 315.62 lei 394.52 lei
6-8 săpt.
-20%
Services – SERVICES 2018: 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Editat de Alvin Yang et al.
23 iun 2018
Paperback
Preț: 314.86 lei 393.57 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Web Services – ICWS 2019: 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Editat de John Miller et al.
14 iun 2019
Paperback
Preț: 315.31 lei 394.14 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Analytical and Stochastic Modelling Techniques and Applications: 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings
Editat de Marco Gribaudo et al.
8 noi 2020
Paperback
Preț: 315.16 lei 393.95 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
Editat de Wolfgang Ahrendt et al.
20 iun 2020
Paperback
Preț: 315.00 lei 393.74 lei
6-8 săpt.
-20%
Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings
Editat de Víctor Gutiérrez-Basulto et al.
19 aug 2020
Paperback
Preț: 315.31 lei 394.14 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Practical Aspects of Declarative Languages: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
Editat de José F. Morales et al.
16 ian 2021
Paperback
Preț: 314.86 lei 393.57 lei
6-8 săpt.
-20%