Models@run.time: Foundations, Applications, and Roadmaps
Editat de Nelly Bencomo et al.
18 iul 2014
Paperback
Preț: 321.49 lei 401.86 lei
6-8 săpt.
-20%
Programming and Software Engineering
Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
Editat de Camille Salinesi et al.
2 apr 2014
Paperback
Preț: 322.11 lei 402.64 lei
6-8 săpt.
-20%
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Editat de Dimitra Giannakopoulou et al.
28 oct 2014
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Rules on the Web: From Theory to Applications: 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings
Editat de Antonis Bikakis et al.
4 aug 2014
Paperback
Preț: 322.93 lei 403.66 lei
6-8 săpt.
-20%
Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Editat de Benoit Combemale et al.
23 sep 2014
Paperback
Preț: 323.10 lei 403.87 lei
6-8 săpt.
-20%
Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Editat de András Horváth et al.
23 sep 2014
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Editat de Yamine Ait Ameur et al.
23 sep 2014
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Editat de Daniel Amyot et al.
12 sep 2014
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Editat de Eran Yahav
6 noi 2014
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%
Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Editat de Andreas Jedlitschka et al.
20 noi 2014
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Editat de Ralf Hinze et al.
12 iun 2015
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Editat de Jean Krivine et al.
iul 2015
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Editat de Marta Beltrán et al.
14 aug 2015
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Editat de Lev D. Beklemishev et al.
27 aug 2015
Paperback
Preț: 321.49 lei 401.86 lei
6-8 săpt.
-20%
Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings
Editat de Schahram Dustdar et al.
8 sep 2015
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
OpenMP: Heterogenous Execution and Data Movements: 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings
Editat de Christian Terboven et al.
20 oct 2015
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
Editat de Ladjel Bellatreche et al.
11 sep 2015
Paperback
Preț: 322.93 lei 403.66 lei
6-8 săpt.
-20%
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Editat de Xuandong Li et al.
27 oct 2015
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Editat de Nir Piterman
27 oct 2015
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Editat de Khaled El-Fakih et al.
10 noi 2015
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Editat de Zhiming Liu et al.
mar 2016
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Editat de Christiano Braga et al.
30 ian 2016
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%
Requirements Engineering: Foundation for Software Quality: 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings
Editat de Maya Daneva et al.
4 mar 2016
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Editat de Alberto Lluch Lafuente et al.
27 iun 2016
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Editat de Elvira Albert et al.
27 iun 2016
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-20%
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Editat de Marco Bernardo et al.
12 iun 2016
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Editat de Simon Devitt et al.
30 iun 2016
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Editat de Andrzej Wąsowski et al.
23 iun 2016
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
Editat de Bedir Tekinerdoğan et al.
4 noi 2016
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Analytical and Stochastic Modelling Techniques and Applications: 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
Editat de Sabine Wittevrongel et al.
4 aug 2016
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
Editat de Marco Aiello et al.
25 aug 2016
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%
OpenMP: Memory, Devices, and Tasks: 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
Editat de Naoya Maruyama et al.
21 sep 2016
Paperback
Preț: 323.10 lei 403.87 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Editat de Amund Skavhaug et al.
4 sep 2016
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
Editat de Federica Sarro et al.
24 sep 2016
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%
Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Editat de Franz Wotawa et al.
4 oct 2016
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Editat de Martin Fränzle et al.
6 oct 2016
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
Editat de Andrea Bondavalli et al.
18 dec 2016
Paperback
Preț: 320.47 lei 400.59 lei
3-5 săpt. | 7-13 zile
-20%
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Editat de Thomas Gibson-Robinson et al.
18 dec 2016
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Editat de Olga Kouchnarenko et al.
13 apr 2017
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Reversible Computation: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Editat de Iain Phillips et al.
25 mai 2017
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 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 Jean-Marie Jacquet et al.
27 mai 2017
Paperback
Preț: 319.60 lei 399.50 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Editat de Marco Bozzano et al.
2 aug 2017
Paperback
Preț: 319.13 lei 398.90 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%
Scaling OpenMP for Exascale Performance and Portability: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings
Editat de Bronis R. de Supinski et al.
17 aug 2017
Paperback
Preț: 322.93 lei 403.66 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Editat de Stefano Tonetta et al.
17 aug 2017
Paperback
Preț: 323.10 lei 403.87 lei
6-8 săpt.
-20%
Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Editat de Philipp Reinecke et al.
15 aug 2017
Paperback
Preț: 320.72 lei 400.90 lei
6-8 săpt.
-20%
Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Editat de Mehdi Dastani et al.
11 oct 2017
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Editat de Nina Yevtushenko et al.
15 sep 2017
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Editat de Alessandro Fantechi et al.
20 oct 2017
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Editat de Ofer Strichman et al.
12 noi 2017
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference, COORDINATION 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 Giovanna Di Marzo Serugendo et al.
30 mai 2018
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Modelling Foundations and Applications: 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Editat de Alfonso Pierantonio et al.
29 mai 2018
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Editat de Christoph Benzmüller et al.
24 aug 2018
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
Editat de Barbara Gallina et al.
17 aug 2018
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Editat de Falk Howar et al.
30 aug 2018
Paperback
Preț: 320.37 lei 400.47 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Editat de Rena Bakhshi et al.
3 oct 2018
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Editat de Kyungmin Bae et al.
7 oct 2018
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Editat de Ruzica Piskac et al.
24 noi 2018
Paperback
Preț: 322.93 lei 403.66 lei
6-8 săpt.
-20%
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Editat de Hanne Riis Nielson et al.
5 iun 2019
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-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
6-8 săpt.
-20%
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Editat de Pau Fonseca i Casas et al.
7 sep 2019
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
Editat de Giancarlo Guizzardi et al.
27 oct 2019
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Editat de Christophe Gaston et al.
18 sep 2019
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
Editat de Klaus-Dieter Schewe et al.
8 oct 2019
Paperback
Preț: 323.10 lei 403.87 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
Editat de Farhad Arbab et al.
13 feb 2020
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings
Editat de Holger Hermanns
6 mar 2020
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings
Editat de Nazim Madhavji et al.
19 mar 2020
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Service-Oriented and Cloud Computing: 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings
Editat de Antonio Brogi et al.
4 apr 2020
Paperback
Preț: 319.37 lei 399.21 lei
3-5 săpt. | 7-13 zile
-20%
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Editat de Andreas Blass et al.
23 mai 2020
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Editat de Ivan Lanese et al.
9 iul 2020
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Editat de Maurice H. ter Beek et al.
29 aug 2020
Paperback
Preț: 320.72 lei 400.90 lei
6-8 săpt.
-20%
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Editat de Wolfgang Ahrendt et al.
9 dec 2020
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
Editat de Loek Cleophas et al.
17 ian 2021
Paperback
Preț: 322.11 lei 402.64 lei
6-8 săpt.
-20%
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Editat de Shang-Wei Lin et al.
19 dec 2020
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
Editat de Valentina Casola et al.
27 noi 2020
Paperback
Preț: 321.49 lei 401.86 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Fundamentals of Software Engineering
Editat de Hossein Hojjat et al.
22 sep 2019
Paperback
Preț: 319.96 lei 399.94 lei
6-8 săpt.
-20%
Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings
Editat de Sihem Ben Sassi et al.
dec 2020
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 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 Ferruccio Damiani et al.
6 iun 2021
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Model and Data Engineering: 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings
Editat de Christian Attiogbé et al.
9 iun 2021
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%
Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings
Editat de Shigeru Yamashita et al.
23 iun 2021
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%