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%
Programming and Software Engineering
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Editat de Orna Grumberg et al.
12 mai 2009
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Editat de Marco Bernardo et al.
12 mai 2009
Paperback
Preț: 405.98 lei 507.48 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%
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Editat de Patricia M. Hill et al.
24 iun 2009
Paperback
Preț: 335.29 lei 419.11 lei
6-8 săpt.
-20%
Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Editat de Ian P. Gent
7 sep 2009
Paperback
Preț: 649.52 lei 811.90 lei
6-8 săpt.
-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
3-5 săpt.
-20%
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
6-8 săpt.
-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
6-8 săpt.
-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
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%
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
3-5 săpt.
-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
3-5 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%
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
3-5 săpt.
-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
3-5 săpt.
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
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%
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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
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%
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
3-5 săpt.
-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
3-5 săpt.
-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
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%
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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 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%
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
6-8 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-20%
Performance Evaluation and Benchmarking: Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
Editat de Raghunath Nambiar et al.
25 ian 2011
Paperback
Preț: 318.67 lei 398.33 lei
3-5 săpt.
-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
3-5 săpt.
-20%
Architecting Dependable Systems VII
Editat de Antonio Casimiro et al.
16 noi 2010
Paperback
Preț: 311.50 lei 389.38 lei
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
6-8 săpt. | 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
6-8 săpt.
-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
3-5 săpt.
-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
3-5 săpt.
-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
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%
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
6-8 săpt.
-20%