Filtre: Tipărit la comandă

Programming and Software Engineering

Verified Software: Theorie, Tools, Experiments

Editat de Ernie Cohen et al.

23 ian 2014

Preț: 324^.45 lei 405^.57 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality

Programming and Software Engineering

Editat de Samuel A. Fricker et al.

12 mar 2015

Preț: 323^.62 lei 404^.53 lei

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Anthony Anjorin et al.

20 iun 2017

Preț: 322^.82 lei 403^.53 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Lecture Notes in Computer Science, nr. 3657

Editat de Frank S. de Boer et al.

19 sep 2005

Preț: 321^.66 lei 402^.08 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ț: 321^.35 lei 401^.68 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%

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ț: 322^.29 lei 402^.86 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ț: 323^.10 lei 403^.87 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%

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Lecture Notes in Computer Science, nr. 4902

Editat de Paul Hudak et al.

18 dec 2007

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

Lecture Notes in Computer Science, nr. 5002

Autor Holger Giese

iul 2008

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 5135

Editat de Rogério de Lemos et al.

28 aug 2008

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5136

Editat de T. C. Nicholas Graham et al.

iul 2008

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

6-8 săpt.

-20%

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5205

Editat de Alexey Lastovetsky et al.

28 aug 2008

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5261

Editat de Nigel Thomas et al.

10 sep 2008

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5282

Editat de Michel R. V. Chaudron et al.

6 oct 2008

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Human Machine Interaction: Research Results of the MMI Program

Lecture Notes in Computer Science, nr. 5440

Editat de Denis Lalanne et al.

26 mar 2009

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

6-8 săpt.

-20%

Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

Lecture Notes in Computer Science, nr. 5475

Editat de Patrick Eugster

25 mai 2009

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5512

Editat de Martin Glinz et al.

27 mai 2009

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Lecture Notes in Computer Science, nr. 5520

Editat de Ana Bove et al.

14 iul 2009

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

6-8 săpt.

-20%

Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5562

Editat de Richard F. Paige et al.

12 iun 2009

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5570

Editat de Fabrice Kordon et al.

25 mai 2009

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Lecture Notes in Computer Science, nr. 5751

Editat de Marcello M. Bonsangue et al.

7 sep 2009

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

6-8 săpt.

-20%

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5759

Editat de Matti Ropo et al.

28 aug 2009

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

Lecture Notes in Computer Science, nr. 5775

Editat de Bettina Buth et al.

7 sep 2009

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

Lecture Notes in Computer Science, nr. 5791

Editat de Stephen H. Edwards et al.

11 sep 2009

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 5835

Editat de Rogério de Lemos et al.

2 noi 2009

Preț: 324^.19 lei 405^.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%

Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5961

Editat de Farhad Arbab et al.

27 ian 2010

Preț: 330^.54 lei 413^.16 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%

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6396

Editat de Dominique Méry et al.

6 oct 2010

Preț: 322^.11 lei 402^.64 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6759

Editat de Danilo Caivano et al.

15 iun 2011

Preț: 322^.61 lei 403^.26 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%

Rule-Based Modeling and Computing on the Semantic Web: 5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7018

Editat de Monica Palmirani et al.

14 oct 2011

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

6-8 săpt.

-20%

Analytical and Stochastic Modeling Techniques and Applications: 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7314

Editat de Khalid Al-Begain et al.

21 mai 2012

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

6-8 săpt.

-20%

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7321

Editat de John Derrick et al.

6 iun 2012

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7892

Editat de Dirk Beyer et al.

16 mai 2013

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013,Pisa, Italy, June 18-20, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7925

Editat de John Favaro et al.

6 iun 2013

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

6-8 săpt.

-20%

Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7957

Editat de Khalil Drira

6 iun 2013

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7983

Editat de Jens Heidrich et al.

19 iul 2013

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Search Based Software Engineering: 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8084

Editat de Günther Ruhe et al.

19 iul 2013

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Computer Performance Engineering: 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8168

Editat de Maria Simonetta Balsamo et al.

21 aug 2013

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Models@run.time: Foundations, Applications, and Roadmaps

Lecture Notes in Computer Science, nr. 8378

Editat de Nelly Bencomo et al.

18 iul 2014

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8396

Editat de Camille Salinesi et al.

2 apr 2014

Preț: 322^.11 lei 402^.64 lei

6-8 săpt.

-20%

Rules on the Web: From Theory to Applications: 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8620

Editat de Antonis Bikakis et al.

4 aug 2014

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8666

Editat de Andrea Bondavalli et al.

20 aug 2014

Preț: 323^.86 lei 404^.83 lei

6-8 săpt.

-20%

Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8706

Editat de Benoit Combemale et al.

23 sep 2014

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8734

Editat de Borzoo Bonakdarpour et al.

23 sep 2014

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

6-8 săpt.

-20%

Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8742

Editat de Stefan Sauer et al.

