Programming and Software Engineering

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Lecture Notes in Computer Science, nr. 3657

Editat de Frank S. de Boer et al.

19 sep 2005

Preț: 331^.93 lei 414^.91 lei

6-8 săpt.

-20%

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Lecture Notes in Computer Science, nr. 4171

Editat de Bertrand Meyer et al.

7 iul 2008

Preț: 655^.95 lei 819^.93 lei

6-8 săpt.

-20%

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

Lecture Notes in Computer Science, nr. 4350

Autor Manuel Clavel et al.

20 iul 2007

Preț: 610^.59 lei 763^.23 lei

6-8 săpt.

-20%

Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications

Lecture Notes in Computer Science, nr. 4408

Editat de Ricardo Choren et al.

27 iul 2007

Preț: 327^.82 lei 409^.77 lei

6-8 săpt.

-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ț: 326^.83 lei 408^.54 lei

6-8 săpt.

-20%

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4498

Editat de Nabil Abdennahder et al.

15 iun 2007

Preț: 329^.63 lei 412^.03 lei

6-8 săpt.

-20%

Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4536

Editat de Giulio Concas et al.

11 iun 2007

Preț: 331^.10 lei 413^.87 lei

6-8 săpt.

-20%

Human-Computer Interaction. Interaction Design and Usability: 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Lecture Notes in Computer Science, nr. 4550

Editat de Julie A. Jacko

2 iul 2007

Preț: 943^.85 lei 1179^.80 lei

38-44 zile

-20%

Human-Computer Interaction. Interaction Platforms and Techniques: 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

Lecture Notes in Computer Science, nr. 4551

Editat de Julie A. Jacko

29 iun 2007

Preț: 661^.99 lei 827^.49 lei

38-44 zile

-20%

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments: 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

Lecture Notes in Computer Science, nr. 4552

Editat de Julie A. Jacko

29 iun 2007

Preț: 1008^.36 lei 1260^.45 lei

6-8 săpt.

-20%

Human-Computer Interaction. HCI Applications and Services: 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

Lecture Notes in Computer Science, nr. 4553

Editat de Julie A. Jacko

2 iul 2007

Preț: 942^.66 lei 1178^.32 lei

38-44 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ț: 1016^.24 lei 1270^.30 lei

6-8 săpt.

-20%

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4574

Editat de John Derrick et al.

12 iun 2007

Preț: 334^.72 lei 418^.39 lei

6-8 săpt.

-20%

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4591

Editat de Jim Davies et al.

22 iun 2007

Preț: 659^.22 lei 824^.03 lei

6-8 săpt.

-20%

ECOOP - Object-Oriented Programming: 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4609

Editat de Erik Ernst

27 iul 2007

Preț: 648^.76 lei 810^.96 lei

6-8 săpt.

-20%

Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4610

Editat de Bin Xiao et al.

2 iul 2007

Preț: 347^.16 lei 433^.95 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 4615

Editat de Rogério de Lemos et al.

15 aug 2007

Preț: 339^.11 lei 423^.89 lei

6-8 săpt.

-20%

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4634

Editat de Hanne Riis Nielson et al.

9 aug 2007

Preț: 340^.77 lei 425^.96 lei

6-8 săpt.

-20%

Service-Oriented Computing ICSOC 2006: 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings

Lecture Notes in Computer Science, nr. 4652

Editat de Dimitrios Georgakopoulos et al.

27 sep 2007

Preț: 327^.16 lei 408^.95 lei

6-8 săpt.

-20%

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4670

Editat de Verónica Dahl et al.

28 aug 2007

Preț: 340^.77 lei 425^.96 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4680

Editat de Francesca Saglietti et al.

12 sep 2007

Preț: 346^.02 lei 432^.52 lei

6-8 săpt.

-20%

Software Engineering Approaches for Offshore and Outsourced Development: First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers

Lecture Notes in Computer Science, nr. 4716

Editat de Bertrand Meyer et al.

oct 2007

Preț: 326^.37 lei 407^.97 lei

6-8 săpt.

-20%

Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4735

Editat de Gregor Engels et al.

13 sep 2007

Preț: 661^.68 lei 827^.10 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming - CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4741

Editat de Christian Bessiere

6 sep 2007

Preț: 670^.68 lei 838^.34 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

Lecture Notes in Computer Science, nr. 4748

Editat de Katinka Wolter

17 sep 2007

Preț: 330^.96 lei 413^.70 lei

6-8 săpt.

-20%

Service-Oriented Computing - ICSOC 2007: Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4749

Editat de Bernd Krämer et al.

12 sep 2007

Preț: 658^.25 lei 822^.81 lei

6-8 săpt.

-20%

Creating New Learning Experiences on a Global Scale: Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4753

Editat de Erik Duval et al.

31 aug 2007

Preț: 398^.84 lei

6-8 săpt.

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4757

Editat de Franck Capello et al.

18 sep 2007

Preț: 335^.87 lei 419^.84 lei

6-8 săpt.

-20%

Software Architecture: First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4758

Editat de Flavio Oquendo

11 sep 2007

Preț: 333^.23 lei 416^.54 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Lecture Notes in Computer Science, nr. 4762

Editat de Kedar Namjoshi et al.

9 oct 2007

Preț: 346^.84 lei 433^.55 lei

6-8 săpt.

-20%

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4764

Editat de Pekka Abrahamsson et al.

21 sep 2007

Preț: 326^.37 lei 407^.97 lei

6-8 săpt.

-20%

Early Aspects: Current Challenges and Future Directions: 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4765

Editat de A. Moreira

14 dec 2007

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

6-8 săpt.

-20%

International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4767

Editat de Farhad Arbab et al.

12 oct 2007

Preț: 340^.26 lei 425^.33 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4789

Editat de Michael Butler et al.

7 noi 2007

Preț: 336^.34 lei 420^.42 lei

6-8 săpt.

-20%

HCI and Usability for Medicine and Health Care: Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4799

Editat de Andreas Holzinger

12 noi 2007

Preț: 340^.44 lei 425^.55 lei

6-8 săpt.

-20%

Reflections on the Teaching of Programming: Methods and Implementations

Lecture Notes in Computer Science, nr. 4821

Editat de Jens Bennedsen et al.

20 mai 2008

Preț: 384^.91 lei

6-8 săpt.

Advances in Rule Interchange and Applications: International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4824

Editat de Adrian Paschke et al.

15 oct 2007

Preț: 328^.97 lei 411^.21 lei

6-8 săpt.

-20%

Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4829

Editat de Markus Lumpe et al.

13 dec 2007

Preț: 330^.96 lei 413^.70 lei

6-8 săpt.

-20%

Middleware 2007: ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4834

Editat de Renato Cerqueira et al.

12 noi 2007

Preț: 339^.76 lei 424^.70 lei

6-8 săpt.

-20%

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4839

Editat de Oleg Sokolsky et al.

12 dec 2007

Preț: 327^.34 lei 409^.17 lei

6-8 săpt.

-20%

Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4849

Editat de Marco Winckler et al.

30 noi 2007

Preț: 339^.76 lei 424^.70 lei

6-8 săpt.

-20%

Software Architectures, Components, and Applications: Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4880

Editat de Sven Overhage et al.

23 ian 2008

Preț: 328^.83 lei 411^.03 lei

6-8 săpt.

-20%

Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Lecture Notes in Computer Science, nr. 4888

Editat de Fabrice Kordon et al.

11 ian 2008

Preț: 328^.00 lei 409^.99 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

Lecture Notes in Computer Science, nr. 4899

Editat de Karen Yorav

feb 2008

Preț: 330^.46 lei 413^.07 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Lecture Notes in Computer Science, nr. 4902

Editat de Paul Hudak et al.

18 dec 2007

Preț: 333^.73 lei 417^.17 lei

6-8 săpt.

-20%

Object-Oriented Technology. ECOOP 2007 Workshop Reader: ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

Lecture Notes in Computer Science, nr. 4906

Editat de Michael Cebulla

26 feb 2008

Preț: 326^.37 lei 407^.97 lei

6-8 săpt.

-20%

Dependability Metrics: GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures

Lecture Notes in Computer Science, nr. 4909

Editat de Irene Eusgeld et al.

30 mai 2008

Preț: 303^.83 lei 379^.79 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4916

Editat de Stefan Leue et al.

19 mai 2008

Preț: 329^.63 lei 412^.03 lei

6-8 săpt.

-20%

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4922

Editat de Manfred Broy et al.

14 iul 2008

Preț: 326^.37 lei 407^.97 lei

6-8 săpt.

-20%

Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

Lecture Notes in Computer Science, nr. 4940

Editat de Jan Gulliksen et al.

18 dec 2008

Preț: 656^.78 lei 820^.97 lei

6-8 săpt.

-20%

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

Lecture Notes in Computer Science, nr. 4949

Editat de Robert M. Hierons et al.

8 apr 2008

Preț: 335^.35 lei 419^.19 lei

6-8 săpt.

-20%

Agent-Oriented Software Engineering VIII: 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4951

Editat de Michael Luck et al.

29 apr 2008

Preț: 328^.83 lei 411^.03 lei

6-8 săpt.

-20%

Software Composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

Lecture Notes in Computer Science, nr. 4954

Editat de Cesare Pautasso et al.

17 mar 2008

Preț: 329^.63 lei 412^.03 lei

6-8 săpt.

-20%

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support: Results of the IMPROVE Project

Lecture Notes in Computer Science, nr. 4970

Editat de Manfred Nagl et al.

18 iul 2008

Preț: 669^.69 lei 837^.11 lei

6-8 săpt.

-20%

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Lecture Notes in Computer Science, nr. 4989

Editat de Jacques Garrigue et al.

28 mar 2008

Preț: 333^.73 lei 417^.17 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

Lecture Notes in Computer Science, nr. 5002

Autor Holger Giese

iul 2008

Preț: 332^.91 lei 416^.14 lei

6-8 săpt.

-20%

OpenMP in a New Era of Parallelism: 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5004

Editat de Rudi Eigenmann et al.

25 apr 2008

Preț: 326^.37 lei 407^.97 lei

6-8 săpt.

-20%

Making Globally Distributed Software Development a Success Story: International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5007

Editat de Qing Wang et al.

29 apr 2008

Preț: 338^.65 lei 423^.31 lei

6-8 săpt.

-20%

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5014

Editat de Jorge Cuellar et al.

8 mai 2008

Preț: 338^.65 lei 423^.31 lei

6-8 săpt.

-20%

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Lecture Notes in Computer Science, nr. 5016

Editat de Marco Bernardo et al.

20 mai 2008

Preț: 343^.56 lei 429^.45 lei

6-8 săpt.

-20%

Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Lecture Notes in Computer Science, nr. 5026

Editat de Fabrice Kordon et al.

3 iun 2008

Preț: 331^.29 lei 414^.11 lei

6-8 săpt.

-20%

High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008

Lecture Notes in Computer Science, nr. 5030

Editat de Hong Mei

8 mai 2008

Preț: 336^.99 lei 421^.23 lei

6-8 săpt.

-20%

Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

Lecture Notes in Computer Science, nr. 5048

Editat de Kenji Suzuki et al.

27 mai 2008

Preț: 333^.73 lei 417^.17 lei

6-8 săpt.

-20%

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Lecture Notes in Computer Science, nr. 5051

Editat de Gilles Barthe

29 mai 2008

Preț: 329^.63 lei 412^.03 lei

6-8 săpt.

-20%

Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5052

Editat de Doug Lea et al.

27 mai 2008

Preț: 333^.73 lei 417^.17 lei

6-8 săpt.

-20%

Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

Lecture Notes in Computer Science, nr. 5055

Editat de Khalid Al-Begain et al.

26 mai 2008

Preț: 332^.91 lei 416^.14 lei

6-8 săpt.

-20%

Autonomic and Trusted Computing: 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5060

Editat de Chunming Rong et al.

11 iun 2008

Preț: 659^.55 lei 824^.44 lei

6-8 săpt.

-20%

Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5063

Editat de Antonio Vallecillo et al.

17 iun 2008

Preț: 329^.15 lei 411^.44 lei

6-8 săpt.

-20%

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5079

Editat de María Alpuente et al.

iul 2008

Preț: 335^.35 lei 419^.19 lei

6-8 săpt.

-20%

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Lecture Notes in Computer Science, nr. 5088

Editat de Andy Schürr et al.

15 oct 2008

Preț: 657^.59 lei 821^.99 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5089

Editat de Andreas Jedlitschka et al.

16 iun 2008

Preț: 339^.30 lei 424^.13 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 9th International Conference on Intelligent Tutoring Systems, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5091

Editat de Beverly Woolf et al.

8 iul 2008

Preț: 662^.95 lei 779^.94 lei

6-8 săpt.

-15%

Lecture Notes in Computer Science, nr. 5135

Editat de Rogério de Lemos et al.

28 aug 2008

Preț: 334^.54 lei 418^.17 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

Lecture Notes in Computer Science, nr. 5136

Editat de T. C. Nicholas Graham et al.

iul 2008

Preț: 332^.07 lei 415^.10 lei

6-8 săpt.

-20%

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5140

Editat de José Meseguer et al.

15 iul 2008

Preț: 338^.65 lei 423^.31 lei

6-8 săpt.

-20%

ECOOP 2008 - Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5142

Editat de Jan Vitek

iul 2008

Preț: 661^.68 lei 827^.10 lei

6-8 săpt.

-20%

Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5146

Editat de Robert Hirschfeld et al.

22 oct 2008

Preț: 327^.16 lei 408^.95 lei

6-8 săpt.

-20%

The Common Component Modeling Example: Comparing Software Component Models

Lecture Notes in Computer Science, nr. 5153

Editat de Andreas Rausch et al.

26 aug 2008

Preț: 340^.26 lei 425^.33 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

Lecture Notes in Computer Science, nr. 5219

Editat de Michael Douglas Harrison et al.

11 sep 2008

Preț: 339^.43 lei 424^.29 lei

6-8 săpt.

-20%

Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

Lecture Notes in Computer Science, nr. 5235

Editat de Ralf Lämmel et al.

8 oct 2008

Preț: 342^.73 lei 428^.41 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5256

Editat de Shaoying Liu et al.

8 oct 2008

Preț: 336^.99 lei 421^.23 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

Lecture Notes in Computer Science, nr. 5261

Editat de Nigel Thomas et al.

10 sep 2008

Preț: 331^.29 lei 414^.11 lei

6-8 săpt.

-20%

Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5282

Editat de Michel R. V. Chaudron et al.

6 oct 2008

Preț: 334^.54 lei 418^.17 lei

6-8 săpt.

-20%

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

Lecture Notes in Computer Science, nr. 5289

Editat de Martin Leucker

23 oct 2008

Preț: 333^.73 lei 417^.17 lei

6-8 săpt.

-20%

Fun and Games: Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5294

Editat de Panos Markopoulos et al.

8 oct 2008

Preț: 326^.37 lei 407^.97 lei

6-8 săpt.

-20%

HCI and Usability for Education and Work: 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5298

Editat de Andreas Holzinger

13 noi 2008

Preț: 341^.90 lei 427^.37 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5311

Editat de Sungdeok Cha et al.

6 oct 2008

Preț: 338^.65 lei 423^.31 lei

6-8 săpt.

-20%

Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

Lecture Notes in Computer Science, nr. 5321

Editat de Nick Bassiliades et al.

8 oct 2008

Preț: 328^.83 lei 411^.03 lei

6-8 săpt.

-20%

Software Process and Product Measurement: International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings

Lecture Notes in Computer Science, nr. 5338

Editat de Reiner R. Dumke et al.

12 noi 2008

Preț: 335^.35 lei 419^.19 lei

6-8 săpt.

-20%

Middleware 2008: ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

Lecture Notes in Computer Science, nr. 5346

Editat de Valérie Issarny et al.

24 noi 2008

Preț: 338^.65 lei 423^.31 lei

6-8 săpt.

-20%

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5356

Editat de G. Ramalingam

14 noi 2008

Preț: 333^.73 lei 417^.17 lei

6-8 săpt.

-20%

Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5364

Editat de Athman Bouguettaya et al.

13 noi 2008

Preț: 663^.31 lei 829^.13 lei

6-8 săpt.

-20%

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

Lecture Notes in Computer Science, nr. 5366

Editat de Maria Garcia Banda et al.

2 dec 2008

Preț: 667^.42 lei 834^.28 lei

6-8 săpt.

-20%

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Lecture Notes in Computer Science, nr. 5380

Editat de Martin Wirsing et al.

6 noi 2008

Preț: 329^.63 lei 412^.03 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Lecture Notes in Computer Science, nr. 5382

Editat de Marcello M. Bonsangue et al.

dec 2008

Preț: 332^.07 lei 415^.10 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5418

Editat de Andy Gill et al.

18 dec 2008

Preț: 329^.63 lei 412^.03 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering