Filtre: Paperback Livrare economică (2-4 săptămâni)

Programming and Software Engineering

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3707

Editat de Doron A. Peled et al.

19 sep 2005

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

Lecture Notes in Computer Science, nr. 4454

Editat de Bertrand Meyer et al.

9 aug 2007

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

Lecture Notes in Computer Science, nr. 4555

Editat de Constantine Stephanidis

2 iul 2007

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

Lecture Notes in Computer Science, nr. 5095

Editat de Ina Schieferdecker et al.

30 mai 2008

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

Lecture Notes in Computer Science, nr. 5119

Editat de Samuel Kounev et al.

16 iun 2008

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

Lecture Notes in Computer Science, nr. 5202

Editat de Peter J. Stuckey

28 aug 2008

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

Lecture Notes in Computer Science, nr. 5247

Editat de Fabio Paternò

11 sep 2008

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

Lecture Notes in Computer Science, nr. 5292

Editat de Ronald Morrison et al.

12 sep 2008

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

Lecture Notes in Computer Science, nr. 5765

Editat de Gregor Engels et al.

22 noi 2010

Preț: 636^.06 lei 795^.08 lei

22-36 zile

-20%

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Lecture Notes in Computer Science, nr. 6029

Editat de Peter Müller

20 mai 2010

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

Lecture Notes in Computer Science, nr. 6038

Editat de Marie-Pierre Gleizes et al.

14 mar 2011

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

Lecture Notes in Computer Science, nr. 6083

Editat de Ching-Hsien Hsu et al.

30 iul 2010

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

Lecture Notes in Computer Science, nr. 6092

Editat de Lars Grunske et al.

11 iun 2010

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

Lecture Notes in Computer Science, nr. 6093

Editat de George Heineman et al.

17 iun 2010

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

Lecture Notes in Computer Science, nr. 6094

Editat de Vincent Aleven et al.

iun 2010

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

Lecture Notes in Computer Science, nr. 6100

Editat de Holger Giese et al.

6 oct 2010

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

Lecture Notes in Computer Science, nr. 6106

Editat de Jorge Real et al.

iun 2010

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

Lecture Notes in Computer Science, nr. 6116

Editat de David Clarke et al.

iun 2010

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

Lecture Notes in Computer Science, nr. 6117

Editat de John Hatcliff et al.

iun 2010

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

Lecture Notes in Computer Science, nr. 6125

Editat de Agostino Dovier et al.

30 iun 2010

Preț: 323^.41 lei 404^.26 lei

22-36 zile

-20%

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

Lecture Notes in Computer Science, nr. 6132

Editat de Mitsuhisa Sato et al.

iun 2010

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

Lecture Notes in Computer Science, nr. 6138

Editat de Thomas Kühne et al.

iun 2010

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

Lecture Notes in Computer Science, nr. 6141

Editat de Jan Vitek

17 iun 2010

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

Lecture Notes in Computer Science, nr. 6142

Editat de Laurence Tratt et al.

17 iun 2010

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

Lecture Notes in Computer Science, nr. 6143

Editat de Gordon Fraser et al.

17 iun 2010

Preț: 315^.48 lei 394^.35 lei

22-36 zile

-20%

Analytical and Stochastic Modeling Techniques and Applications: 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6148

Editat de Khalid Al-Begain et al.

iun 2010

Preț: 327^.36 lei 409^.20 lei

22-36 zile

-20%

Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6156

Editat de Muhammad Ali Babar et al.

11 iun 2010

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

Lecture Notes in Computer Science, nr. 6182

Editat de Roel Wieringa et al.

17 iun 2010

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

Lecture Notes in Computer Science, nr. 6183

Editat de Theo D'Hondt

17 iun 2010

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

Lecture Notes in Computer Science, nr. 6194

Editat de Cosimo Laneve et al.

2 sep 2010

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

Lecture Notes in Computer Science, nr. 6195

Editat de Jürgen Münch et al.

30 iun 2010

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

Lecture Notes in Computer Science, nr. 6217

Editat de Gary T. Leavens et al.

5 aug 2010

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

Lecture Notes in Computer Science, nr. 6252

Editat de Ahmed Bouajjani et al.

3 sep 2010

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

Lecture Notes in Computer Science, nr. 6275

Editat de Asit Dan et al.

6 oct 2010

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

Lecture Notes in Computer Science, nr. 6286

Editat de Frank S. de Boer et al.

4 ian 2011

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

Lecture Notes in Computer Science, nr. 6287

Editat de Jan Bosch et al.

30 aug 2010

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

Lecture Notes in Computer Science, nr. 6300

Editat de Andreas Blass et al.

5 aug 2010

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

Lecture Notes in Computer Science, nr. 6303

Editat de Leonardo Bottaci et al.

30 aug 2010

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

Lecture Notes in Computer Science, nr. 6305

Editat de Rainer Keller et al.

2 sep 2010

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

Lecture Notes in Computer Science, nr. 6308

Editat de David Cohen

30 aug 2010

Preț: 639^.38 lei 799^.23 lei

22-36 zile

-20%

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6337

Editat de Radhia Cousot et al.

9 sep 2010

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

Lecture Notes in Computer Science, nr. 6342

Editat de Alessandro Aldini et al.

13 sep 2010

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

Lecture Notes in Computer Science, nr. 6351

Editat de Erwin Schoitsch

3 sep 2010

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

Lecture Notes in Computer Science, nr. 6371

Editat de Stefan Kowalewski et al.

9 sep 2010

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

Lecture Notes in Computer Science, nr. 6383

Editat de Martin Wolpers et al.

27 sep 2010

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

Lecture Notes in Computer Science, nr. 6389

Editat de Gerhard Leitner et al.

21 oct 2010

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

Lecture Notes in Computer Science, nr. 6403

Editat de Mike Dean et al.

6 oct 2010

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

Lecture Notes in Computer Science, nr. 6407

Editat de Bing Xie et al.

8 oct 2010

Preț: 319^.75 lei 399^.68 lei

22-36 zile

-20%

Data Engineering and Management: Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6411

Editat de Rajkumar Kannan et al.

16 ian 2012

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

Lecture Notes in Computer Science, nr. 6418

Editat de Howard Barringer et al.

19 oct 2010

Preț: 331^.62 lei 414^.53 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

Lecture Notes in Computer Science, nr. 6435

Editat de Alexandre Petrenko et al.

8 oct 2010

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

Lecture Notes in Computer Science, nr. 6447

Editat de Jin Song Dong et al.

29 oct 2010

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

Lecture Notes in Computer Science, nr. 6452

Editat de Indranil Gupta et al.

16 noi 2010

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

Lecture Notes in Computer Science, nr. 6461

Editat de Kazunori Ueda

5 noi 2010

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

Lecture Notes in Computer Science, nr. 6470

Editat de Paul P. Maglio et al.

22 noi 2010

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

Lecture Notes in Computer Science, nr. 6481

Editat de Di Nitto Elisabetta et al.

9 dec 2010

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

Lecture Notes in Computer Science, nr. 6486

Editat de Michael Johnson et al.

14 ian 2011

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

Lecture Notes in Computer Science, nr. 6528

Editat de Bernhard Beckert et al.

14 ian 2011

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

Lecture Notes in Computer Science, nr. 6539

Editat de Ricardo Rocha et al.

11 ian 2011

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

Lecture Notes in Computer Science, nr. 6598

Editat de Frank Alexander Kraemer et al.

22 iun 2011

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

Lecture Notes in Computer Science, nr. 6652

Editat de Alexander Romanovsky et al.

14 iun 2011

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

Lecture Notes in Computer Science, nr. 6654

Editat de Maria Francesca Costabile et al.

31 mai 2011

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

Lecture Notes in Computer Science, nr. 6659

Editat de Marco Bernardo et al.

3 iun 2011

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

Lecture Notes in Computer Science, nr. 6662

Editat de Radu Calinescu et al.

23 mai 2011

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

Lecture Notes in Computer Science, nr. 6664

Editat de Michael Butler et al.

16 iun 2011

Preț: 329^.74 lei 412^.17 lei

22-36 zile

-20%

Modelling -- Foundation and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6698

Editat de Robert B. France et al.

26 mai 2011

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

Lecture Notes in Computer Science, nr. 6705

Editat de Judith Bishop et al.

22 iun 2011

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

Lecture Notes in Computer Science, nr. 6706

Editat de Martin Gogolla et al.

22 iun 2011

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

Lecture Notes in Computer Science, nr. 6721

Editat de Wolfgang De Meuter et al.

26 mai 2011

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

Lecture Notes in Computer Science, nr. 6722

Editat de Roberto Bruni et al.

26 mai 2011

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

Lecture Notes in Computer Science, nr. 6751

Editat de Khalid Al-Begain et al.

14 iun 2011

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

Lecture Notes in Computer Science, nr. 6876

Editat de Jimmy Lee

2 sep 2011

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

Lecture Notes in Computer Science, nr. 6903

Editat de Ivica Crnkovic et al.

9 sep 2011

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

Lecture Notes in Computer Science, nr. 6956

Editat de Myra B. Cohen et al.

30 aug 2011

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

Lecture Notes in Computer Science, nr. 6957

Editat de Bernhard K. Aichernig et al.

12 dec 2011

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

Lecture Notes in Computer Science, nr. 6977

Editat de Nigel Thomas

5 oct 2011

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

Lecture Notes in Computer Science, nr. 6991

Editat de Shengchao Qin et al.

12 oct 2011

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

Lecture Notes in Computer Science, nr. 6994

Editat de Witold Abramowicz et al.

12 oct 2011

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

Lecture Notes in Computer Science, nr. 7019

Editat de Burkhart Wolff et al.

21 oct 2011

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

Lecture Notes in Computer Science, nr. 7041

Editat de Gilles Barthe et al.

21 oct 2011

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

Lecture Notes in Computer Science, nr. 7054

Editat de Tomasz Szmuc et al.

16 ian 2012

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

Lecture Notes in Computer Science, nr. 7149

Editat de Claudio Russo et al.

29 dec 2011

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

Lecture Notes in Computer Science, nr. 7152

Editat de Rajeev Joshi et al.

10 ian 2012

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

Lecture Notes in Computer Science, nr. 7195

Editat de Björn Regnell et al.

14 mar 2012

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

Lecture Notes in Computer Science, nr. 7304

Editat de Carlo A. Furia et al.

11 mai 2012

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

Lecture Notes in Computer Science, nr. 7308

Editat de Mats Brorsson et al.

23 mai 2012

Preț: 317^.85 lei 397^.31 lei

22-36 zile

-20%

Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9946

Editat de Paolo Milazzo et al.

6 dec 2016

Preț: 324^.20 lei 405^.25 lei

22-36 zile | 6-12 zile

-20%

Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

Lecture Notes in Computer Science, nr. 10099

Editat de Andrea Bondavalli et al.

18 dec 2016

Preț: 320^.72 lei 400^.91 lei

22-36 zile | 6-12 zile

-20%

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10623

Editat de Simone Cavalheiro et al.

12 noi 2017

Preț: 390^.68 lei 488^.34 lei

22-36 zile | 6-12 zile

-20%

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11176

Editat de Manuel Mazzara et al.

6 dec 2018

Preț: 326^.81 lei 408^.51 lei

22-36 zile | 6-12 zile

-20%

Intelligent Tutoring Systems: 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11528

Editat de Andre Coy et al.

30 mai 2019

Preț: 418^.19 lei

22-36 zile | 6-12 zile

Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11681

Editat de Tomas Bures et al.

30 aug 2019

Preț: 355^.79 lei 444^.73 lei

22-36 zile | 6-12 zile

-20%

Service-Oriented and Cloud Computing: 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12054

Editat de Antonio Brogi et al.

4 apr 2020

Preț: 319^.61 lei 399^.51 lei

22-36 zile | 6-12 zile

-20%

Fundamentals of Software Engineering: 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12818

Editat de Hossein Hojjat et al.

17 oct 2021

Preț: 424^.24 lei 530^.30 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

Lecture Notes in Computer Science, nr. 12971

Editat de Zhe Hou et al.

14 oct 2021

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

Lecture Notes in Computer Science, nr. 13071

Editat de Shengchao Qin et al.

14 noi 2021

Preț: 460^.35 lei 575^.44 lei

22-36 zile | 6-12 zile

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering