Filtre:

Programming and Software Engineering

Universal Access in Human-Computer Interaction. Ambient Interaction

HCI International 2007

Editat de Constantine Stephanidis

2 iul 2007

Preț: 993^.61 lei 1242^.01 lei

3-5 săpt.

-20%

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%

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%

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%

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%

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%

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%

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%

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%

Lecture Notes in Computer Science, nr. 8442

Editat de Cliff Jones et al.

9 apr 2014

Preț: 647^.86 lei 809^.82 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%

Principles and Practice of Constraint Programming

Lecture Notes in Computer Science, nr. 8656

Editat de Barry O'Sullivan

19 aug 2014

Preț: 658^.30 lei 822^.88 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9681

Editat de Erika Ábrahám et al.

24 mai 2016

Preț: 527^.06 lei 658^.83 lei

6-8 săpt.

-20%

Rule Technologies. Research, Tools, and Applications

Lecture Notes in Computer Science, nr. 9718

Editat de Jose Julio Alferes et al.

28 iun 2016

Preț: 627^.98 lei 784^.98 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9892

Editat de Michel Rueher

23 aug 2016

Preț: 656^.03 lei 820^.03 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9936

Editat de Quan Z. Sheng et al.

20 sep 2016

Preț: 653^.15 lei 816^.44 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%

Lecture Notes in Computer Science, nr. 10601

Editat de Michael Maximilien et al.

19 oct 2017

Preț: 648^.04 lei 810^.04 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-44 zile

-20%

Lecture Notes in Computer Science, nr. 10826

Editat de Rafael Capilla et al.

17 apr 2018

Preț: 777^.92 lei 972^.40 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%

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%

Lecture Notes in Computer Science, nr. 11048

Editat de Carlos E. Cuesta et al.

15 sep 2018

Preț: 436^.80 lei 546^.00 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. 11236

Editat de Claus Pahl et al.

7 noi 2018

Preț: 655^.63 lei 819^.55 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11237

Editat de Christian Colombo et al.

8 noi 2018

Preț: 496^.17 lei 620^.21 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. 11528

Editat de Andre Coy et al.

30 mai 2019

Preț: 418^.78 lei

3-5 săpt. | 7-13 zile

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. 11699

Editat de Alexander Romanovsky et al.

9 aug 2019

Preț: 438^.65 lei 548^.31 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. 12136

Editat de Alexey Gotsman et al.

10 iun 2020

Preț: 402^.01 lei 502^.51 lei

6-8 săpt.

-20%

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12229

Editat de Ritchie Lee et al.

9 aug 2020

Preț: 464^.56 lei 580^.70 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12234

Editat de António Casimiro et al.

20 aug 2020

Preț: 578^.02 lei 722^.53 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Lecture Notes in Computer Science, nr. 12235

Editat de António Casimiro et al.

6 aug 2020

Preț: 575^.79 lei 719^.74 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12297

Editat de Marc Zeller et al.

4 sep 2020

Preț: 402^.81 lei 503^.51 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12333

Editat de Helmut Simonis

7 sep 2020

Preț: 988^.28 lei 1235^.35 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12389

Editat de David Pichardie et al.

13 ian 2021

Preț: 464^.22 lei 580^.29 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12420

Editat de Aldeida Aleti et al.

30 sep 2020

Preț: 485^.72 lei 607^.16 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science, nr. 12475

Editat de Gustavo Carvalho et al.

20 noi 2020

Preț: 401^.40 lei 501^.75 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12571

Editat de Eleanna Kafeza et al.

9 dec 2020

Preț: 695^.55 lei 869^.44 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12851

Editat de Sotiris Moschoyiannis et al.

2 dec 2021

Preț: 404^.67 lei 505^.84 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

Lecture Notes in Computer Science, nr. 12853

Editat de Ibrahim Habli et al.

7 aug 2021

Preț: 571^.10 lei 713^.86 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12857

Editat de Stefan Biffl et al.

26 aug 2021

Preț: 571^.68 lei 714^.61 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 12971

Editat de Zhe Hou et al.

14 oct 2021

Preț: 461^.93 lei 577^.41 lei

3-5 săpt. | 7-13 zile

-20%

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12974

Editat de Lu Feng et al.

6 oct 2021

Preț: 486^.04 lei 607^.55 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 13008

Editat de Hakjoo Oh

9 oct 2021

Preț: 488^.60 lei 610^.76 lei

6-8 săpt.

-20%

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13047

Editat de Marieke Huisman et al.

10 noi 2021

Preț: 699^.94 lei 874^.94 lei

6-8 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications

Lecture Notes in Computer Science, nr. 13071

Editat de Shengchao Qin et al.

14 noi 2021

Preț: 460^.96 lei 576^.20 lei

3-5 săpt. | 7-13 zile

-20%

Performance Engineering and Stochastic Modeling

Lecture Notes in Computer Science, nr. 13104

Editat de Paolo Ballarini et al.

27 noi 2021

Preț: 469^.75 lei 587^.19 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages

Lecture Notes in Computer Science, nr. 13165

Editat de James Cheney et al.

12 ian 2022

Preț: 401^.19 lei 501^.49 lei

6-8 săpt.

-20%

Hardware and Software: Verification and Testing

Editat de Kerstin Eder et al.

9 oct 2012

Preț: 414^.26 lei 517^.83 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 Beverly Woolf et al.

8 iul 2008

Preț: 647^.44 lei 761^.69 lei

6-8 săpt.

-15%

Editat de Chunming Rong et al.

11 iun 2008

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

6-8 săpt.

-20%

Software Service and Application Engineering

Editat de Maritta Heisel

31 mai 2012

Preț: 399^.56 lei 499^.44 lei

6-8 săpt.

-20%

Editat de Gerhard W. Dueck et al.

6 iun 2013

Preț: 414^.26 lei 517^.83 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%

Editat de Mirco Tribastone et al.

3 feb 2013

Preț: 413^.65 lei 517^.07 lei

6-8 săpt.

-20%

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support

Editat de Manfred Nagl et al.

18 iul 2008

Preț: 652^.76 lei 815^.95 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 Stefano A. Cerri et al.

11 iun 2012

Preț: 403^.70 lei

6-8 săpt.

ECOOP 2008 - Object-Oriented Programming

Editat de Jan Vitek

iul 2008

Preț: 645^.20 lei 806^.49 lei

6-8 săpt.

-20%

Model Driven Engineering Languages and Systems

Editat de Andy Schürr et al.

15 sep 2009

Preț: 648^.46 lei 810^.58 lei

6-8 săpt.

-20%

Foundations of Health Information Engineering and Systems

Editat de Jens Weber et al.

18 iul 2013

Preț: 412^.22 lei 515^.27 lei

6-8 săpt.

-20%

Theory and Practice of Model Transformations

Editat de Keith Duddy et al.

25 mai 2013

Preț: 412^.22 lei 515^.27 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%

Editat de Achim Brucker et al.

16 mai 2012

Preț: 398^.73 lei 498^.42 lei

6-8 săpt.

-20%

Editat de Andreas Holzinger et al.

26 oct 2009

Preț: 638^.02 lei 797^.52 lei

6-8 săpt.

-20%

Programming and Software Engineering

Papetărie, jocuri, reviste