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%
Programming and Software Engineering
Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29--October 2, 2009 Proceedings
Editat de Ulrike Cress et al.
15 sep 2009
Paperback
Preț: 642.07 lei 755.38 lei
43-57 zile
-15%
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Editat de Ana Cavalcanti et al.
26 oct 2009
Paperback
Preț: 646.38 lei 807.97 lei
43-57 zile
-20%
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
Editat de Zhenjiang Hu
24 noi 2009
Paperback
Preț: 324.99 lei 406.23 lei
43-57 zile
-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
43-57 zile
-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
43-57 zile
-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
43-57 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%
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
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%
Software Architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings
Editat de Muhammad Ali Babar et al.
11 aug 2010
Paperback
Preț: 333.68 lei 417.09 lei
43-57 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%
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Editat de Kedar Namjoshi et al.
10 feb 2011
Paperback
Preț: 314.67 lei 393.34 lei
43-57 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%
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%
Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers
Editat de João M. Fernandes et al.
3 ian 2011
Paperback
Preț: 330.54 lei 413.16 lei
43-57 zile | 6-12 zile
-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
43-57 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%
Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
Editat de Brian Malloy et al.
23 feb 2011
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-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
43-57 zile
-20%
Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings
Editat de Daniel M. Berry et al.
16 mar 2011
Paperback
Preț: 317.05 lei 396.31 lei
43-57 zile
-20%
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Editat de Mihaela Bobaru et al.
6 apr 2011
Paperback
Preț: 333.68 lei 417.09 lei
43-57 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%
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%
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%