Programming and Software Engineering

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Lecture Notes in Computer Science, nr. 3167

Editat de Ana Cavalcanti et al.

27 sep 2006

Preț: 329^.48 lei 411^.85 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 3549

Editat de Rogério de Lemos et al.

15 sep 2005

Preț: 326^.13 lei 407^.66 lei

6-8 săpt.

-20%

Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3563

Editat de Felix F. Ramos et al.

15 sep 2005

Preț: 336^.56 lei 420^.69 lei

6-8 săpt.

-20%

Software Composition: 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3628

Editat de Thomas Gschwind et al.

5 sep 2005

Preț: 319^.06 lei 398^.83 lei

6-8 săpt.

-20%

Software Engineering Research and Applications: Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3647

Editat de Walter Dosch et al.

10 feb 2006

Preț: 322^.28 lei 402^.84 lei

6-8 săpt.

-20%

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3666

Editat de Beniamino Di Martino et al.

5 sep 2005

Preț: 337^.51 lei 421^.89 lei

6-8 săpt.

-20%

Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3676

Editat de Robert Glück et al.

16 sep 2005

Preț: 331^.11 lei 413^.89 lei

6-8 săpt.

-20%

Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3712

Editat de Ralf H. Reussner et al.

12 sep 2005

Preț: 324^.54 lei 405^.68 lei

6-8 săpt.

-20%

Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3713

Editat de Lionel Briand et al.

19 sep 2005

Preț: 648^.44 lei 810^.55 lei

6-8 săpt.

-20%

Software Product Lines: 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3714

Editat de Henk Obbink et al.

15 sep 2005

Preț: 321^.96 lei 402^.45 lei

6-8 săpt.

-20%

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3728

Editat de Vassilis Paliouras et al.

6 sep 2005

Preț: 649^.89 lei 812^.36 lei

6-8 săpt.

-20%

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3731

Editat de Farn Wang

26 sep 2005

Preț: 640^.29 lei 800^.36 lei

6-8 săpt.

-20%

Model Driven Architecture - Foundations and Applications: First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3748

Editat de Alan Hartman et al.

4 noi 2005

Preț: 321^.83 lei 402^.29 lei

38-44 zile

-20%

Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Lecture Notes in Computer Science, nr. 3771

Editat de Judi M.T. Romijn et al.

24 noi 2005

Preț: 330^.44 lei 413^.05 lei

6-8 săpt.

-20%

Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends

Lecture Notes in Computer Science, nr. 3778

Editat de Colin Atkinson et al.

12 dec 2005

Preț: 321^.95 lei 402^.44 lei

17-23 zile | 7-13 zile

-20%

Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3780

Editat de Kwangkeun Yi

21 oct 2005

Preț: 330^.61 lei 413^.27 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3785

Editat de Kung-Kiu Lau et al.

27 oct 2005

Preț: 333^.51 lei 416^.89 lei

6-8 săpt.

-20%

Middleware 2005: ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3790

Editat de Gustavo Alonso

21 noi 2005

Preț: 332^.38 lei 415^.47 lei

6-8 săpt.

-20%

Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3792

Editat de Ita Richardson et al.

4 noi 2005

Preț: 320^.38 lei 400^.47 lei

6-8 săpt.

-20%

Component Deployment: Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3798

Editat de Alan Dearle et al.

16 noi 2005

Preț: 319^.57 lei 399^.46 lei

6-8 săpt.

-20%

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Lecture Notes in Computer Science, nr. 3800

Autor Markus Müller-Olm

2 oct 2006

Preț: 318^.61 lei 398^.27 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3819

Editat de Pascal van Hentenryck

19 dec 2005

Preț: 320^.69 lei 400^.86 lei

6-8 săpt.

-20%

Service-Oriented Computing – ICSOC 2005: Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3826

Editat de Boualem Benatallah et al.

30 noi 2005

Preț: 642^.68 lei 803^.36 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3829

Editat de Paul Pettersson et al.

13 dec 2005

Preț: 324^.05 lei 405^.07 lei

6-8 săpt.

-20%

Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers

Lecture Notes in Computer Science, nr. 3840

Editat de Mingshu Li et al.

16 ian 2006

Preț: 334^.79 lei 418^.49 lei

6-8 săpt.

-20%

Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3844

