Filtre:

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

43-57 zile

-20%

Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3668

Editat de Maurizio Gabbrielli et al.

19 sep 2005

Preț: 328^.16 lei 410^.20 lei

43-57 zile

-20%

Formal Methods for Components and Objects

Programming and Software Engineering

Editat de Bernhard Beckert et al.

3 ian 2013

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

43-57 zile

-20%

Component-Based Software Engineering: 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4063

Editat de Ian Gorton et al.

20 iun 2006

Preț: 325^.15 lei 406^.44 lei

43-57 zile

-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

43-57 zile

-20%

Programming and Software Engineering

Editat de Chung-Chien Shan

18 noi 2013

Preț: 325^.88 lei 407^.36 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4034

Editat de Jürgen Münch et al.

9 iun 2006

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

43-57 zile

-20%

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4079

Editat de Sandro Etalle et al.

3 aug 2006

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

43-57 zile

-20%

Programming and Software Engineering

Editat de José Luiz Fiadeiro et al.

30 iul 2014

Preț: 326^.07 lei 407^.59 lei

43-57 zile

-20%

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Lecture Notes in Computer Science, nr. 3167

Editat de Ana Cavalcanti et al.

27 sep 2006

Preț: 326^.24 lei 407^.80 lei

43-57 zile

-20%

Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4134

Editat de Kwangkeun Yi

17 aug 2006

Preț: 328^.94 lei 411^.17 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de George Eleftherakis et al.

28 aug 2012

Preț: 326^.27 lei 407^.84 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de Martin Erwig et al.

26 sep 2013

Preț: 326^.27 lei 407^.84 lei

43-57 zile

-20%

Computer Safety, Reliability, and Security

Programming and Software Engineering

Editat de Frank Ortmeier et al.

30 aug 2012

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

43-57 zile

-20%

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4192

Editat de Bernd Mohr et al.

13 sep 2006

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

43-57 zile

-20%

Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4279

Editat de Naoki Kobayashi

6 noi 2006

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

43-57 zile

-20%

Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4542

Editat de Pete Sawyer et al.

31 mai 2007

Preț: 326^.10 lei 407^.63 lei

43-57 zile

-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

43-57 zile

-20%

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4789

Editat de Michael Butler et al.

7 noi 2007

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

43-57 zile

-20%

Middleware 2007: ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4834

Editat de Renato Cerqueira et al.

12 noi 2007

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

43-57 zile

-20%

Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5089

Editat de Andreas Jedlitschka et al.

16 iun 2008

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

43-57 zile

-20%

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5140

Editat de José Meseguer et al.

15 iul 2008

Preț: 328^.16 lei 410^.20 lei

43-57 zile

-20%

The Common Component Modeling Example: Comparing Software Component Models

Lecture Notes in Computer Science, nr. 5153

Editat de Andreas Rausch et al.

26 aug 2008

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

43-57 zile

-20%

Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

Lecture Notes in Computer Science, nr. 5219

Editat de Michael Douglas Harrison et al.

11 sep 2008

Preț: 328^.94 lei 411^.17 lei

43-57 zile

-20%

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5256

Editat de Shaoying Liu et al.

8 oct 2008

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

43-57 zile

-20%

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5311

Editat de Sungdeok Cha et al.

6 oct 2008

Preț: 328^.16 lei 410^.20 lei

43-57 zile

-20%

Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

Lecture Notes in Computer Science, nr. 5421

Editat de Michel R. V. Chaudron

22 apr 2009

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

43-57 zile

-20%

Service-Oriented Computing - ICSOC 2008 Workshops: ICSOC 2008, International Workshops, Sydney, Australia, December 1st, 2008. Revised Selected Papers.

Lecture Notes in Computer Science, nr. 5472

Editat de George Feuerlicht et al.

22 apr 2009

Preț: 328^.16 lei 410^.20 lei

43-57 zile

-20%

Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5658

Editat de Walid Mohamed Taha

2 iul 2009

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

43-57 zile

-20%

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5673

Editat de Jens Palsberg et al.

20 iul 2009

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

43-57 zile

-20%

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5799

Editat de Zhiming Liu et al.

29 sep 2009

Preț: 328^.16 lei 410^.20 lei

43-57 zile

-20%

Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

Lecture Notes in Computer Science, nr. 5858

Editat de Adrian Paschke et al.

15 oct 2009

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

43-57 zile

-20%

Software Process and Product Measurement: International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

Lecture Notes in Computer Science, nr. 5891

Editat de Alain Abran et al.

2 noi 2009

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

43-57 zile

-20%

Middleware 2009: ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5896

Editat de Valérie Issarny et al.

6 noi 2009

Preț: 328^.94 lei 411^.17 lei

43-57 zile

-20%

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Lecture Notes in Computer Science, nr. 5902

Editat de Marcel Vinícius Medeiros Oliveira et al.

9 noi 2009

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

43-57 zile

-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

43-57 zile

-20%

Software Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers

Lecture Notes in Computer Science, nr. 5969

Editat de Mark van den Brand et al.

25 mar 2010

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

43-57 zile

-20%

Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

Lecture Notes in Computer Science, nr. 6394

Editat de Dorina C. Petriu et al.

27 sep 2010

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

43-57 zile

-20%

Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6563

Editat de Brian Malloy et al.

23 feb 2011

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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Computer Safety, Reliability, and Security: 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6894

Editat de Francesco Flammini et al.

15 sep 2011

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

43-57 zile

-20%

Software Language Engineering: 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6940

Editat de Anthony Sloane et al.

11 apr 2012

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

43-57 zile

-20%

Recent Advances in the Message Passing Interface: 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6960

Editat de Yiannis Cotronis et al.

19 sep 2011

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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Lecture Notes in Computer Science, nr. 7320

Editat de Marco Bernardo et al.

14 iun 2012

Preț: 328^.16 lei 410^.20 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7343

Editat de Oscar Dieste et al.

31 mai 2012

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

43-57 zile

-20%

Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7349

Editat de Antonio Vallecillo et al.

28 iun 2012

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

43-57 zile

-20%

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7539

Editat de Radu Calinescu et al.

14 sep 2012

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

43-57 zile

-20%

Service-Oriented Computing - ICSOC Workshops 2012: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7759

Editat de Aditya Ghose et al.

9 apr 2013

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

43-57 zile

-20%

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7940

Editat de Einar Broch Johnsen et al.

24 mai 2013

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

43-57 zile

-20%

Analytical and Stochastic Modeling Techniques and Applications: 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7984

Editat de Alexander Dudin et al.

19 iul 2013

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

43-57 zile

-20%

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8174

Editat de Axel Legay et al.

19 aug 2013

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

43-57 zile

-20%

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%

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%

Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 8665

Editat de Gul Agha et al.

18 sep 2014

Preț: 328^.62 lei 410^.77 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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10201

Editat de Hongseok Yang

19 mar 2017

Preț: 654^.28 lei 817^.85 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%

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%

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%

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%

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%

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%

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%

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^.57 lei 408^.21 lei

22-36 zile | 6-12 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%

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%

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%

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%

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%

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%

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%

Papetărie, jocuri, reviste

Programming and Software Engineering