Filtre:

Programming and Software Engineering

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

Programming and Software Engineering

Editat de Chung-Chien Shan

18 noi 2013

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

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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ț: 323^.94 lei 404^.93 lei

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

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%

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%

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

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

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%

Papetărie, jocuri, reviste

Programming and Software Engineering