Editat de Jean-Michel Bruel

25 ian 2006

Preț: 320^.65 lei 400^.81 lei

38-44 zile

-20%

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3875

Editat de Shmuel Ur et al.

6 apr 2006

Preț: 322^.28 lei 402^.84 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 3914

Editat de Alessandro Garcia et al.

18 apr 2006

Preț: 322^.60 lei 403^.25 lei

6-8 săpt.

-20%

Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

Lecture Notes in Computer Science, nr. 3941

Editat de Stephen W. Gilroy et al.

15 mai 2006

Preț: 322^.46 lei 403^.06 lei

6-8 săpt.

-20%

Rapid Integration of Software Engineering Techniques: Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3943

Editat de Nicolas Guelfi et al.

16 mai 2006

Preț: 323^.55 lei 404^.44 lei

6-8 săpt.

-20%

Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3945

Editat de Masami Hagiya et al.

6 apr 2006

Preț: 323^.55 lei 404^.44 lei

6-8 săpt.

-20%

Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

Lecture Notes in Computer Science, nr. 3950

Editat de Jörg Müller et al.

15 mai 2006

Preț: 321^.83 lei 402^.28 lei

6-8 săpt.

-20%

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Lecture Notes in Computer Science, nr. 3965

Editat de Marco Bernardo et al.

15 mai 2006

Preț: 321^.02 lei 401^.27 lei

6-8 săpt.

-20%

Software Process Change: International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3966

Editat de Qing Wang et al.

9 mai 2006

Preț: 326^.76 lei 408^.45 lei

6-8 săpt.

-20%

Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3997

Editat de Wolfgang Grieskamp et al.

30 mai 2006

Preț: 320^.06 lei 400^.07 lei

6-8 săpt.

-20%

Reliable Software Technologies -- Ada-Europe 2006: 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4006

Editat de Luís Miguel Pinho et al.

26 mai 2006

Preț: 321^.15 lei 401^.45 lei

6-8 săpt.

-20%

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4019

Editat de Michael Johnson et al.

27 iun 2006

Preț: 328^.21 lei 410^.27 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4034

Editat de Jürgen Münch et al.

9 iun 2006

Preț: 332^.52 lei 415^.65 lei

6-8 săpt.

-20%

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4037

Editat de Roberto Gorrieri et al.

9 iun 2006

Preț: 322^.28 lei 402^.84 lei

6-8 săpt.

-20%

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4038

Editat de Paolo Ciancarini et al.

9 iun 2006

Preț: 323^.73 lei 404^.66 lei

6-8 săpt.

-20%

Reuse of Off-the-Shelf Components: 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4039

Editat de Maurizio Morisio

30 mai 2006

Preț: 330^.94 lei 413^.67 lei

6-8 săpt.

-20%

Extreme Programming and Agile Processes in Software Engineering: 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4044

Editat de Pekka Abrahamsson et al.

9 iun 2006

Preț: 320^.69 lei 400^.86 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings

Lecture Notes in Computer Science, nr. 4053

Editat de Mitsuru Ikeda et al.

9 iun 2006

Preț: 648^.42 lei 762^.85 lei

6-8 săpt.

-15%

Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4054

Editat de András Horváth et al.

12 iun 2006

Preț: 320^.83 lei 401^.04 lei

6-8 săpt.

-20%

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4063

Editat de Ian Gorton et al.

20 iun 2006

Preț: 328^.39 lei 410^.49 lei

6-8 săpt.

-20%

Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4066

Editat de Arend Rensink et al.

29 iun 2006

Preț: 328^.39 lei 410^.49 lei

6-8 săpt.

-20%

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4079

Editat de Sandro Etalle et al.

3 aug 2006

Preț: 332^.52 lei 415^.65 lei

6-8 săpt.

-20%

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4085

Editat de Jayadev Misra et al.

10 aug 2006

Preț: 643^.32 lei 804^.15 lei

6-8 săpt.

-20%

Software Composition: 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers

Lecture Notes in Computer Science, nr. 4089

Editat de Welf Löwe et al.

29 aug 2006

Preț: 326^.62 lei 408^.28 lei

6-8 săpt.

-20%

Advanced Topics in Exception Handling Techniques

Lecture Notes in Computer Science, nr. 4119

Editat de Christophe Dony et al.

30 aug 2006

Preț: 324^.86 lei 406^.08 lei

6-8 săpt.

-20%

Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4134

Editat de Kwangkeun Yi

17 aug 2006

Preț: 332^.20 lei 415^.25 lei

6-8 săpt.

-20%

Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

Lecture Notes in Computer Science, nr. 4143

Editat de Ralf Lämmel et al.

29 sep 2006

Preț: 333^.03 lei 416^.28 lei

6-8 săpt.

-20%

Rigorous Development of Complex Fault-Tolerant Systems

Lecture Notes in Computer Science, nr. 4157

Editat de Michael Butler et al.

27 noi 2006

Preț: 328^.85 lei 411^.06 lei

6-8 săpt.

-20%

Autonomic and Trusted Computing: Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006

Lecture Notes in Computer Science, nr. 4158

Editat de Laurence T. Yang et al.

25 aug 2006

Preț: 644^.77 lei 805^.97 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4166

Editat de Janusz Górski

22 sep 2006

Preț: 331^.75 lei 414^.69 lei

6-8 săpt.

-20%

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4184

Editat de Mario Bravetti et al.

4 sep 2006

Preț: 324^.05 lei 405^.07 lei

6-8 săpt.

-20%

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4192

Editat de Bernd Mohr et al.

13 sep 2006

Preț: 330^.31 lei 412^.88 lei

6-8 săpt.

-20%

Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4199

Editat de Oscar Nierstrasz et al.

22 sep 2006

Preț: 652^.11 lei 815^.15 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4204

Editat de Frédéric Benhamou

26 sep 2006

Preț: 651^.34 lei 814^.17 lei

6-8 săpt.

-20%

Quality of Software Architectures: Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers

Lecture Notes in Computer Science, nr. 4214

Editat de Christine Hofmeister et al.

7 dec 2006

Preț: 320^.20 lei 400^.25 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4218

Editat de Susanne Graf et al.

10 oct 2006

Preț: 337^.01 lei 421^.26 lei

6-8 săpt.

-20%

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4229

Editat de Elie Najm et al.

27 sep 2006

Preț: 637^.88 lei 797^.35 lei

6-8 săpt.

-20%

Software Process Improvement: 13th European Conference, EuroSpi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4257

Editat de Ita Richardson et al.

10 oct 2006

Preț: 320^.20 lei 400^.25 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4260

Editat de Zhiming Liu et al.

24 oct 2006

Preț: 651^.02 lei 813^.78 lei

6-8 săpt.

-20%

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4262

Editat de Klaus Havelund et al.

7 dec 2006

Preț: 321^.83 lei 402^.28 lei

6-8 săpt.

-20%

Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4279

Editat de Naoki Kobayashi

6 noi 2006

Preț: 329^.81 lei 412^.25 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 4294

Editat de Asit Dan et al.

27 noi 2006

Preț: 644^.27 lei 805^.34 lei

6-8 săpt.

-20%

Software Engineering Education in the Modern Age: Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures

Lecture Notes in Computer Science, nr. 4309

Editat de Paola Inverardi et al.

14 dec 2006

Preț: 320^.20 lei 400^.25 lei

6-8 săpt.

-20%

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Lecture Notes in Computer Science, nr. 4322

Editat de Fabrice Kordon et al.

28 feb 2007

Preț: 325^.82 lei 407^.27 lei

6-8 săpt.

-20%

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Lecture Notes in Computer Science, nr. 4323

Editat de Gavin Doherty et al.

18 ian 2007

Preț: 315^.18 lei 393^.97 lei

17-23 zile | 7-13 zile

-20%

Technologies for Interactive Digital Storytelling and Entertainment: Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4326

Editat de Stefan Göbel et al.

27 noi 2006

Preț: 327^.72 lei 409^.65 lei

6-8 săpt.

-20%

Empirical Software Engineering Issues. Critical Assessment and Future Directions: International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers

Lecture Notes in Computer Science, nr. 4336

Editat de Victor Basili et al.

30 mar 2007

Preț: 319^.57 lei 399^.46 lei

6-8 săpt.

-20%

Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows

Lecture Notes in Computer Science, nr. 4340

Autor Radu Prodan et al.

3 ian 2007

Preț: 325^.00 lei 406^.25 lei

6-8 săpt.

-20%

Software Architecture: Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4344

Editat de Volker Gruhn et al.

21 dec 2006

Preț: 321^.33 lei 401^.67 lei

6-8 săpt.

-20%

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected

Lecture Notes in Computer Science, nr. 4346

Editat de Lubos Brim et al.

20 feb 2007

Preț: 326^.76 lei 408^.45 lei

6-8 săpt.

-20%

Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1

Lecture Notes in Computer Science, nr. 4348

Editat de S. Tucker Taft et al.

22 dec 2006

Preț: 651^.02 lei 813^.78 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4354

Editat de Michael Hanus

22 dec 2006

Preț: 325^.65 lei 407^.05 lei

6-8 săpt.

-20%

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4355

Editat de Jacques Julliand et al.

14 dec 2006

Preț: 323^.73 lei 404^.66 lei

6-8 săpt.

-20%

Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

Lecture Notes in Computer Science, nr. 4364

Editat de Thomas Kühne

12 ian 2007

Preț: 325^.49 lei 406^.86 lei

6-8 săpt.

-20%

Object-Oriented Technology.ECOOP 2006 Workshop Reader: ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

Lecture Notes in Computer Science, nr. 4379

Editat de Mario Südholt et al.

25 apr 2007

Preț: 316^.98 lei 396^.23 lei

6-8 săpt.

-20%

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4383

Editat de Eyal Bin et al.

9 feb 2007

Preț: 322^.14 lei 402^.68 lei

6-8 săpt.

-20%

Rapid Integration of Software Engineering Techniques: Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

Lecture Notes in Computer Science, nr. 4401

Editat de Nicolas Guelfi et al.

13 apr 2007

Preț: 318^.75 lei 398^.43 lei

6-8 săpt.

-20%

Agent-Oriented Software Engineering VII: 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Lecture Notes in Computer Science, nr. 4405

Editat de Lin Padgham et al.

9 feb 2007

Preț: 321^.02 lei 401^.27 lei

6-8 săpt.

-20%

Advances in Smalltalk: 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4406

Editat de Wolfgang De Meuter

5 apr 2007

Preț: 317^.79 lei 397^.24 lei

6-8 săpt.

-20%

Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

Lecture Notes in Computer Science, nr. 4440

Autor Ben Liblit

25 apr 2007

Preț: 315^.08 lei 393^.86 lei

6-8 săpt.

-20%

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 4444

Editat de Thomas Reps et al.

30 mar 2007

Preț: 327^.89 lei 409^.87 lei

6-8 săpt.

-20%

Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4467

Editat de Amy L. Murphy et al.

31 mai 2007

Preț: 326^.31 lei 407^.88 lei

6-8 săpt.

-20%

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4468

Editat de Marcello M. Bonsangue et al.

25 mai 2007

Preț: 326^.31 lei 407^.88 lei

6-8 săpt.

-20%

Software Process Dynamics and Agility: International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4470

Editat de Qing Wang et al.

2 mai 2007

Preț: 327^.41 lei 409^.26 lei

6-8 săpt.

-20%

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

Lecture Notes in Computer Science, nr. 4486

Editat de Marco Bernardo et al.

18 mai 2007

Preț: 333^.33 lei 416^.67 lei

6-8 săpt.

-20%

Embedded Software and Systems: Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4523

Editat de Yann-Hang Lee et al.

8 mai 2007

Preț: 654^.20 lei 817^.75 lei

6-8 săpt.

-20%

Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4530

Editat de David Akehurst et al.

31 mai 2007

Preț: 320^.83 lei 401^.04 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4542

Editat de Pete Sawyer et al.

31 mai 2007

Preț: 329^.34 lei 411^.68 lei

6-8 săpt.

-20%

Universal Acess in Human Computer Interaction. Coping with Diversity: Coping with Diversity, 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 I

Lecture Notes in Computer Science, nr. 4554

Editat de Constantine Stephanidis

29 iun 2007

Preț: 996^.17 lei 1245^.21 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4589

Editat de Jürgen Münch et al.

21 iun 2007

Preț: 331^.42 lei 414^.28 lei

6-8 săpt.

-20%

Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4608

Editat de Heinz G. Schmidt et al.

29 iun 2007

Preț: 323^.23 lei 404^.04 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering