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%
Programming and Software Engineering
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Editat de Frank S. de Boer et al.
19 sep 2005
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings
Editat de Ralf H. Reussner et al.
12 sep 2005
Paperback
Preț: 321.35 lei 401.68 lei
6-8 săpt.
-20%
Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
Editat de Masami Hagiya et al.
6 apr 2006
Paperback
Preț: 320.37 lei 400.47 lei
6-8 săpt.
-20%
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
Editat de Michael Hanus
22 dec 2006
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
Editat de Heinz G. Schmidt et al.
29 iun 2007
Paperback
Preț: 320.06 lei 400.07 lei
6-8 săpt.
-20%
Software Engineering Techniques: Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
Editat de Zbigniev Huzar et al.
12 iul 2011
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Autor Holger Giese
iul 2008
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Editat de T. C. Nicholas Graham et al.
iul 2008
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security
Editat de Ibrahim Habli et al.
8 aug 2021
Paperback
Preț: 320.76 lei 400.94 lei
6-8 săpt.
-20%
Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
Editat de Thomas Kühne
12 ian 2007
Paperback
Preț: 322.29 lei 402.86 lei
6-8 săpt.
-20%
Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
Editat de Katinka Wolter
17 sep 2007
Paperback
Preț: 320.72 lei 400.90 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
Editat de Karen Yorav
feb 2008
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings
Editat de Nigel Thomas et al.
10 sep 2008
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Editat de Natarajan Shankar et al.
22 sep 2008
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
End-User Development: 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings
Editat de Volkmar Pipek et al.
27 feb 2009
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Human Machine Interaction: Research Results of the MMI Program
Editat de Denis Lalanne et al.
26 mar 2009
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
Editat de Patrick Eugster
25 mai 2009
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings
Editat de Martin Glinz et al.
27 mai 2009
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Editat de Ana Bove et al.
14 iul 2009
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings
Editat de Richard F. Paige
15 iun 2009
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
Editat de Fabrice Kordon et al.
25 mai 2009
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Editat de Grace A. Lewis et al.
9 iun 2009
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
Autonomic and Trusted Computing: 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings
Editat de Juan González Nieto et al.
22 iun 2009
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Editat de Marcello M. Bonsangue et al.
7 sep 2009
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Editat de Stephen H. Edwards et al.
11 sep 2009
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings
Editat de Manuel Carro et al.
12 ian 2010
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Editat de Farhad Arbab et al.
27 ian 2010
Paperback
Preț: 330.54 lei 413.16 lei
6-8 săpt.
-20%
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance: 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings
Editat de Erwin Rathgeb et al.
5 mar 2010
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Methods and Tools of Parallel Programming Multicomputers: Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
Editat de Ching-Hsien Hsu et al.
30 iul 2010
Paperback
Preț: 321.81 lei 402.26 lei
3-5 săpt.
-20%
Component-Based Software Engineering: 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings
Editat de Lars Grunske et al.
11 iun 2010
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings
Editat de Jorge Real et al.
iun 2010
Paperback
Preț: 320.24 lei 400.30 lei
3-5 săpt.
-20%
Fundamentals of Software Engineering
Editat de Hossein Hojjat et al.
22 sep 2019
Paperback
Preț: 319.96 lei 399.94 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Editat de Frank S. de Boer et al.
4 ian 2011
Paperback
Preț: 322.61 lei 403.26 lei
3-5 săpt.
-20%
Recent Advances in the Message Passing Interface: 17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings
Editat de Rainer Keller et al.
2 sep 2010
Paperback
Preț: 322.61 lei 403.26 lei
3-5 săpt.
-20%
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Editat de Dominique Méry et al.
6 oct 2010
Paperback
Preț: 322.11 lei 402.64 lei
6-8 săpt.
-20%
Semantic Web Rules: International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings
Editat de Mike Dean et al.
6 oct 2010
Paperback
Preț: 322.61 lei 403.26 lei
3-5 săpt.
-20%
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Editat de Jim Davies et al.
23 mar 2011
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Service-Oriented Computing: ICSOC 2010 International Workshops PAASC, WESOA, SEE, and SC-LOG San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers
Editat de E. Michael Maximilien et al.
4 mar 2011
Paperback
Preț: 320.24 lei 400.30 lei
6-8 săpt.
-20%
Objects, Components, Models, Patterns: 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings
Editat de Judith Bishop et al.
22 iun 2011
Paperback
Preț: 322.61 lei 403.26 lei
3-5 săpt.
-20%
Product-Focused Software Process Improvement: 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
Editat de Danilo Caivano et al.
15 iun 2011
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Editat de Luis Soares Barbosa et al.
9 mar 2012
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Rule-Based Modeling and Computing on the Semantic Web: 5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings
Editat de Monica Palmirani et al.
14 oct 2011
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings
Editat de Claudio Russo et al.
29 dec 2011
Paperback
Preț: 321.17 lei 401.46 lei
3-5 săpt.
-20%
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012, Proceedings
Editat de Björn Regnell et al.
14 mar 2012
Paperback
Preț: 322.61 lei 403.26 lei
3-5 săpt.
-20%
Theory and Practice of Model Transformations: 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Editat de Zhenjiang Hu et al.
16 mai 2012
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
OpenMP in a Heterogeneous World: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
Editat de Barbara Chapman et al.
6 iun 2012
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Analytical and Stochastic Modeling Techniques and Applications: 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Editat de Khalid Al-Begain et al.
21 mai 2012
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Editat de Dirk Beyer et al.
16 mai 2013
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
End-User Development: 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings
Editat de Yvonne Dittrich et al.
17 mai 2013
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Search Based Software Engineering: 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Editat de Günther Ruhe et al.
19 iul 2013
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%
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%
Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
Editat de Camille Salinesi et al.
2 apr 2014
Paperback
Preț: 322.11 lei 402.64 lei
6-8 săpt.
-20%
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Editat de Dimitra Giannakopoulou et al.
28 oct 2014
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Editat de Stefan Sauer et al.
25 aug 2014
Paperback
Preț: 321.81 lei 402.26 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%
System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Editat de Daniel Amyot et al.
12 sep 2014
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Editat de Eran Yahav
6 noi 2014
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%
Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Editat de Andreas Jedlitschka et al.
20 noi 2014
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%
Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Editat de Ralf Hinze et al.
12 iun 2015
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Editat de Jean Krivine et al.
iul 2015
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Editat de Marta Beltrán et al.
14 aug 2015
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Editat de Lev D. Beklemishev et al.
27 aug 2015
Paperback
Preț: 321.49 lei 401.86 lei
6-8 săpt.
-20%
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Editat de Xuandong Li et al.
27 oct 2015
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Editat de Nir Piterman
27 oct 2015
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Editat de Zhiming Liu et al.
mar 2016
Paperback
Preț: 321.81 lei 402.26 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Editat de Domenico Bianculli et al.
3 feb 2016
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Editat de Christiano Braga et al.
30 ian 2016
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%
Requirements Engineering: Foundation for Software Quality: 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings
Editat de Maya Daneva et al.
4 mar 2016
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Editat de Simon Devitt et al.
30 iun 2016
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
Editat de Bedir Tekinerdoğan et al.
4 noi 2016
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
Analytical and Stochastic Modelling Techniques and Applications: 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
Editat de Sabine Wittevrongel et al.
4 aug 2016
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Editat de Amund Skavhaug et al.
4 sep 2016
Paperback
Preț: 321.98 lei 402.47 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%
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%
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.47 lei 400.59 lei
3-5 săpt. | 6-12 zile
-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%
Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Editat de Philipp Reinecke et al.
15 aug 2017
Paperback
Preț: 320.72 lei 400.90 lei
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%
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%
Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Editat de Christoph Benzmüller et al.
24 aug 2018
Paperback
Preț: 322.43 lei 403.04 lei
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ț: 321.66 lei 402.08 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ț: 320.37 lei 400.47 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ț: 320.55 lei 400.68 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ț: 320.55 lei 400.68 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%
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%
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%
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Editat de Wolfgang Ahrendt et al.
9 dec 2020
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
Editat de Loek Cleophas et al.
17 ian 2021
Paperback
Preț: 322.11 lei 402.64 lei
6-8 săpt.
-20%
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Editat de Shang-Wei Lin et al.
19 dec 2020
Paperback
Preț: 322.43 lei 403.04 lei
6-8 săpt.
-20%
Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings
Editat de Sihem Ben Sassi et al.
dec 2020
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
Editat de Valentina Casola et al.
27 noi 2020
Paperback
Preț: 321.49 lei 401.86 lei
6-8 săpt.
-20%
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
Editat de Ferruccio Damiani et al.
6 iun 2021
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%
Model and Data Engineering: 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings
Editat de Christian Attiogbé et al.
9 iun 2021
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%