ECOOP 2010 -- Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings
Editat de Theo D'Hondt
17 iun 2010
Paperback
Preț: 638.44 lei 798.05 lei
3-5 săpt.
-20%
Programming and Software Engineering
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Editat de Bernhard K. Aichernig et al.
12 dec 2011
Paperback
Preț: 326.72 lei 408.40 lei
3-5 săpt.
-20%
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance: 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Editat de Kai Fischbach et al.
4 mar 2014
Paperback
Preț: 337.64 lei 422.04 lei
38-44 zile
-20%
Accelerator Programming Using Directives
Editat de Sridutt Bhalachandra et al.
15 mai 2022
Paperback
Preț: 341.59 lei 426.99 lei
6-8 săpt.
-20%
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Editat de Marco Carbone et al.
23 apr 2012
Paperback
Preț: 395.90 lei 494.88 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Editat de Holger Giese et al.
31 mai 2012
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings
Editat de Marjan Sirjani
31 mai 2012
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Editat de Marco Bernardo et al.
14 iun 2012
Paperback
Preț: 328.16 lei 410.20 lei
6-8 săpt.
-20%
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Editat de Stephen Poole et al.
4 mar 2014
Paperback
Preț: 315.31 lei 394.14 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Editat de Steve Counsell et al.
apr 2014
Paperback
Preț: 327.54 lei 409.42 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Challenges and Opportunity with Big Data
Editat de Lin Zhang et al.
4 aug 2017
Paperback
Preț: 317.08 lei 396.35 lei
6-8 săpt.
-20%
Formal Methods: Foundations and Applications
Editat de Leila Ribeiro et al.
13 noi 2016
Paperback
Preț: 319.36 lei 399.20 lei
6-8 săpt.
-20%
Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
Editat de Martin Gogolla et al.
22 iun 2011
Paperback
Preț: 317.05 lei 396.31 lei
3-5 săpt.
-20%
Software Verification
Editat de Roderick Bloem et al.
22 feb 2022
Paperback
Preț: 344.04 lei 430.06 lei
6-8 săpt.
-20%
Services - SERVICES 2021
Editat de Mohamed Adel Serhani et al.
13 feb 2022
Paperback
Preț: 339.75 lei 424.69 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 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
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%
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
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%
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
6-8 săpt.
-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
6-8 săpt.
-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
3-5 săpt. | 4-10 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
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%
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
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ț: 315.93 lei 394.92 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%
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
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%
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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
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ț: 343.53 lei 429.41 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ț: 316.59 lei 395.75 lei
6-8 săpt.
-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
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ț: 314.22 lei 392.77 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.72 lei 400.91 lei
3-5 săpt. | 4-10 zile
-20%
Programming Languages and Systems
Editat de Chung-Chien Shan
18 noi 2013
Paperback
Preț: 325.88 lei 407.36 lei
6-8 săpt.
-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
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ț: 316.59 lei 395.75 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ț: 324.81 lei 406.00 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ț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Theory and Practice of Model Transformation
Editat de Esther Guerra et al.
20 iun 2017
Paperback
Preț: 316.06 lei 395.08 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ț: 317.36 lei 396.70 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ț: 313.74 lei 392.17 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ț: 327.04 lei 408.80 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%
Modelling Foundations and Applications
Editat de Anthony Anjorin et al.
20 iun 2017
Paperback
Preț: 322.82 lei 403.53 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ț: 317.55 lei 396.94 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ț: 345.82 lei 432.28 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%
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
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%
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
6-8 săpt.
-20%
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Editat de Manuel Mazzara et al.
6 dec 2018
Paperback
Preț: 326.81 lei 408.51 lei
3-5 săpt. | 4-10 zile
-20%
Web Services – ICWS 2019: 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Editat de John Miller et al.
14 iun 2019
Paperback
Preț: 315.31 lei 394.14 lei
6-8 săpt.
-20%
Services Computing – SCC 2019: 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Editat de Joao Eduardo Ferreira et al.
19 iun 2019
Paperback
Preț: 312.17 lei 390.21 lei
6-8 săpt.
-20%
Services – SERVICES 2019: 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
Editat de Yunni Xia et al.
18 iun 2019
Paperback
Preț: 313.24 lei 391.55 lei
6-8 săpt.
-20%
End-User Development: 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Editat de Alessio Malizia et al.
3 iul 2019
Paperback
Preț: 373.35 lei 466.69 lei
6-8 săpt.
-20%
Software Language Engineering
Editat de Martin Erwig et al.
26 sep 2013
Paperback
Preț: 326.27 lei 407.84 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%
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Editat de Jing Sun et al.
11 oct 2018
Paperback
Preț: 329.25 lei 411.55 lei
6-8 săpt.
-20%
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Editat de Christian Colombo et al.
8 noi 2018
Paperback
Preț: 492.67 lei 615.84 lei
6-8 săpt.
-20%
Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Editat de Lei Bu et al.
20 noi 2018
Paperback
Preț: 316.73 lei 395.91 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Editat de Alexander Romanovsky et al.
9 aug 2019
Paperback
Preț: 435.46 lei 544.33 lei
6-8 săpt.
-20%
Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers
Editat de Sandra Wienke et al.
25 iun 2020
Paperback
Preț: 314.04 lei 392.55 lei
6-8 săpt.
-20%
Service-Oriented Computing – ICSOC 2019 Workshops: WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers
Editat de Sami Yangui et al.
12 apr 2020
Paperback
Preț: 341.85 lei 427.31 lei
38-44 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
6-8 săpt.
-20%
Computer Performance Engineering: 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers
Editat de Marco Gribaudo et al.
19 mar 2020
Paperback
Preț: 314.04 lei 392.55 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.61 lei 399.51 lei
3-5 săpt. | 4-10 zile
-20%
Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Editat de Simon Bliudze et al.
10 iun 2020
Paperback
Preț: 325.79 lei 407.24 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Editat de Alexey Gotsman et al.
10 iun 2020
Paperback
Preț: 399.71 lei 499.64 lei
6-8 săpt.
-20%
Intelligent Tutoring Systems: 16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings
Editat de Vivekanandan Kumar et al.
3 iun 2020
Paperback
Preț: 382.85 lei
6-8 săpt.
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%
Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings
Editat de Sotiris Moschoyiannis et al.
2 dec 2021
Paperback
Preț: 401.45 lei 501.82 lei
6-8 săpt.
-20%
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
Editat de Cezara Drăgoi et al.
14 oct 2021
Paperback
Preț: 520.65 lei 650.80 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Editat de Zhe Hou et al.
14 oct 2021
Paperback
Preț: 461.25 lei 576.57 lei
3-5 săpt. | 4-10 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
6-8 săpt.
-20%
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings
Editat de Hakjoo Oh
9 oct 2021
Paperback
Preț: 485.71 lei 607.15 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Editat de Marieke Huisman et al.
10 noi 2021
Paperback
Preț: 699.94 lei 874.94 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
Editat de Shengchao Qin et al.
14 noi 2021
Paperback
Preț: 460.35 lei 575.44 lei
3-5 săpt. | 4-10 zile
-20%
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Editat de Gwen Salaün et al.
5 noi 2021
Paperback
Preț: 287.32 lei 359.15 lei
6-8 săpt.
-20%
Performance Engineering and Stochastic Modeling: 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings
Editat de Paolo Ballarini et al.
27 noi 2021
Paperback
Preț: 466.44 lei 583.06 lei
6-8 săpt.
-20%
Service-Oriented Computing: 19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings
Editat de Hakim Hacid et al.
18 noi 2021
Paperback
Preț: 815.03 lei 1018.78 lei
6-8 săpt.
-20%
Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings
Editat de James Cheney et al.
12 ian 2022
Paperback
Preț: 398.95 lei 498.68 lei
6-8 săpt.
-20%