Filtre: Paperback Springer International Publishing

Programming and Software Engineering

Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8368

Editat de Steve Counsell et al.

apr 2014

Preț: 327^.54 lei 409^.42 lei

43-57 zile

-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

43-57 zile

-20%

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8430

Editat de Julia M. Badger et al.

2 apr 2014

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

43-57 zile

-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

43-57 zile

-20%

Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8627

Editat de Paris Avgeriou et al.

4 aug 2014

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

43-57 zile

-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

43-57 zile

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8696

Editat de Andrea Bondavalli et al.

23 sep 2014

Preț: 328^.29 lei 410^.37 lei

43-57 zile

-20%

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8702

Editat de Dimitra Giannakopoulou et al.

4 aug 2014

Preț: 325^.47 lei 406^.84 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8739

Editat de Elvira Albert et al.

15 sep 2014

Preț: 324^.81 lei 406^.00 lei

43-57 zile

-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

43-57 zile

-20%

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8829

Editat de Stephan Merz et al.

23 sep 2014

Preț: 328^.48 lei 410^.60 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8837

Editat de Franck Cassez et al.

29 sep 2014

Preț: 327^.36 lei 409^.20 lei

43-57 zile

-20%

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8858

Editat de Jacques Garrigue

23 oct 2014

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-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

43-57 zile

-20%

Service-Oriented Computing - ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8954

Editat de Farouk Toumani et al.

12 sep 2015

Preț: 327^.99 lei 409^.99 lei

43-57 zile

-20%

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8997

Editat de Ivan Lanese et al.

18 feb 2015

Preț: 324^.50 lei 405^.63 lei

43-57 zile

-20%

Cloud Computing and Big Data: Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9106

Editat de Weizhong Qiang et al.

3 feb 2016

Preț: 325^.61 lei 407^.00 lei

43-57 zile

-20%

Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9202

Editat de Nick Bassiliades et al.

23 iul 2015

Preț: 329^.25 lei 411^.55 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9333

Editat de Ezio Bartocci et al.

11 sep 2015

Preț: 327^.19 lei 408^.99 lei

43-57 zile

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9338

Editat de Floor Koornneef et al.

12 sep 2015

Preț: 327^.54 lei 409^.42 lei

43-57 zile

-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

43-57 zile

-20%

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9364

Editat de Bernd Finkbeiner et al.

22 noi 2015

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9407

Editat de Michael Butler et al.

2 dec 2015

Preț: 327^.67 lei 409^.59 lei

43-57 zile

-20%

Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9458

Editat de Xinyu Feng et al.

10 dec 2015

Preț: 330^.68 lei 413^.35 lei

43-57 zile

-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

43-57 zile

-20%

Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Lecture Notes in Computer Science, nr. 9640

Editat de Rogério de Lemos et al.

18 ian 2018

Preț: 326^.87 lei 408^.59 lei

43-57 zile

-20%

Software Reuse: Bridging with Social-Awareness: 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9679

Editat de Georgia M. Kapitsaki et al.

10 mai 2016

Preț: 325^.92 lei 407^.40 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Human-Centered and Error-Resilient Systems Development: IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9856

Editat de Cristian Bogdan et al.

23 aug 2016

Preț: 324^.81 lei 406^.00 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9923

Editat de Amund Skavhaug et al.

sep 2016

Preț: 325^.47 lei 406^.84 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9938

Editat de Cyrille Artho et al.

22 sep 2016

Preț: 331^.48 lei 414^.35 lei

43-57 zile

-20%

Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9946

Editat de Paolo Milazzo et al.

6 dec 2016

Preț: 324^.20 lei 405^.25 lei

22-36 zile | 5-11 zile

-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

43-57 zile

-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

43-57 zile

-20%

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10009

Editat de Kazuhiro Ogata et al.

15 oct 2016

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-20%

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10012

Editat de Yliès Falcone et al.

20 sep 2016

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10017

Editat de Atsushi Igarashi

9 oct 2016

Preț: 328^.62 lei 410^.77 lei

43-57 zile

-20%

Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10153

Editat de Paul Grünbacher et al.

21 feb 2017

Preț: 324^.81 lei 406^.00 lei

43-57 zile

-20%

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10227

Editat de Clark Barrett et al.

9 apr 2017

Preț: 327^.04 lei 408^.80 lei

43-57 zile

-20%

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10422

Editat de Francesco Ranzato

21 aug 2017

Preț: 328^.79 lei 410^.99 lei

43-57 zile

-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

43-57 zile

-20%

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10482

