NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Editat de Julia M. Badger et al.
2 apr 2014
Paperback
Preț: 334.38 lei 417.98 lei
6-8 săpt.
-20%
Programming and Software Engineering
Programming with Actors: State-of-the-Art and Research Perspectives
Editat de Alessandro Ricci et al.
7 sep 2018
Paperback
Preț: 328.00 lei 409.99 lei
6-8 săpt.
-20%
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Editat de Andreas Podelski
29 aug 2018
Paperback
Preț: 337.82 lei 422.27 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ț: 665.10 lei 831.38 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ț: 336.84 lei 421.05 lei
6-8 săpt.
-20%
Programming and Performance Visualization Tools: International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
Editat de Abhinav Bhatele et al.
25 apr 2019
Paperback
Preț: 386.63 lei 483.29 lei
6-8 săpt.
-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ț: 448.69 lei 560.86 lei
6-8 săpt.
-20%
Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
Editat de Carlos E. Cuesta et al.
15 sep 2018
Paperback
Preț: 447.86 lei 559.82 lei
6-8 săpt.
-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ț: 332.72 lei 415.91 lei
6-8 săpt.
-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ț: 331.93 lei 414.91 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
Editat de Barbara Gallina et al.
21 aug 2018
Paperback
Preț: 541.64 lei 677.05 lei
6-8 săpt.
-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ț: 333.42 lei 416.77 lei
6-8 săpt.
-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ț: 326.83 lei 408.54 lei
6-8 săpt.
-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ț: 330.59 lei 413.24 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ț: 328.32 lei 410.40 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ț: 323.88 lei 404.85 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Editat de Shuvendu K. Lahiri et al.
30 sep 2018
Paperback
Preț: 338.30 lei 422.88 lei
38-44 zile
-20%
Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Editat de Inmaculada Medina-Bulo et al.
7 sep 2018
Paperback
Preț: 324.57 lei 405.71 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ț: 328.14 lei 410.17 lei
6-8 săpt.
-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ț: 337.82 lei 422.27 lei
6-8 săpt.
-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ț: 329.30 lei 411.62 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Editat de Kyungmin Bae et al.
7 oct 2018
Paperback
Preț: 330.78 lei 413.48 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ț: 346.48 lei 433.10 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ț: 339.76 lei 424.70 lei
6-8 săpt.
-20%
Service-Oriented Computing: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
Editat de Claus Pahl et al.
7 noi 2018
Paperback
Preț: 671.18 lei 838.97 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ț: 508.62 lei 635.78 lei
6-8 săpt.
-20%
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Editat de Tiago Massoni et al.
24 oct 2018
Paperback
Preț: 385.80 lei 482.25 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ț: 333.73 lei 417.17 lei
6-8 săpt.
-20%
Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Editat de Marco Kuhrmann et al.
3 noi 2018
Paperback
Preț: 339.11 lei 423.89 lei
6-8 săpt.
-20%
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Editat de Sukyoung Ryu
22 oct 2018
Paperback
Preț: 337.49 lei 421.86 lei
6-8 săpt.
-20%
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity: 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
Editat de Swaroop Pophale et al.
19 mar 2019
Paperback
Preț: 326.70 lei 408.38 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ț: 326.83 lei 408.54 lei
6-8 săpt.
-20%
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Editat de Ruzica Piskac et al.
24 noi 2018
Paperback
Preț: 333.23 lei 416.54 lei
6-8 săpt.
-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ț: 322.91 lei 403.63 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ț: 327.82 lei 409.77 lei
6-8 săpt.
-20%
Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
Editat de Sunita Chandrasekaran et al.
24 ian 2019
Paperback
Preț: 322.77 lei 403.46 lei
6-8 săpt.
-20%
Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Editat de Eric Knauss et al.
8 mar 2019
Paperback
Preț: 444.30 lei 555.37 lei
6-8 săpt.
-20%
Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers
Editat de Xiao Liu et al.
10 apr 2019
Paperback
Preț: 340.44 lei 425.55 lei
6-8 săpt.
-20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Editat de Simon Collart-Dutilleul et al.
24 apr 2019
Paperback
Preț: 387.60 lei 484.50 lei
6-8 săpt.
-20%
Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Editat de Michael Kirkedal Thomsen et al.
23 mai 2019
Paperback
Preț: 384.50 lei 480.63 lei
6-8 săpt.
-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ț: 325.36 lei 406.71 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ț: 322.12 lei 402.64 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ț: 323.23 lei 404.04 lei
6-8 săpt.
-20%
Intelligent Tutoring Systems: 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
Editat de Andre Coy et al.
30 mai 2019
Paperback
Preț: 449.32 lei
6-8 săpt.
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ț: 329.30 lei 411.62 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 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 Jorge A. Pérez et al.
29 mai 2019
Paperback
Preț: 415.72 lei 519.65 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ț: 385.33 lei 481.67 lei
6-8 săpt.
-20%
Reuse in the Big Data Era: 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Editat de Xin Peng et al.
19 iun 2019
Paperback
Preț: 328.65 lei 410.81 lei
6-8 săpt.
-20%
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Editat de Shiva Nejati et al.
3 aug 2019
Paperback
Preț: 325.69 lei 407.12 lei
6-8 săpt.
-20%
Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
Editat de Tomas Bures et al.
30 aug 2019
Paperback
Preț: 386.77 lei 483.46 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Editat de Kim Guldstrand Larsen et al.
25 iul 2019
Paperback
Preț: 324.24 lei 405.30 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Editat de Alexander Romanovsky et al.
8 aug 2019
Paperback
Preț: 388.58 lei 485.73 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ț: 449.52 lei 561.90 lei
6-8 săpt.
-20%
OpenMP: Conquering the Full Hardware Spectrum: 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Editat de Xing Fan et al.
9 aug 2019
Paperback
Preț: 445.40 lei 556.75 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ț: 323.74 lei 404.67 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ț: 329.15 lei 411.44 lei
6-8 săpt.
-20%
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Editat de Bernd Finkbeiner et al.
4 oct 2019
Paperback
Preț: 420.95 lei 526.18 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ț: 336.99 lei 421.23 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Editat de Yu-Fang Chen et al.
6 oct 2019
Paperback
Preț: 343.06 lei 428.82 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ț: 326.37 lei 407.97 lei
6-8 săpt.
-20%
Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
Editat de Giancarlo Guizzardi et al.
27 oct 2019
Paperback
Preț: 329.63 lei 412.03 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ț: 354.53 lei 443.16 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ț: 355.51 lei 444.38 lei
6-8 săpt.
-20%
Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Editat de Christophe Gaston et al.
18 sep 2019
Paperback
Preț: 330.78 lei 413.48 lei
6-8 săpt.
-20%
Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
Editat de Klaus-Dieter Schewe et al.
8 oct 2019
Paperback
Preț: 333.42 lei 416.77 lei
6-8 săpt.
-20%
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Editat de Bor-Yuh Evan Chang
6 oct 2019
Paperback
Preț: 339.76 lei 424.70 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ț: 326.19 lei 407.75 lei
6-8 săpt.
-20%
Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Editat de Graham Hutton
20 oct 2019
Paperback
Preț: 338.79 lei 423.50 lei
6-8 săpt.
-20%
Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
Editat de Yiannis Papadopoulos et al.
18 oct 2019
Paperback
Preț: 334.72 lei 418.39 lei
6-8 săpt.
-20%
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Editat de Yamine Ait-Ameur et al.
6 oct 2019
Paperback
Preț: 342.41 lei 428.00 lei
6-8 săpt.
-20%
On the Move to Meaningful Internet Systems: OTM 2019 Conferences: Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
Editat de Hervé Panetto et al.
11 oct 2019
Paperback
Preț: 608.14 lei 760.17 lei
6-8 săpt.
-20%
Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Editat de Anthony Widjaja Lin
9 noi 2019
Paperback
Preț: 340.26 lei 425.33 lei
6-8 săpt.
-20%
Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings
Editat de Sami Yangui et al.
26 oct 2019
Paperback
Preț: 345.03 lei 431.29 lei
6-8 săpt.
-20%
Product-Focused Software Process Improvement: 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Editat de Xavier Franch et al.
14 noi 2019
Paperback
Preț: 354.34 lei 442.93 lei
6-8 săpt.
-20%
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Editat de Wolfgang Ahrendt et al.
15 noi 2019
Paperback
Preț: 343.56 lei 429.45 lei
6-8 săpt.
-20%
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Editat de Nan Guan et al.
10 noi 2019
Paperback
Preț: 323.09 lei 403.85 lei
6-8 săpt.
-20%
Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings
Editat de Ekaterina Komendantskaya et al.
17 ian 2020
Paperback
Preț: 327.82 lei 409.77 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ț: 324.06 lei 405.08 lei
6-8 săpt.
-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ț: 328.83 lei 411.03 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ț: 315.91 lei 394.89 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ț: 325.87 lei 407.34 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ț: 324.06 lei 405.08 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ț: 330.13 lei 412.66 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ț: 331.42 lei 414.28 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ț: 466.61 lei 583.26 lei
6-8 săpt.
-20%
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers
Editat de Jean-Michel Bruel et al.
19 ian 2020
Paperback
Preț: 326.37 lei 407.97 lei
6-8 săpt.
-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ț: 336.19 lei 420.23 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ț: 412.58 lei 515.72 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ț: 395.05 lei
6-8 săpt.
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
Editat de Wolfgang Ahrendt et al.
20 iun 2020
Paperback
Preț: 325.04 lei 406.30 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ț: 325.36 lei 406.71 lei
6-8 săpt.
-20%
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ț: 332.72 lei 415.91 lei
6-8 săpt.
-20%
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Editat de Ivan Lanese et al.
9 iul 2020
Paperback
Preț: 329.95 lei 412.44 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ț: 324.24 lei 405.30 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ț: 335.87 lei 419.84 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ț: 330.96 lei 413.70 lei
6-8 săpt.
-20%