Filtre: Engleză Paperback

Programming and Software Engineering

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005

Lecture Notes in Computer Science, nr. 3709

Editat de Peter Van Beek

22 sep 2005

Preț: 640^.83 lei 801^.03 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ț: 641^.77 lei 802^.21 lei

6-8 săpt.

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Programming and Software Engineering

Editat de Simon Collart-Dutilleul et al.

24 apr 2019

Preț: 376^.87 lei 471^.08 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ț: 633^.70 lei 792^.12 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ț: 641^.75 lei 755^.00 lei

6-8 săpt.

-15%

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ț: 636^.70 lei 795^.87 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ț: 644^.63 lei 805^.79 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ț: 631^.31 lei 789^.14 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ț: 644^.31 lei 805^.39 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ț: 628^.32 lei 785^.39 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ț: 649^.52 lei 811^.90 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ț: 637^.51 lei 796^.88 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ț: 386^.52 lei

6-8 săpt.

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ț: 636^.86 lei 796^.08 lei

6-8 săpt.

-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

3-5 săpt.

-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

3-5 săpt.

-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

3-5 săpt.

-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

3-5 săpt.

-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

3-5 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ț: 646^.38 lei 807^.97 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

Lecture Notes in Computer Science, nr. 5569

Editat de Marco Bernardo et al.

12 mai 2009

Preț: 405^.98 lei 507^.48 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

Lecture Notes in Computer Science, nr. 5732

Editat de Ian P. Gent

7 sep 2009

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

Lecture Notes in Computer Science, nr. 5765

Editat de Gregor Engels et al.

22 noi 2010

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

Lecture Notes in Computer Science, nr. 5794

Editat de Ulrike Cress et al.

15 sep 2009

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

Lecture Notes in Computer Science, nr. 5850

Editat de Ana Cavalcanti et al.

26 oct 2009

Preț: 646^.38 lei 807^.97 lei

6-8 săpt.

-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

3-5 săpt.

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

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

Lecture Notes in Computer Science, nr. 6275

Editat de Asit Dan et al.

6 oct 2010

Preț: 637^.34 lei 796^.67 lei

3-5 săpt.

-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

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

Lecture Notes in Computer Science, nr. 6308

Editat de David Cohen

30 aug 2010

Preț: 639^.38 lei 799^.23 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

Lecture Notes in Computer Science, nr. 6383

Editat de Martin Wolpers et al.

27 sep 2010

Preț: 637^.96 lei 797^.45 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

Lecture Notes in Computer Science, nr. 6447

Editat de Jin Song Dong et al.

29 oct 2010

Preț: 641^.45 lei 801^.81 lei

3-5 săpt.

-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

3-5 săpt.

-20%

Towards a Service-Based Internet. ServiceWave 2010 Workshops: International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6569

Editat de Michel Cezon et al.

12 oct 2011

Preț: 400^.70 lei 500^.88 lei

6-8 săpt.

-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

3-5 săpt.

-20%

Model and Data Engineering: First International Conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6918

Editat de Ladjel Bellatreche et al.

15 sep 2011

Preț: 403^.07 lei 503^.84 lei

6-8 săpt.

-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

3-5 săpt.

-20%

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Lecture Notes in Computer Science, nr. 7007

Editat de Bertrand Meyer et al.

9 ian 2012

Preț: 399^.09 lei 498^.86 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Lecture Notes in Computer Science, nr. 7021

Editat de Adenilso Simao et al.

28 oct 2011

Preț: 399^.09 lei 498^.86 lei

6-8 săpt.

-20%

Middleware 2011: ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7049

Editat de Fabio Kon et al.

2 dec 2011

Preț: 632^.89 lei 791^.11 lei

6-8 săpt.

-20%

Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7151

Editat de Zhiming Liu et al.

6 iul 2012

Preț: 409^.92 lei 512^.40 lei

6-8 săpt.

-20%

Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7176

Editat de Marco Carbone et al.

23 apr 2012

Preț: 395^.90 lei 494^.88 lei

6-8 săpt.

-20%

ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7313

Editat de James Noble

23 mai 2012

Preț: 343^.23 lei 429^.04 lei

6-8 săpt.

-20%

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9995

Editat de John Fitzgerald et al.

8 noi 2016

Preț: 344^.30 lei 430^.38 lei

6-8 săpt.

-20%

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10951

Editat de Klaus Havelund et al.

12 iul 2018

Preț: 585^.31 lei 731^.65 lei

6-8 săpt.

-20%

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11800

Editat de Maurice H. ter Beek et al.

15 sep 2019

Preț: 343^.53 lei 429^.41 lei

6-8 săpt.

-20%

From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12611

Editat de Juliana Bowles et al.

5 mar 2021

Preț: 371^.74 lei 464^.68 lei

6-8 săpt.

-20%

Programming and Software Engineering

Papetărie, jocuri, reviste