Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Editat de Bertrand Meyer et al.
3 feb 2016
Paperback
Preț: 260.47 lei 325.59 lei
43-57 zile
-20%
Programming and Software Engineering
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%
Cloud Computing and Big Data: Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers
Editat de Weizhong Qiang et al.
3 feb 2016
Paperback
Preț: 325.61 lei 407.00 lei
43-57 zile
-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
43-57 zile
-20%
Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Editat de Thomas Hildebrandt et al.
20 apr 2016
Paperback
Preț: 259.98 lei 324.97 lei
43-57 zile
-20%
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Editat de Xinyu Feng et al.
10 dec 2015
Paperback
Preț: 330.68 lei 413.35 lei
43-57 zile
-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
43-57 zile
-20%
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Editat de Márcio Cornélio et al.
3 feb 2016
Paperback
Preț: 261.24 lei 326.55 lei
43-57 zile
-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
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
Editat de Jan Kofroň et al.
4 feb 2016
Paperback
Preț: 614.52 lei 768.14 lei
43-57 zile
-20%
Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Editat de Marco Gavanelli et al.
19 dec 2015
Paperback
Preț: 260.47 lei 325.59 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%
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
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%
Software Reuse: Bridging with Social-Awareness: 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Editat de Georgia M. Kapitsaki et al.
10 mai 2016
Paperback
Preț: 325.92 lei 407.40 lei
43-57 zile
-20%
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Editat de Erika Ábrahám et al.
24 mai 2016
Paperback
Preț: 523.37 lei 654.21 lei
43-57 zile
-20%
Intelligent Tutoring Systems: 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings
Editat de Alessandro Micarelli et al.
3 iun 2016
Paperback
Preț: 388.78 lei
43-57 zile
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
43-57 zile
-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
43-57 zile
-20%
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Editat de Sanjai Rayadurgam et al.
4 iun 2016
Paperback
Preț: 407.50 lei 509.38 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%
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
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%
Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Editat de Jose Julio Alferes et al.
28 iun 2016
Paperback
Preț: 624.51 lei 780.63 lei
43-57 zile
-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
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%
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
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%
Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Editat de Ivica Crnkovic et al.
26 aug 2016
Paperback
Preț: 313.24 lei 391.55 lei
43-57 zile
-20%
Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
Editat de Bedir Tekinerdogan et al.
4 noi 2016
Paperback
Preț: 322.61 lei 403.26 lei
43-57 zile
-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
43-57 zile
-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
43-57 zile
-20%
Human-Centered and Error-Resilient Systems Development: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
Editat de Cristian Bogdan et al.
23 aug 2016
Paperback
Preț: 324.81 lei 406.00 lei
43-57 zile
-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
43-57 zile
-20%
Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Editat de Michel Rueher
23 aug 2016
Paperback
Preț: 650.32 lei 812.90 lei
43-57 zile
-20%
Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Editat de Ladjel Bellatreche et al.
7 sep 2016
Paperback
Preț: 323.73 lei 404.66 lei
43-57 zile
-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
43-57 zile
-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
43-57 zile
-20%
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Editat de Amund Skavhaug et al.
sep 2016
Paperback
Preț: 325.47 lei 406.84 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%
Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings
Editat de Quan Z. Sheng et al.
20 sep 2016
Paperback
Preț: 647.77 lei 809.72 lei
43-57 zile
-20%
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Editat de Cyrille Artho et al.
22 sep 2016
Paperback
Preț: 331.48 lei 414.35 lei
43-57 zile
-20%
Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Editat de Paolo Milazzo et al.
6 dec 2016
Paperback
Preț: 324.20 lei 405.25 lei
22-36 zile | 5-11 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%
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%
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
43-57 zile
-20%
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Editat de Marko van Eekelen et al.
27 sep 2016
Paperback
Preț: 312.30 lei 390.38 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%
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
43-57 zile
-20%
Scala: From a Functional Programming Perspective: An Introduction to the Programming Language
Autor Vicenç Torra
21 sep 2016
Paperback
Preț: 312.30 lei 390.38 lei
43-57 zile
-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
43-57 zile
-20%
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Editat de John Fitzgerald et al.
8 noi 2016
Paperback
Preț: 344.30 lei 430.38 lei
43-57 zile
-20%
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Editat de Kazuhiro Ogata et al.
15 oct 2016
Paperback
Preț: 329.74 lei 412.17 lei
43-57 zile
-20%
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
Editat de Yliès Falcone et al.
20 sep 2016
Paperback
Preț: 331.17 lei 413.96 lei
43-57 zile
-20%
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Editat de Atsushi Igarashi
9 oct 2016
Paperback
Preț: 328.62 lei 410.77 lei
43-57 zile
-20%
Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings
Editat de Pekka Abrahamsson et al.
6 noi 2016
Paperback
Preț: 343.53 lei 429.41 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%
Theory and Models for Cyber Situation Awareness
Editat de Peng Liu et al.
7 iul 2017
Paperback
Preț: 344.26 lei 430.31 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
Editat de Christophe Debruyne et al.
18 oct 2016
Paperback
Preț: 654.12 lei 817.66 lei
43-57 zile
-20%
Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things: 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers
Editat de Raghunath Nambiar et al.
18 feb 2017
Paperback
Preț: 314.22 lei 392.77 lei
43-57 zile
-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.72 lei 400.91 lei
22-36 zile | 5-11 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%
Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings
Editat de Paul Grünbacher et al.
21 feb 2017
Paperback
Preț: 324.81 lei 406.00 lei
43-57 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
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%
Risk Assessment and Risk-Driven Quality Assurance: 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
Editat de Jürgen Großmann et al.
25 apr 2017
Paperback
Preț: 313.74 lei 392.17 lei
43-57 zile
-20%
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Editat de Clark Barrett et al.
9 apr 2017
Paperback
Preț: 327.04 lei 408.80 lei
43-57 zile
-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
43-57 zile
-20%
Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Editat de Johann Blieberger et al.
30 mai 2017
Paperback
Preț: 345.82 lei 432.28 lei
43-57 zile
-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
43-57 zile
-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
43-57 zile
-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
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%
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%
Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Editat de J. Christopher Beck
23 aug 2017
Paperback
Preț: 341.79 lei 427.24 lei
43-57 zile
-20%
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Editat de Francesco Ranzato
21 aug 2017
Paperback
Preț: 328.79 lei 410.99 lei
43-57 zile
-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
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%
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%
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
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%
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%
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%
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
43-57 zile
-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
43-57 zile
-20%
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Editat de Joost-Pieter Katoen et al.
29 sep 2017
Paperback
Preț: 324.81 lei 406.00 lei
43-57 zile
-20%
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Editat de Nadia Polikarpova et al.
27 aug 2017
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-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
43-57 zile
-20%
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Editat de Shuvendu Lahiri et al.
6 sep 2017
Paperback
Preț: 327.19 lei 408.99 lei
43-57 zile
-20%
Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings
Editat de Yassine Ouhammou et al.
6 sep 2017
Paperback
Preț: 325.30 lei 406.63 lei
43-57 zile
-20%
SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
Editat de Tibor Csöndes et al.
7 sep 2017
Paperback
Preț: 314.67 lei 393.34 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%