25 aug 2014

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

6-8 săpt.

-20%

Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8748

Editat de Yamine Ait Ameur et al.

23 sep 2014

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

6-8 săpt.

-20%

System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8769

Editat de Daniel Amyot et al.

12 sep 2014

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8892

Editat de Andreas Jedlitschka et al.

20 noi 2014

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9129

Editat de Ralf Hinze et al.

12 iun 2015

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

6-8 săpt.

-20%

Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9275

Editat de Márcio Barros et al.

5 aug 2015

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9276

Editat de Radu Calinescu et al.

21 aug 2015

Preț: 323^.86 lei 404^.83 lei

6-8 săpt.

-20%

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Lecture Notes in Computer Science, nr. 9300

Editat de Lev D. Beklemishev et al.

27 aug 2015

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9344

Editat de Ladjel Bellatreche et al.

11 sep 2015

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9409

Editat de Xuandong Li et al.

27 oct 2015

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

6-8 săpt.

-20%

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Lecture Notes in Computer Science, nr. 9506

Editat de Zhiming Liu et al.

mar 2016

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

6-8 săpt.

-20%

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9509

Editat de Domenico Bianculli et al.

3 feb 2016

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

6-8 săpt.

-20%

Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9539

Editat de Christiano Braga et al.

30 ian 2016

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9619

Editat de Maya Daneva et al.

4 mar 2016

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9720

Editat de Simon Devitt et al.

30 iun 2016

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

6-8 săpt.

-20%

Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9839

Editat de Bedir Tekinerdogan et al.

4 noi 2016

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

6-8 săpt.

-20%

Analytical and Stochastic Modelling Techniques and Applications: 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9845

Editat de Sabine Wittevrongel et al.

4 aug 2016

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

6-8 săpt.

-20%

Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9893

Editat de Ladjel Bellatreche et al.

7 sep 2016

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

6-8 săpt.

-20%

OpenMP: Memory, Devices, and Tasks: 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9903

Editat de Naoya Maruyama et al.

21 sep 2016

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9922

Editat de Amund Skavhaug et al.

4 sep 2016

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9962

Editat de Federica Sarro et al.

24 sep 2016

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9984

Editat de Martin Fränzle et al.

6 oct 2016

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10160

Editat de Thomas Gibson-Robinson et al.

18 dec 2016

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

6-8 săpt.

-20%

Scaling OpenMP for Exascale Performance and Portability: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10468

Editat de Bronis R. de Supinski et al.

17 aug 2017

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10488

Editat de Stefano Tonetta et al.

17 aug 2017

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10533

Editat de Nina Yevtushenko et al.

15 sep 2017

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

6-8 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10606

Editat de Kim Guldstrand Larsen et al.

17 oct 2017

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10740

Editat de Reinhard German et al.

25 ian 2018

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10753

Editat de Erik Kamsties et al.

mar 2018

Preț: 324^.03 lei 405^.04 lei

6-8 săpt.

-20%

Modelling Foundations and Applications: 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10890

Editat de Alfonso Pierantonio et al.

29 mai 2018

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

6-8 săpt.

-20%

Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11092

Editat de Christoph Benzmüller et al.

24 aug 2018

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11093

Editat de Barbara Gallina et al.

17 aug 2018

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11106

Editat de Jarkko Kari et al.

22 aug 2018

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Human-Centered Software Engineering: 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11262

Editat de Cristian Bogdan et al.

31 dec 2018

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11294

Editat de Ruzica Piskac et al.

24 noi 2018

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11460

Editat de Julia M. Badger et al.

28 mai 2019

Preț: 434^.83 lei 543^.54 lei

6-8 săpt.

-20%

Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11815

Editat de Klaus-Dieter Schewe et al.

8 oct 2019

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11842

Editat de Yiannis Papadopoulos et al.

18 oct 2019

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12045

Editat de Nazim Madhavji et al.

19 mar 2020

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

6-8 săpt.

-20%

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Lecture Notes in Computer Science, nr. 12180

Editat de Andreas Blass et al.

23 mai 2020

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Software Architecture: 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12292

Editat de Anton Jansen et al.

10 sep 2020

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Lecture Notes in Computer Science, nr. 12345

Editat de Wolfgang Ahrendt et al.

9 dec 2020

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12470

Editat de Bruno C. d. S. Oliveira

27 noi 2020

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12524

Editat de Loek Cleophas et al.

17 ian 2021

Preț: 322^.11 lei 402^.64 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12531

Editat de Shang-Wei Lin et al.

19 dec 2020

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12543

Editat de Valentina Casola et al.

27 noi 2020

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Model and Data Engineering: 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12732

Editat de Christian Attiogbé et al.

9 iun 2021

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Lecture Notes in Computer Science, nr. 12750

Editat de Alexander Raschke et al.

4 iun 2021

Preț: 323^.41 lei 404^.26 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering