Performance Evaluation and Benchmarking
Editat de Meikel Poess et al.
22 sep 2024
Paperback
Preț: 314.04 lei 392.55 lei
43-57 zile
-20%
Programming and Software Engineering
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Editat de Doron A. Peled et al.
19 sep 2005
Paperback
Preț: 330.54 lei 413.16 lei
22-36 zile
-20%
Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Editat de Bertrand Meyer et al.
9 aug 2007
Paperback
Preț: 316.73 lei 395.91 lei
22-36 zile
-20%
Universal Access in Human-Computer Interaction. Ambient Interaction: 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part II
Editat de Constantine Stephanidis
2 iul 2007
Paperback
Preț: 983.99 lei 1229.99 lei
22-36 zile
-20%
Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings
Editat de Ina Schieferdecker et al.
30 mai 2008
Paperback
Preț: 733.68 lei 917.09 lei
22-36 zile
-20%
Performance Evaluation: Metrics, Models and Benchmarks: SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings
Editat de Samuel Kounev et al.
16 iun 2008
Paperback
Preț: 563.29 lei 704.12 lei
22-36 zile
-20%
Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings
Editat de Peter J. Stuckey
28 aug 2008
Paperback
Preț: 748.63 lei 935.79 lei
22-36 zile
-20%
Engineering Interactive Systems 2008: Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008, Proceedings
Editat de Fabio Paternò
11 sep 2008
Paperback
Preț: 617.17 lei 771.46 lei
22-36 zile
-20%
Software Architecture: Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
Editat de Ronald Morrison et al.
12 sep 2008
Paperback
Preț: 620.33 lei 775.42 lei
22-36 zile
-20%
Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Editat de Gregor Engels et al.
22 noi 2010
Paperback
Preț: 636.06 lei 795.08 lei
22-36 zile
-20%
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
Editat de Peter Müller
20 mai 2010
Paperback
Preț: 316.28 lei 395.35 lei
22-36 zile
-20%
Agent-Oriented Software Engineering X: 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Editat de Marie-Pierre Gleizes et al.
14 mar 2011
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-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
22-36 zile
-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
22-36 zile
-20%
Research into Practice - Reality and Gaps: 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings
Editat de George Heineman et al.
17 iun 2010
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-20%
Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I
Editat de Vincent Aleven et al.
iun 2010
Paperback
Preț: 384.13 lei
22-36 zile
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Editat de Holger Giese et al.
6 oct 2010
Paperback
Preț: 326.10 lei 407.63 lei
22-36 zile
-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
22-36 zile
-20%
Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Editat de David Clarke et al.
iun 2010
Paperback
Preț: 316.28 lei 395.35 lei
22-36 zile
-20%
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Editat de John Hatcliff et al.
iun 2010
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-20%
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
Editat de Agostino Dovier et al.
30 iun 2010
Paperback
Preț: 323.41 lei 404.26 lei
22-36 zile
-20%
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More
Editat de Mitsuhisa Sato et al.
iun 2010
Paperback
Preț: 315.48 lei 394.35 lei
22-36 zile
-20%
Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings
Editat de Thomas Kühne et al.
iun 2010
Paperback
Preț: 324.19 lei 405.23 lei
22-36 zile
-20%
Objects, Models, Components, Patterns: 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings
Editat de Jan Vitek
17 iun 2010
Paperback
Preț: 323.41 lei 404.26 lei
22-36 zile
-20%
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Editat de Laurence Tratt et al.
17 iun 2010
Paperback
Preț: 327.36 lei 409.20 lei
22-36 zile
-20%
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
Editat de Gordon Fraser et al.
17 iun 2010
Paperback
Preț: 315.48 lei 394.35 lei
22-36 zile
-20%
Software Composition: 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
Editat de Michel Baudry et al.
17 iun 2010
Paperback
Preț: 314.67 lei 393.34 lei
22-36 zile
-20%
Analytical and Stochastic Modeling Techniques and Applications: 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings
Editat de Khalid Al-Begain et al.
iun 2010
Paperback
Preț: 327.36 lei 409.20 lei
22-36 zile
-20%
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Editat de Alessandro Aldini et al.
11 iun 2010
Paperback
Preț: 314.86 lei 393.57 lei
22-36 zile
-20%
Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings
Editat de Muhammad Ali Babar et al.
11 iun 2010
Paperback
Preț: 327.36 lei 409.20 lei
22-36 zile
-20%
Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings
Editat de Roel Wieringa et al.
17 iun 2010
Paperback
Preț: 328.16 lei 410.20 lei
22-36 zile
-20%
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Editat de Cosimo Laneve et al.
2 sep 2010
Paperback
Preț: 316.28 lei 395.35 lei
22-36 zile
-20%
New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
Editat de Jürgen Münch et al.
30 iun 2010
Paperback
Preț: 325.79 lei 407.24 lei
22-36 zile
-20%
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Editat de Gary T. Leavens et al.
5 aug 2010
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-20%
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Editat de Ahmed Bouajjani et al.
3 sep 2010
Paperback
Preț: 326.55 lei 408.19 lei
22-36 zile
-20%
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers
Editat de Asit Dan et al.
6 oct 2010
Paperback
Preț: 637.34 lei 796.67 lei
22-36 zile
-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
22-36 zile
-20%
Software Product Lines: Going Beyond: 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
Editat de Jan Bosch et al.
30 aug 2010
Paperback
Preț: 333.68 lei 417.09 lei
22-36 zile
-20%
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Editat de Andreas Blass et al.
5 aug 2010
Paperback
Preț: 637.64 lei 797.05 lei
22-36 zile
-20%
Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings
Editat de Leonardo Bottaci et al.
30 aug 2010
Paperback
Preț: 317.85 lei 397.31 lei
22-36 zile
-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
22-36 zile
-20%
Principles and Practice of Constraint Programming - CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings
Editat de David Cohen
30 aug 2010
Paperback
Preț: 639.38 lei 799.23 lei
22-36 zile
-20%
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
Editat de Marko van Eekelen et al.
9 sep 2010
Paperback
Preț: 314.67 lei 393.34 lei
22-36 zile
-20%
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Editat de Radhia Cousot et al.
9 sep 2010
Paperback
Preț: 330.54 lei 413.16 lei
22-36 zile
-20%
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
Editat de Alessandro Aldini et al.
13 sep 2010
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-20%
Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings
Editat de Erwin Schoitsch
3 sep 2010
Paperback
Preț: 330.54 lei 413.16 lei
22-36 zile
-20%
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Editat de Stefan Kowalewski et al.
9 sep 2010
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-20%
Sustaining TEL: From Innovation to Learning and Practice: 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings
Editat de Martin Wolpers et al.
27 sep 2010
Paperback
Preț: 637.96 lei 797.45 lei
22-36 zile
-20%
HCI in Work and Learning, Life and Leisure: 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings
Editat de Gerhard Leitner et al.
21 oct 2010
Paperback
Preț: 333.68 lei 417.09 lei
22-36 zile
-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
22-36 zile
-20%
Autonomic and Trusted Computing: 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings
Editat de Bing Xie et al.
8 oct 2010
Paperback
Preț: 319.75 lei 399.68 lei
22-36 zile
-20%
Human-Centred Software Engineering: Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
Editat de Regina Bernhaupt et al.
6 oct 2010
Paperback
Preț: 315.48 lei 394.35 lei
22-36 zile
-20%
Data Engineering and Management: Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
Editat de Rajkumar Kannan et al.
16 ian 2012
Paperback
Preț: 324.19 lei 405.23 lei
22-36 zile
-20%
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Editat de Howard Barringer et al.
19 oct 2010
Paperback
Preț: 331.62 lei 414.53 lei
22-36 zile
-20%
Architecting Dependable Systems VII
Editat de Antonio Casimiro et al.
16 noi 2010
Paperback
Preț: 311.50 lei 389.38 lei
22-36 zile
-20%
Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
Editat de Alexandre Petrenko et al.
8 oct 2010
Paperback
Preț: 319.75 lei 399.68 lei
22-36 zile
-20%
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Editat de Jin Song Dong et al.
29 oct 2010
Paperback
Preț: 641.45 lei 801.81 lei
22-36 zile
-20%
Middleware 2010: ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings
Editat de Indranil Gupta et al.
16 noi 2010
Paperback
Preț: 326.10 lei 407.63 lei
22-36 zile
-20%
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
Editat de Kazunori Ueda
5 noi 2010
Paperback
Preț: 329.60 lei 412.00 lei
22-36 zile
-20%
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings
Editat de Paul P. Maglio et al.
22 noi 2010
Paperback
Preț: 903.30 lei 1129.11 lei
22-36 zile
-20%
Towards a Service-Based Internet: Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010, Proceedings
Editat de Di Nitto Elisabetta et al.
9 dec 2010
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-20%
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
Editat de Michael Johnson et al.
14 ian 2011
Paperback
Preț: 318.30 lei 397.88 lei
22-36 zile
-20%
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Editat de Bernhard Beckert et al.
14 ian 2011
Paperback
Preț: 316.28 lei 395.35 lei
22-36 zile
-20%
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Editat de Ricardo Rocha et al.
11 ian 2011
Paperback
Preț: 319.42 lei 399.28 lei
22-36 zile
-20%
System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Editat de Frank Alexander Kraemer et al.
22 iun 2011
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-20%
Reliable Software Technologies – Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
Editat de Alexander Romanovsky et al.
14 iun 2011
Paperback
Preț: 318.67 lei 398.33 lei
22-36 zile
-20%
End-User Development: Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings
Editat de Maria Francesca Costabile et al.
31 mai 2011
Paperback
Preț: 328.94 lei 411.17 lei
22-36 zile
-20%
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
Editat de Marco Bernardo et al.
3 iun 2011
Paperback
Preț: 333.68 lei 417.09 lei
22-36 zile
-20%
Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers
Editat de Radu Calinescu et al.
23 mai 2011
Paperback
Preț: 319.42 lei 399.28 lei
22-36 zile
-20%
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Editat de Michael Butler et al.
16 iun 2011
Paperback
Preț: 329.74 lei 412.17 lei
22-36 zile
-20%
OpenMP in the Petascale Era: 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings
Editat de Barbara M. Chapman et al.
26 mai 2011
Paperback
Preț: 315.48 lei 394.35 lei
22-36 zile
-20%
Modelling -- Foundation and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings
Editat de Robert B. France et al.
26 mai 2011
Paperback
Preț: 327.36 lei 409.20 lei
22-36 zile
-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
22-36 zile
-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
22-36 zile
-20%
Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings
Editat de Wolfgang De Meuter et al.
26 mai 2011
Paperback
Preț: 317.85 lei 397.31 lei
22-36 zile
-20%
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings
Editat de Roberto Bruni et al.
26 mai 2011
Paperback
Preț: 324.19 lei 405.23 lei
22-36 zile
-20%
Analytical and Stochastic Modeling Techniques and Applications: 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings
Editat de Khalid Al-Begain et al.
14 iun 2011
Paperback
Preț: 324.19 lei 405.23 lei
22-36 zile
-20%
Principles and Practice of Constraint Programming -- CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, Proceedings
Editat de Jimmy Lee
2 sep 2011
Paperback
Preț: 858.92 lei 1073.65 lei
22-36 zile
-20%
Software Architecture: 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
Editat de Ivica Crnkovic et al.
9 sep 2011
Paperback
Preț: 328.94 lei 411.17 lei
22-36 zile
-20%
Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings
Editat de Myra B. Cohen et al.
30 aug 2011
Paperback
Preț: 402.28 lei 502.84 lei
22-36 zile
-20%
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
22-36 zile
-20%
Computer Performance Engineering: 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings
Editat de Nigel Thomas
5 oct 2011
Paperback
Preț: 323.41 lei 404.26 lei
22-36 zile
-20%
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Editat de Shengchao Qin et al.
12 oct 2011
Paperback
Preț: 340.84 lei 426.05 lei
22-36 zile
-20%
Towards a Service-Based Internet: 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011, Proceedings
Editat de Witold Abramowicz et al.
12 oct 2011
Paperback
Preț: 324.19 lei 405.23 lei
22-36 zile
-20%
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
Editat de Burkhart Wolff et al.
21 oct 2011
Paperback
Preț: 317.85 lei 397.31 lei
22-36 zile
-20%
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Editat de Gilles Barthe et al.
21 oct 2011
Paperback
Preț: 332.10 lei 415.13 lei
22-36 zile
-20%
Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Editat de Tomasz Szmuc et al.
16 ian 2012
Paperback
Preț: 319.42 lei 399.28 lei
22-36 zile
-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
22-36 zile
-20%
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Editat de Rajeev Joshi et al.
10 ian 2012
Paperback
Preț: 323.41 lei 404.26 lei
22-36 zile
-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
22-36 zile
-20%
Object, Models, Components, Patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
Editat de Carlo A. Furia et al.
11 mai 2012
Paperback
Preț: 324.99 lei 406.23 lei
22-36 zile
-20%
Reliable Software Technologies -- Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
Editat de Mats Brorsson et al.
23 mai 2012
Paperback
Preț: 317.85 lei 397.31 lei
22-36 zile
-20%
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Editat de Simone Cavalheiro et al.
12 noi 2017
Paperback
Preț: 390.68 lei 488.34 lei
22-36 zile | 6-12 zile
-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ț: 355.79 lei 444.73 lei
22-36 zile | 6-12 zile
-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
22-36 zile | 6-12 zile
-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
22-36 zile | 6-12 zile
-20%
- 1
- 2