Filtre: 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%

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%

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%

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%

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%

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ț: 332^.10 lei 415^.13 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%

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5649

Editat de Patricia M. Hill et al.

24 iun 2009

Preț: 335^.29 lei 419^.11 lei

6-8 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%

Software Architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6285

Editat de Muhammad Ali Babar et al.

11 aug 2010

Preț: 333^.68 lei 417^.09 lei

6-8 săpt.

-20%

Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers

Lecture Notes in Computer Science, nr. 6491

Editat de João M. Fernandes et al.

3 ian 2011

Preț: 330^.54 lei 413^.16 lei

6-8 săpt. | 6-12 zile

-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%

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6617

Editat de Mihaela Bobaru et al.

6 apr 2011

Preț: 333^.68 lei 417^.09 lei

6-8 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%

Towards Ubiquitous Learning: 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6964

Editat de Carlos Delgado Kloos et al.

9 sep 2011

Preț: 333^.68 lei 417^.09 lei

6-8 săpt.

-20%

Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6981

Editat de Jon Whittle et al.

23 sep 2011

Preț: 341^.47 lei 426^.84 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6996

Editat de Tevfik Bultan et al.

21 sep 2011

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

6-8 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%

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7211

Editat de Helmut Seidl

14 mar 2012

Preț: 336^.55 lei 420^.69 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%

Lecture Notes in Computer Science, nr. 8474

Editat de Stefan Trausan-Matu et al.

21 mai 2014

Preț: 640^.93 lei 754^.03 lei

6-8 săpt.

-15%

Lecture Notes in Computer Science, nr. 8636

Editat de Claire Le Goues et al.

8 aug 2014

Preț: 349^.59 lei 437^.00 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8950

Editat de Rocco De Nicola et al.

4 feb 2015

Preț: 343^.05 lei 428^.80 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9278

Editat de Danny Weyns et al.

26 aug 2015

Preț: 352^.65 lei 440^.81 lei

38-45 zile

-20%

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 9364

Editat de Bernd Finkbeiner et al.

22 noi 2015

Preț: 334^.25 lei 417^.82 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9458

Editat de Xinyu Feng et al.

10 dec 2015

Preț: 333^.82 lei 417^.28 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9684

Editat de Alessandro Micarelli et al.

3 iun 2016

Preț: 392^.71 lei

6-8 săpt.

Lecture Notes in Computer Science, nr. 9938

Editat de Cyrille Artho et al.

22 sep 2016

Preț: 348^.02 lei 435^.02 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%

Lecture Notes in Computer Science, nr. 10012

Editat de Yliès Falcone et al.

20 sep 2016

Preț: 334^.25 lei 417^.82 lei

6-8 săpt.

-20%

Theory and Models for Cyber Situation Awareness

Lecture Notes in Computer Science, nr. 10030

Editat de Peng Liu et al.

7 iul 2017

Preț: 346^.34 lei 432^.92 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming

Lecture Notes in Computer Science, nr. 10416

Editat de J. Christopher Beck

23 aug 2017

Preț: 345^.71 lei 432^.13 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10457

Editat de Ezio Bartocci et al.

11 feb 2018

Preț: 401^.58 lei 501^.98 lei

6-8 săpt.

-20%

On the Move to Meaningful Internet Systems. OTM 2017 Conferences

Lecture Notes in Computer Science, nr. 10573

Editat de Hervé Panetto et al.

20 oct 2017

Preț: 347^.57 lei 434^.47 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10610

Editat de Zhenhua Duan et al.

14 oct 2017

Preț: 333^.24 lei 416^.55 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science, nr. 10623

Editat de Simone Cavalheiro et al.

12 noi 2017

Preț: 391^.22 lei 489^.02 lei

3-5 săpt. | 6-12 zile

-20%

Performance Evaluation and Benchmarking for the Analytics Era

Lecture Notes in Computer Science, nr. 10661

Editat de Raghunath Nambiar et al.

10 ian 2018

Preț: 344^.52 lei 430^.66 lei

6-8 săpt.

-20%

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

Lecture Notes in Computer Science, nr. 10679

Editat de Manjunath Gorentla Venkata et al.

10 ian 2018

Preț: 344^.10 lei 430^.13 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10695

Editat de Bor-Yuh Evan Chang

19 noi 2017

Preț: 336^.29 lei 420^.36 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10729

Editat de Antonio Cerone et al.

3 feb 2018

Preț: 520^.48 lei 650^.59 lei

38-45 zile

-20%

Accelerator Programming Using Directives

Lecture Notes in Computer Science, nr. 10732

Editat de Sunita Chandrasekaran et al.

31 ian 2018

Preț: 344^.31 lei 430^.39 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10760

Editat de Marten Lohstroh et al.

20 iul 2018

Preț: 335^.91 lei 419^.88 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%

Lecture Notes in Computer Science, nr. 11008

Editat de John Hooker

23 aug 2018

Preț: 649^.08 lei 811^.35 lei

6-8 săpt.

-20%

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Lecture Notes in Computer Science, nr. 11026

Editat de Amel Bennaceur et al.

21 iul 2018

Preț: 375^.38 lei 469^.22 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11036

Editat de Thelma Elita Colanzi et al.

22 aug 2018

Preț: 437^.63 lei 547^.04 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science, nr. 11094

Editat de Barbara Gallina et al.

21 aug 2018

Preț: 528^.50 lei 660^.63 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11138

Editat de Shuvendu K. Lahiri et al.

30 sep 2018

Preț: 371^.00 lei 463^.75 lei

38-45 zile

-20%

On the Move to Meaningful Internet Systems. OTM 2018 Conferences

Lecture Notes in Computer Science, nr. 11230

Editat de Hervé Panetto et al.

18 oct 2018

Preț: 339^.37 lei 424^.21 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11254

Editat de Tiago Massoni et al.

24 oct 2018

Preț: 376^.22 lei 470^.28 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality

Lecture Notes in Computer Science, nr. 11412

Editat de Eric Knauss et al.

8 mar 2019

Preț: 432^.89 lei 541^.11 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11497

Editat de Michael Kirkedal Thomsen et al.

23 mai 2019

Preț: 374^.79 lei 468^.49 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science, nr. 11535

Editat de Jorge A. Pérez et al.

29 mai 2019

Preț: 405^.29 lei 506^.62 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11553

Editat de Alessio Malizia et al.

3 iul 2019

Preț: 375^.59 lei 469^.49 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11681

Editat de Tomas Bures et al.

30 aug 2019

Preț: 356^.33 lei 445^.42 lei

3-5 săpt. | 6-12 zile

-20%

Lecture Notes in Computer Science, nr. 11698

Editat de Alexander Romanovsky et al.

8 aug 2019

Preț: 379^.09 lei 473^.86 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11699

Editat de Alexander Romanovsky et al.

9 aug 2019

Preț: 438^.65 lei 548^.31 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11781

Editat de Yu-Fang Chen et al.

6 oct 2019

Preț: 335^.69 lei 419^.61 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%

Lecture Notes in Computer Science, nr. 11802

Editat de Thomas Schiex et al.

30 aug 2019

Preț: 348^.58 lei 435^.73 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11822

Editat de Bor-Yuh Evan Chang

6 oct 2019

Preț: 332^.18 lei 415^.23 lei

6-8 săpt.

-20%

On the Move to Meaningful Internet Systems: OTM 2019 Conferences

Lecture Notes in Computer Science, nr. 11877

Editat de Hervé Panetto et al.

11 oct 2019

Preț: 593^.79 lei 742^.25 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11895

Editat de Sami Yangui et al.

26 oct 2019

Preț: 337^.72 lei 422^.14 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement

Lecture Notes in Computer Science, nr. 11915

Editat de Xavier Franch et al.

14 noi 2019

Preț: 347^.57 lei 434^.47 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%

Lecture Notes in Computer Science, nr. 13124

Editat de Roderick Bloem et al.

22 feb 2022

Preț: 358^.90 lei 448^.62 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%

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11918

Editat de Wolfgang Ahrendt et al.

15 noi 2019

Preț: 332^.92 lei 416^.15 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12149

Editat de Vivekanandan Kumar et al.

3 iun 2020

Preț: 386^.25 lei

6-8 săpt.

Lecture Notes in Computer Science, nr. 12677

Editat de Alexandra I. Cristea et al.

9 iul 2021

Preț: 391^.26 lei

6-8 săpt.

Editat de Xavier Rival

31 aug 2016

Preț: 333^.62 lei 417^.03 lei

6-8 săpt.

-20%

Editat de Luciano Baresi et al.

17 noi 2009

Preț: 643^.13 lei 803^.92 lei

6-8 săpt.

-20%

Editat de Chunming Rong et al.

11 iun 2008

Preț: 643^.76 lei 804^.69 lei

6-8 săpt.

-20%

Editat de Matthias Felleisen et al.

20 feb 2013

Preț: 339^.58 lei 424^.48 lei

6-8 săpt.

-20%

Editat de Mira Mezini

18 iul 2011

Preț: 341^.40 lei 426^.75 lei

6-8 săpt.

-20%

ECOOP 2009 -- Object-Oriented Programming

Editat de Sophia Drossopoulou

30 iun 2009

Preț: 641^.91 lei 802^.39 lei

6-8 săpt.

-20%

Rigorous Software Engineering for Service-Oriented Systems

Editat de Martin Wirsing et al.

9 mai 2011

Preț: 646^.81 lei 808^.51 lei

6-8 săpt.

-20%

Editat de Alistair Barros et al.

26 noi 2015

Preț: 333^.41 lei 416^.76 lei

6-8 săpt.

-20%

Editat de Karin Breitman et al.

17 noi 2009

Preț: 648^.25 lei 810^.31 lei

6-8 săpt.

-20%

ECOOP 2013 -- Object-Oriented Programming

Editat de Giuseppe Castagna

6 iun 2013

Preț: 346^.13 lei 432^.67 lei

6-8 săpt.

-20%

Editat de Guillaume Brat et al.

17 apr 2013

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

6-8 săpt.

-20%

Multicore Software Engineering, Performance and Tools

Editat de Victor Pankratius et al.

20 iun 2012

Preț: 394^.44 lei 493^.05 lei

6-8 săpt.

-20%

Programming and Software Engineering

Papetărie, jocuri, reviste