Programming and Software Engineering

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

Editat de Simon Collart-Dutilleul et al.

24 apr 2019

Preț: 376^.87 lei 471^.08 lei

6-8 săpt.

-20%

Model Driven Architecture: European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3599

Editat de Uwe Aßmann et al.

18 aug 2005

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-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ț: 319^.13 lei 398^.90 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ț: 325^.15 lei 406^.44 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ț: 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%

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ț: 319^.29 lei 399^.11 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ț: 322^.43 lei 403^.04 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ț: 313^.87 lei 392^.34 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ț: 324^.19 lei 405^.23 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ț: 328^.16 lei 410^.20 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%

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ț: 320^.72 lei 400^.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%

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ț: 317^.85 lei 397^.31 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ț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 5533

Editat de Orna Grumberg et al.

12 mai 2009

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5904

Editat de Zhenjiang Hu

24 noi 2009

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 5937

Editat de Manuel Carro et al.

12 ian 2010

Preț: 321^.81 lei 402^.26 lei

6-8 săpt.

-20%

Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance: 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings

Lecture Notes in Computer Science, nr. 5987

Editat de Erwin Rathgeb et al.

5 mar 2010

Preț: 322^.61 lei 403^.26 lei

6-8 săpt.

-20%

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6405

Editat de Kedar Namjoshi et al.

10 feb 2011

Preț: 314^.67 lei 393^.34 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%

Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6606

Editat de Daniel M. Berry et al.

16 mar 2011

Preț: 317^.05 lei 396^.31 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%

Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6826

Editat de Nick Bassiliades et al.

12 iul 2011

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6887

Editat de Eran Yahav

6 sep 2011

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%

Autonomic and Trusted Computing: 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6906

Editat de Jose M. Alcaraz Calero et al.

19 aug 2011

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6921

Editat de Luis Soares Barbosa et al.

9 mar 2012

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6959

Editat de Gwen Salaün et al.

19 sep 2011

Preț: 319^.42 lei 399^.28 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%

Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Lecture Notes in Computer Science, nr. 7000

Editat de Gul Agha et al.

13 oct 2011

Preț: 329^.74 lei 412^.17 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%

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%

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 7230

Editat de Robert L. Constable et al.

11 apr 2012

Preț: 324^.99 lei 406^.23 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%

Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11178

Editat de Rena Bakhshi et al.

3 oct 2018

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Programming and Software Engineering

Papetărie, jocuri, reviste