Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
Editat de Hongseok Yang
18 noi 2011
Paperback
Preț: 335.04 lei 418.80 lei
6-8 săpt.
-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ț: 327.82 lei 409.77 lei
6-8 săpt.
-20%
Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Editat de Rogério de Lemos et al.
18 ian 2018
Paperback
Preț: 337.31 lei 421.64 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ț: 325.22 lei 406.52 lei
6-8 săpt.
-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ț: 332.91 lei 416.14 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ț: 326.00 lei 407.51 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ț: 328.97 lei 411.21 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ț: 332.25 lei 415.32 lei
6-8 săpt.
-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ț: 355.33 lei 444.16 lei
6-8 săpt.
-20%
Deductive Software Verification – The KeY Book: From Theory to Practice
Editat de Wolfgang Ahrendt et al.
21 dec 2016
Paperback
Preț: 775.17 lei 968.97 lei
6-8 săpt.
-20%
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers
Editat de Manjunath Gorentla Venkata et al.
15 dec 2016
Paperback
Preț: 327.82 lei 409.77 lei
6-8 săpt.
-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ț: 354.53 lei 443.16 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ț: 326.70 lei 408.38 lei
6-8 săpt.
-20%
Theory and Models for Cyber Situation Awareness
Editat de Peng Liu et al.
7 iul 2017
Paperback
Preț: 355.29 lei 444.11 lei
6-8 săpt.
-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ț: 324.24 lei 405.30 lei
6-8 săpt.
-20%
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Editat de Leila Ribeiro et al.
13 noi 2016
Paperback
Preț: 328.32 lei 410.40 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ț: 357.23 lei 446.53 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ț: 326.70 lei 408.38 lei
6-8 săpt.
-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ț: 335.18 lei 418.97 lei
6-8 săpt.
-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ț: 332.07 lei 415.10 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ț: 327.50 lei 409.36 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ț: 327.66 lei 409.58 lei
6-8 săpt.
-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ț: 323.74 lei 404.67 lei
6-8 săpt.
-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ț: 337.49 lei 421.86 lei
6-8 săpt.
-20%
Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
Editat de Lin Zhang et al.
4 aug 2017
Paperback
Preț: 326.19 lei 407.75 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ț: 330.13 lei 412.66 lei
6-8 săpt.
-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ț: 356.91 lei 446.13 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ț: 328.83 lei 411.03 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ț: 325.36 lei 406.71 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ț: 329.81 lei 412.25 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ț: 328.14 lei 410.17 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ț: 328.14 lei 410.17 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ț: 328.00 lei 409.99 lei
6-8 săpt.
-20%
Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Editat de Esther Guerra et al.
20 iun 2017
Paperback
Preț: 325.22 lei 406.52 lei
6-8 săpt.
-20%
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Editat de Sebastian Gabmeyer et al.
18 iun 2017
Paperback
Preț: 324.06 lei 405.08 lei
6-8 săpt.
-20%
Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Editat de Anthony Anjorin et al.
20 iun 2017
Paperback
Preț: 331.75 lei 414.69 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ț: 326.37 lei 407.97 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ț: 327.16 lei 408.95 lei
6-8 săpt.
-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ț: 352.72 lei 440.90 lei
6-8 săpt.
-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ț: 339.30 lei 424.13 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ț: 329.30 lei 411.62 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ț: 326.37 lei 407.97 lei
6-8 săpt.
-20%
Lectures on Runtime Verification: Introductory and Advanced Topics
Editat de Ezio Bartocci et al.
11 feb 2018
Paperback
Preț: 412.09 lei 515.12 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ț: 327.82 lei 409.77 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ț: 333.23 lei 416.54 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ț: 327.82 lei 409.77 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ț: 326.83 lei 408.54 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ț: 326.00 lei 407.51 lei
6-8 săpt.
-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ț: 340.14 lei 425.17 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ț: 328.32 lei 410.40 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ț: 333.42 lei 416.77 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ț: 330.96 lei 413.70 lei
6-8 săpt.
-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ț: 335.18 lei 418.97 lei
6-8 săpt.
-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ț: 338.00 lei 422.50 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ț: 328.83 lei 411.03 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ț: 332.91 lei 416.14 lei
6-8 săpt.
-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ț: 337.64 lei 422.05 lei
6-8 săpt.
-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ț: 335.69 lei 419.60 lei
6-8 săpt.
-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ț: 324.71 lei 405.89 lei
6-8 săpt.
-20%
On the Move to Meaningful Internet Systems. OTM 2017 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II
Editat de Hervé Panetto et al.
21 oct 2017
Paperback
Preț: 342.07 lei 427.59 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ț: 329.30 lei 411.62 lei
6-8 săpt.
-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ț: 663.96 lei 829.95 lei
6-8 săpt.
-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ț: 333.73 lei 417.17 lei
6-8 săpt.
-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ț: 340.77 lei 425.96 lei
6-8 săpt.
-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ț: 347.32 lei 434.14 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 Traore et al.
11 oct 2017
Paperback
Preț: 325.69 lei 407.12 lei
6-8 săpt.
-20%
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Editat de Simone Cavalheiro et al.
12 noi 2017
Paperback
Preț: 415.72 lei 519.65 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ț: 328.97 lei 411.21 lei
6-8 săpt.
-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ț: 353.54 lei 441.91 lei
6-8 săpt.
-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ț: 353.21 lei 441.51 lei
6-8 săpt.
-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ț: 343.56 lei 429.45 lei
6-8 săpt.
-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ț: 261.58 lei 326.97 lei
38-44 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ț: 326.70 lei 408.38 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Editat de Antonio Cerone et al.
3 feb 2018
Paperback
Preț: 476.36 lei 595.46 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ț: 353.36 lei 441.69 lei
6-8 săpt.
-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ț: 333.42 lei 416.77 lei
6-8 săpt.
-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ț: 337.17 lei 421.46 lei
6-8 săpt.
-20%
Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
Editat de Erik Kamsties et al.
mar 2018
Paperback
Preț: 334.38 lei 417.98 lei
6-8 săpt.
-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ț: 343.23 lei 429.04 lei
6-8 săpt.
-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ț: 336.34 lei 420.42 lei
6-8 săpt.
-20%
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Editat de Aaron Dutle et al.
11 mar 2018
Paperback
Preț: 339.11 lei 423.89 lei
6-8 săpt.
-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ț: 799.88 lei 999.85 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ț: 329.95 lei 412.44 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ț: 325.87 lei 407.34 lei
6-8 săpt.
-20%
Intelligent Tutoring Systems: 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings
Editat de Roger Nkambou et al.
17 mai 2018
Paperback
Preț: 399.82 lei
6-8 săpt.
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ț: 328.14 lei 410.17 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ț: 324.89 lei 406.12 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ț: 325.69 lei 407.12 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ț: 325.22 lei 406.52 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ț: 331.42 lei 414.28 lei
6-8 săpt.
-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ț: 604.34 lei 755.42 lei
6-8 săpt.
-20%
Web Services – ICWS 2018: 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Editat de Hai Jin et al.
19 iun 2018
Paperback
Preț: 341.57 lei 426.96 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ț: 325.69 lei 407.12 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ț: 324.89 lei 406.12 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ț: 326.00 lei 407.51 lei
6-8 săpt.
-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ț: 385.16 lei 481.45 lei
6-8 săpt.
-20%