Editat de Deepak D'Souza et al.

4 oct 2017

Preț: 329^.60 lei 412^.00 lei

43-57 zile

-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

43-57 zile

-20%

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10500

Editat de Joost-Pieter Katoen et al.

29 sep 2017

Preț: 324^.81 lei 406^.00 lei

43-57 zile

-20%

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10510

Editat de Nadia Polikarpova et al.

27 aug 2017

Preț: 327^.54 lei 409^.42 lei

43-57 zile

-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

43-57 zile

-20%

Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10548

Editat de Shuvendu Lahiri et al.

6 sep 2017

Preț: 327^.19 lei 408^.99 lei

43-57 zile

-20%

Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10563

Editat de Yassine Ouhammou et al.

6 sep 2017

Preț: 325^.30 lei 406^.63 lei

43-57 zile

-20%

On the Move to Meaningful Internet Systems. OTM 2017 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II

Lecture Notes in Computer Science, nr. 10574

Editat de Hervé Panetto et al.

21 oct 2017

Preț: 331^.48 lei 414^.35 lei

43-57 zile

-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

43-57 zile

-20%

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10610

Editat de Zhenhua Duan et al.

14 oct 2017

Preț: 330^.23 lei 412^.79 lei

43-57 zile

-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

43-57 zile

-20%

Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10748

Editat de Martina Seidl et al.

23 ian 2018

Preț: 326^.72 lei 408^.40 lei

43-57 zile

-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

43-57 zile

-20%

Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10760

Editat de Marten Lohstroh et al.

20 iul 2018

Preț: 332^.60 lei 415^.75 lei

43-57 zile

-20%

Service-Oriented Computing – ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10797

Editat de Lars Braubach et al.

16 iun 2018

Preț: 325^.92 lei 407^.40 lei

43-57 zile

-20%

Web Services – ICWS 2018: 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10966

Editat de Hai Jin et al.

19 iun 2018

Preț: 330^.98 lei 413^.73 lei

43-57 zile

-20%

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11002

Editat de Andreas Podelski

29 aug 2018

Preț: 327^.36 lei 409^.20 lei

43-57 zile

-20%

Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11023

Editat de Carlo A. Furia et al.

9 aug 2018

Preț: 326^.42 lei 408^.02 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11163

Editat de El Hassan Abdelwahed et al.

13 sep 2018

Preț: 327^.36 lei 409^.20 lei

43-57 zile

-20%

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11176

Editat de Manuel Mazzara et al.

6 dec 2018

Preț: 326^.81 lei 408^.51 lei

22-36 zile | 5-11 zile

-20%

Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11232

Editat de Jing Sun et al.

11 oct 2018

Preț: 329^.25 lei 411^.55 lei

43-57 zile

-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

43-57 zile

-20%

Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11271

Editat de Marco Kuhrmann et al.

3 noi 2018

Preț: 328^.62 lei 410^.77 lei

43-57 zile

-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

43-57 zile

-20%

Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11434

Editat de Xiao Liu et al.

10 apr 2019

Preț: 329^.91 lei 412^.39 lei

43-57 zile

-20%

Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11771

Editat de Manuel Mazzara et al.

28 aug 2019

Preț: 326^.55 lei 408^.19 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11781

Editat de Yu-Fang Chen et al.

6 oct 2019

Preț: 332^.42 lei 415^.53 lei

43-57 zile

-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

43-57 zile

-20%

Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11825

Editat de Graham Hutton

20 oct 2019

Preț: 328^.29 lei 410^.37 lei

43-57 zile

-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

43-57 zile

-20%

Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11893

Editat de Anthony Widjaja Lin

9 noi 2019

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-20%

Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12134

Editat de Simon Bliudze et al.

10 iun 2020

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

43-57 zile

-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

43-57 zile

-20%

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Lecture Notes in Computer Science, nr. 12232

Editat de Emil Sekerinski et al.

13 aug 2020

Preț: 331^.48 lei 414^.35 lei

43-57 zile

-20%

Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers

Lecture Notes in Computer Science, nr. 12271

Editat de Jean-Michel Bruel et al.

12 aug 2020

Preț: 325^.47 lei 406^.84 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12399

Editat de Jyotirmoy Deshmukh et al.

8 oct 2020

Preț: 332^.29 lei 415^.36 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12546

Editat de Brijesh Dongol et al.

14 noi 2020

Preț: 328^.29 lei 410^.37 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12562

Editat de Maurizio Morisio et al.

21 noi 2020

Preț: 328^.29 lei 410^.37 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering