Filtre: Engleză Paperback

Programming and Software Engineering

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%

Programming and Software Engineering

Editat de George Eleftherakis et al.

28 aug 2012

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

6-8 săpt.

-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

6-8 săpt.

-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

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%

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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Martin Erwig et al.

26 sep 2013

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

6-8 săpt.

-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

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%

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

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%

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%

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%

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

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%

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

6-8 săpt.

-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

6-8 săpt.

-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

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%

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%

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

6-8 săpt.

-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

6-8 săpt.

-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

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%

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

6-8 săpt.

-20%

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6100

Editat de Holger Giese et al.

6 oct 2010

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

3-5 săpt.

-20%

Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6138

Editat de Thomas Kühne et al.

iun 2010

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

3-5 săpt.

-20%

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6142

Editat de Laurence Tratt et al.

17 iun 2010

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

3-5 săpt.

-20%

Analytical and Stochastic Modeling Techniques and Applications: 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6148

Editat de Khalid Al-Begain et al.

iun 2010

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

3-5 săpt.

-20%

Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6156

Editat de Muhammad Ali Babar et al.

11 iun 2010

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

3-5 săpt.

-20%

New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6195

Editat de Jürgen Münch et al.

30 iun 2010

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

3-5 săpt.

-20%

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6252

Editat de Ahmed Bouajjani et al.

3 sep 2010

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

3-5 săpt.

-20%

Data Engineering and Management: Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6411

Editat de Rajkumar Kannan et al.

16 ian 2012

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

3-5 săpt.

-20%

Middleware 2010: ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6452

Editat de Indranil Gupta et al.

16 noi 2010

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

3-5 săpt.

-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

6-8 săpt.

-20%

Modelling -- Foundation and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6698

Editat de Robert B. France et al.

26 mai 2011

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

3-5 săpt.

-20%

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6722

Editat de Roberto Bruni et al.

26 mai 2011

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

3-5 săpt.

-20%

Analytical and Stochastic Modeling Techniques and Applications: 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6751

Editat de Khalid Al-Begain et al.

14 iun 2011

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

3-5 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%

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

6-8 săpt.

-20%

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Lecture Notes in Computer Science, nr. 6957

Editat de Bernhard K. Aichernig et al.

12 dec 2011

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

3-5 săpt.

-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

6-8 săpt.

-20%

Towards a Service-Based Internet: 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6994

Editat de Witold Abramowicz et al.

12 oct 2011

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

3-5 săpt.

-20%

Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Lecture Notes in Computer Science, nr. 7078

Editat de Hongseok Yang

18 noi 2011

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

Object, Models, Components, Patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7304

Editat de Carlo A. Furia et al.

11 mai 2012

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

3-5 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%

Programming and Software Engineering

Editat de José Luiz Fiadeiro et al.

30 iul 2014

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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

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%

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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-20%

Verified Software: Theorie, Tools, Experiments

Programming and Software Engineering

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: 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%

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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

3-5 săpt. | 7-13 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

6-8 săpt.

-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

6-8 săpt.

-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

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%

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%

Programming and Software Engineering

Editat de Chung-Chien Shan

18 noi 2013

Preț: 325^.88 lei 407^.36 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%

Papetărie, jocuri, reviste

Programming and Software Engineering