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
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Editat de Emilio Tuosto et al.
25 iul 2014
Paperback
Preț: 260.47 lei 325.59 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 Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Editat de Paris Avgeriou et al.
4 aug 2014
Paperback
Preț: 325.79 lei 407.24 lei
6-8 săpt.
-20%
Search-Based Software Engineering: 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Editat de Claire Le Goues et al.
8 aug 2014
Paperback
Preț: 347.26 lei 434.08 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Editat de Dimitra Giannakopoulou et al.
4 aug 2014
Paperback
Preț: 325.47 lei 406.84 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%
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%
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Editat de Elvira Albert et al.
15 sep 2014
Paperback
Preț: 324.81 lei 406.00 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%
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%
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%
Service-Oriented Computing – ICSOC 2015 Workshops: WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers
Editat de Alex Norta et al.
26 apr 2016
Paperback
Preț: 319.42 lei 399.28 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ț: 326.87 lei 408.59 lei
6-8 săpt.
-20%
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Editat de Xavier Rival
31 aug 2016
Paperback
Preț: 330.54 lei 413.16 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%
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
6-8 săpt.
-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
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%
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
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%
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
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ț: 327.54 lei 409.42 lei
6-8 săpt.
-20%
Formal Aspects of Component Software
Editat de José Luiz Fiadeiro et al.
30 iul 2014
Paperback
Preț: 326.07 lei 407.59 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%
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%
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
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ț: 325.30 lei 406.63 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 I
Editat de Hervé Panetto et al.
20 oct 2017
Paperback
Preț: 343.37 lei 429.20 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%
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
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ț: 323.41 lei 404.26 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ț: 330.23 lei 412.79 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ț: 315.62 lei 394.52 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%
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
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ț: 336.55 lei 420.69 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%
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
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ț: 342.25 lei 427.81 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ț: 332.92 lei 416.15 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ț: 283.04 lei 353.80 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ț: 316.59 lei 395.75 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ț: 515.51 lei 644.39 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
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ț: 323.10 lei 403.87 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ț: 326.72 lei 408.40 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ț: 324.03 lei 405.04 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ț: 332.60 lei 415.75 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ț: 325.92 lei 407.40 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ț: 774.59 lei 968.24 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%
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%
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ț: 387.47 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ț: 318.00 lei 397.50 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%
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%
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
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ț: 330.98 lei 413.73 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%
Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
Editat de John Hooker
23 aug 2018
Paperback
Preț: 644.13 lei 805.17 lei
6-8 săpt.
-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
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ț: 373.16 lei 466.46 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%
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence: 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers
Editat de Raghunath Nambiar et al.
30 ian 2019
Paperback
Preț: 313.87 lei 392.34 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%
On the Move to Meaningful Internet Systems. OTM 2018 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
Editat de Hervé Panetto et al.
18 oct 2018
Paperback
Preț: 335.74 lei 419.68 lei
6-8 săpt.
-20%
Human-Centered Software Engineering: 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers
Editat de Cristian Bogdan et al.
31 dec 2018
Paperback
Preț: 323.41 lei 404.26 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%
Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Editat de Radu Calinescu et al.
5 sep 2019
Paperback
Preț: 313.74 lei 392.17 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%
Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Editat de Manuel Mazzara et al.
28 aug 2019
Paperback
Preț: 326.55 lei 408.19 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%
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Editat de Maurice H. ter Beek et al.
15 sep 2019
Paperback
Preț: 343.53 lei 429.41 lei
6-8 săpt.
-20%
Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
Editat de Thomas Schiex et al.
30 aug 2019
Paperback
Preț: 344.48 lei 430.60 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%
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
Editat de Jonathan P. Bowen et al.
aug 2020
Paperback
Preț: 317.05 lei 396.31 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%
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Editat de Javier Camara et al.
10 sep 2020
Paperback
Preț: 456.14 lei 570.17 lei
6-8 săpt.
-20%
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Editat de Ritchie Lee et al.
9 aug 2020
Paperback
Preț: 464.56 lei 580.70 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings
Editat de António Casimiro et al.
6 aug 2020
Paperback
Preț: 572.34 lei 715.42 lei
6-8 săpt.
-20%
Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers
Editat de Raghunath Nambiar et al.
30 iul 2020
Paperback
Preț: 314.22 lei 392.77 lei
6-8 săpt.
-20%
Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
Editat de Jean-Michel Bruel et al.
12 aug 2020
Paperback
Preț: 325.47 lei 406.84 lei
6-8 săpt.
-20%
Software Architecture: 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings
Editat de Anton Jansen et al.
10 sep 2020
Paperback
Preț: 324.35 lei 405.44 lei
6-8 săpt.
-20%
OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings
Editat de Kent Milfeld et al.
2 sep 2020
Paperback
Preț: 486.66 lei 608.32 lei
6-8 săpt.
-20%
Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings
Editat de Marc Zeller et al.
4 sep 2020
Paperback
Preț: 400.51 lei 500.64 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
Editat de Dang Van Hung et al.
12 oct 2020
Paperback
Preț: 333.68 lei 417.09 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%
Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings
Editat de Helmut Simonis
7 sep 2020
Paperback
Preț: 981.45 lei 1226.82 lei
6-8 săpt.
-20%
Services Computing – SCC 2020: 17th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings
Editat de Qingyang Wang et al.
13 sep 2020
Paperback
Preț: 313.87 lei 392.34 lei
6-8 săpt.
-20%
Services – SERVICES 2020: 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings
Editat de Joao Eduardo Ferreira et al.
17 sep 2020
Paperback
Preț: 311.84 lei 389.81 lei
6-8 săpt.
-20%