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
43-57 zile
-20%
Programming and Software Engineering
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%
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%
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%
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%
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 | 6-12 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%
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%
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%
Lectures on Runtime Verification: Introductory and Advanced Topics
Editat de Ezio Bartocci et al.
11 feb 2018
Paperback
Preț: 399.27 lei 499.08 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%
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Editat de Deepak D'Souza et al.
4 oct 2017
Paperback
Preț: 329.60 lei 412.00 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%
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
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%
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
43-57 zile
-20%
Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings
Editat de Michael Maximilien et al.
19 oct 2017
Paperback
Preț: 643.02 lei 803.77 lei
43-57 zile
-20%
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Editat de Kim Guldstrand Larsen et al.
17 oct 2017
Paperback
Preț: 323.41 lei 404.26 lei
43-57 zile
-20%
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Editat de Zhenhua Duan et al.
14 oct 2017
Paperback
Preț: 330.23 lei 412.79 lei
43-57 zile
-20%
Product-Focused Software Process Improvement: 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings
Editat de Michael Felderer et al.
28 oct 2017
Paperback
Preț: 336.55 lei 420.69 lei
43-57 zile
-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 Traore et al.
11 oct 2017
Paperback
Preț: 315.62 lei 394.52 lei
43-57 zile
-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
43-57 zile
-20%
Performance Evaluation and Benchmarking for the Analytics Era: 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
Editat de Raghunath Nambiar et al.
10 ian 2018
Paperback
Preț: 342.56 lei 428.19 lei
43-57 zile
-20%
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence: 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
Editat de Manjunath Gorentla Venkata et al.
10 ian 2018
Paperback
Preț: 342.25 lei 427.81 lei
43-57 zile
-20%
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Editat de Bor-Yuh Evan Chang
19 noi 2017
Paperback
Preț: 332.92 lei 416.15 lei
43-57 zile
-20%
Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
Editat de Francesco Calimeri et al.
22 dec 2017
Paperback
Preț: 283.04 lei 353.80 lei
38-44 zile
-20%
Accelerator Programming Using Directives: 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Editat de Sunita Chandrasekaran et al.
31 ian 2018
Paperback
Preț: 342.38 lei 427.97 lei
43-57 zile
-20%
Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
Editat de Reinhard German et al.
25 ian 2018
Paperback
Preț: 323.10 lei 403.87 lei
43-57 zile
-20%
Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Editat de Martina Seidl et al.
23 ian 2018
Paperback
Preț: 326.72 lei 408.40 lei
43-57 zile
-20%
Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Editat de Marten Lohstroh et al.
20 iul 2018
Paperback
Preț: 332.60 lei 415.75 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%
Service-Oriented Computing – ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
Editat de Lars Braubach et al.
16 iun 2018
Paperback
Preț: 325.92 lei 407.40 lei
43-57 zile
-20%
New Opportunities for Software Reuse: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
Editat de Rafael Capilla et al.
17 apr 2018
Paperback
Preț: 774.59 lei 968.24 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%
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
43-57 zile
-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
43-57 zile
-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
43-57 zile
-20%
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Editat de Klaus Havelund et al.
12 iul 2018
Paperback
Preț: 585.31 lei 731.65 lei
43-57 zile
-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
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%
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Editat de Andreas Podelski
29 aug 2018
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Editat de Carlo A. Furia et al.
9 aug 2018
Paperback
Preț: 326.42 lei 408.02 lei
43-57 zile
-20%
Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Editat de Amel Bennaceur et al.
21 iul 2018
Paperback
Preț: 373.16 lei 466.46 lei
43-57 zile
-20%
Search-Based Software Engineering: 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Editat de Thelma Elita Colanzi et al.
22 aug 2018
Paperback
Preț: 434.66 lei 543.33 lei
43-57 zile
-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
43-57 zile
-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
43-57 zile
-20%
Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Editat de Jarkko Kari et al.
22 aug 2018
Paperback
Preț: 323.10 lei 403.87 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%
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
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%
Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Editat de El Hassan Abdelwahed et al.
13 sep 2018
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-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
43-57 zile
-20%
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments: Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings
Editat de Issa Traore et al.
31 oct 2018
Paperback
Preț: 312.92 lei 391.15 lei
43-57 zile
-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
43-57 zile
-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
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%
Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings
Editat de Una-May O'Reilly et al.
oct 2021
Paperback
Preț: 341.88 lei 427.35 lei
43-57 zile
-20%
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
Editat de Lu Feng et al.
6 oct 2021
Paperback
Preț: 486.04 lei 607.55 lei
43-57 zile
-20%
Advances in Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings
Editat de Iris Reinhartz-Berger et al.
13 oct 2021
Paperback
Preț: 340.26 lei 425.33 lei
43-57 zile
-20%
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Editat de Ezio Bartocci et al.
28 sep 2021
Paperback
Preț: 342.96 lei 428.69 lei
43-57 zile
-20%