Programming and Software Engineering

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3875

Editat de Shmuel Ur et al.

6 apr 2006

Preț: 319^.13 lei 398^.90 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%

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4085

Editat de Jayadev Misra et al.

10 aug 2006

Preț: 636^.70 lei 795^.87 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4204

Editat de Frédéric Benhamou

26 sep 2006

Preț: 644^.63 lei 805^.79 lei

6-8 săpt.

-20%

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Lecture Notes in Computer Science, nr. 4323

Editat de Gavin Doherty et al.

18 ian 2007

Preț: 319^.29 lei 399^.11 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%

Principles and Practice of Constraint Programming - CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4741

Editat de Christian Bessiere

6 sep 2007

Preț: 649^.52 lei 811^.90 lei

6-8 săpt.

-20%

Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5063

Editat de Antonio Vallecillo et al.

17 iun 2008

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-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

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 5520

Editat de Ana Bove et al.

14 iul 2009

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

6-8 săpt.

-20%

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 5533

Editat de Orna Grumberg et al.

12 mai 2009

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality

Programming and Software Engineering

Editat de Fabiano Dalpiaz et al.

2 apr 2021

Preț: 318^.51 lei 398^.15 lei

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5202

Editat de Peter J. Stuckey

28 aug 2008

Preț: 748^.63 lei 935^.79 lei

3-5 săpt.

-20%

Fun and Games: Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5294

Editat de Panos Markopoulos et al.

8 oct 2008

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 5475

Editat de Patrick Eugster

25 mai 2009

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

6-8 săpt.

-20%

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5563

Editat de Richard F. Paige

15 iun 2009

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

6-8 săpt.

-20%

Autonomic and Trusted Computing: 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5586

Editat de Juan González Nieto et al.

22 iun 2009

Preț: 320^.24 lei 400^.30 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5596

Editat de Darren Cofer et al.

20 iul 2009

Preț: 317^.85 lei 397^.31 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%

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%

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%

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 5937

Editat de Manuel Carro et al.

12 ian 2010

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

6-8 săpt.

-20%

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%

Research into Practice - Reality and Gaps: 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6093

Editat de George Heineman et al.

17 iun 2010

Preț: 318^.67 lei 398^.33 lei

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

Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6182

Editat de Roel Wieringa et al.

17 iun 2010

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

3-5 săpt.

-20%

Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6194

Editat de Cosimo Laneve et al.

2 sep 2010

Preț: 316^.28 lei 395^.35 lei

3-5 săpt.

-20%

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6324

Editat de Marko van Eekelen et al.

9 sep 2010

Preț: 314^.67 lei 393^.34 lei

3-5 săpt.

-20%

Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6351

Editat de Erwin Schoitsch

3 sep 2010

Preț: 330^.54 lei 413^.16 lei

3-5 săpt.

-20%

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6371

Editat de Stefan Kowalewski et al.

9 sep 2010

Preț: 318^.67 lei 398^.33 lei

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

Autonomic and Trusted Computing: 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6407

Editat de Bing Xie et al.

8 oct 2010

Preț: 319^.75 lei 399^.68 lei

3-5 săpt.

-20%

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6435

Editat de Alexandre Petrenko et al.

8 oct 2010

Preț: 319^.75 lei 399^.68 lei

3-5 săpt.

-20%

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6539

Editat de Ricardo Rocha et al.

11 ian 2011

Preț: 319^.42 lei 399^.28 lei

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

Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

Lecture Notes in Computer Science, nr. 6956

Editat de Myra B. Cohen et al.

30 aug 2011

Preț: 402^.28 lei 502^.84 lei

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

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

6-8 săpt.

-20%

Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Lecture Notes in Computer Science, nr. 8987

Editat de Bertrand Meyer et al.

3 feb 2016

Preț: 260^.47 lei 325^.59 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%

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies: Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9397

Editat de Manjunath Gorentla Venkata et al.

9 dec 2015

Preț: 261^.09 lei 326^.37 lei

6-8 săpt.

-20%

Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9421

Editat de Thomas Hildebrandt et al.

20 apr 2016

Preț: 259^.98 lei 324^.97 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9459

Editat de Pekka Abrahamsson et al.

10 noi 2015

Preț: 336^.09 lei 420^.11 lei

6-8 săpt.

-20%

Risk Assessment and Risk-Driven Testing: Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9488

Editat de Fredrik Seehusen et al.

13 noi 2015

Preț: 257^.29 lei 321^.61 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9506

Editat de Zhiming Liu et al.

mar 2016

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

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9509

Editat de Domenico Bianculli et al.

3 feb 2016

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

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9526

Editat de Márcio Cornélio et al.

3 feb 2016

Preț: 261^.24 lei 326^.55 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9539

Editat de Christiano Braga et al.

30 ian 2016

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

6-8 săpt.

-20%

Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9548

Editat de Jan Kofroň et al.

4 feb 2016

Preț: 614^.52 lei 768^.14 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9585

Editat de Marco Gavanelli et al.

19 dec 2015

Preț: 260^.47 lei 325^.59 lei

6-8 săpt.

-20%

Service-Oriented Computing – ICSOC 2015 Workshops: WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9586

Editat de Alex Norta et al.

26 apr 2016

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9593

Editat de Arie Gurfinkel et al.

29 ian 2016

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9619

Editat de Maya Daneva et al.

4 mar 2016

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

6-8 săpt.

-20%

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9629

Editat de Anne Remke et al.

24 mar 2016

Preț: 316^.28 lei 395^.35 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%

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9681

Editat de Erika Ábrahám et al.

24 mai 2016

Preț: 523^.37 lei 654^.21 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9684

Editat de Alessandro Micarelli et al.

3 iun 2016

Preț: 388^.78 lei

6-8 săpt.

Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9686

Editat de Alberto Lluch Lafuente et al.

27 iun 2016

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9688

Editat de Elvira Albert et al.

27 iun 2016

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9690

Editat de Sanjai Rayadurgam et al.

4 iun 2016

Preț: 407^.50 lei 509^.38 lei

6-8 săpt.

-20%

Reliable Software Technologies – Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9695

Editat de Marko Bertogna et al.

31 mai 2016

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Lecture Notes in Computer Science, nr. 9700

Editat de Marco Bernardo et al.

12 iun 2016

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9707

Editat de Thierry Lecomte et al.

15 iun 2016

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9718

Editat de Jose Julio Alferes et al.

28 iun 2016

Preț: 624^.51 lei 780^.63 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%

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9762

Editat de Bernhard K. Aichernig et al.

21 iun 2016

Preț: 315^.93 lei 394^.92 lei

6-8 săpt.

-20%

Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9764

Editat de Andrzej Wąsowski et al.

23 iun 2016

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9765

Editat de Pieter Van Gorp et al.

22 iun 2016

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9837

Editat de Xavier Rival

31 aug 2016

Preț: 330^.54 lei 413^.16 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11497

Editat de Michael Kirkedal Thomsen et al.

23 mai 2019

Preț: 372^.54 lei 465^.68 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11528

Editat de Andre Coy et al.

30 mai 2019

Preț: 418^.19 lei

3-5 săpt. | 7-11 zile

Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11535

Editat de Jorge A. Pérez et al.

29 mai 2019

Preț: 402^.75 lei 503^.44 lei

6-8 săpt.

-20%

Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11787

Editat de Giancarlo Guizzardi et al.

27 oct 2019

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-20%

Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11895

Editat de Sami Yangui et al.

26 oct 2019

Preț: 334^.34 lei 417^.93 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11915

Editat de Xavier Franch et al.

14 noi 2019

Preț: 343^.37 lei 429^.20 lei

6-8 săpt.

-20%

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11918

Editat de Wolfgang Ahrendt et al.

15 noi 2019

Preț: 332^.92 lei 416^.15 lei

6-8 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11951

Editat de Nan Guan et al.

10 noi 2019

Preț: 313^.10 lei 391^.37 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%

Practical Aspects of Declarative Languages: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12548

Editat de José F. Morales et al.

16 ian 2021

Preț: 314^.86 lei 393^.57 lei

6-8 săpt.

-20%

From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12611

Editat de Juliana Bowles et al.

5 mar 2021

Preț: 371^.74 lei 464^.68 lei

6-8 săpt.

-20%

Service-Oriented Computing – ICSOC 2020 Workshops: AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12632

Editat de Hakim Hacid et al.

30 mai 2021

Preț: 337^.35 lei 421^.69 lei

6-8 săpt.

-20%

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12673

Editat de Aaron Dutle et al.

17 mai 2021

Preț: 571^.69 lei 714^.62 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual Event, June 7–11, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12677

Editat de Alexandra I. Cristea et al.

9 iul 2021

Preț: 387^.47 lei

6-8 săpt.

Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12717

Editat de Ferruccio Damiani et al.

6 iun 2021

Preț: 320^.86 lei 401^.08 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12719

Editat de Kirstin Peters et al.

10 iun 2021

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

End-User Development: 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12724

Editat de Daniela Fogli et al.

24 iun 2021

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12732

Editat de Christian Attiogbé et al.

9 iun 2021

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

6-8 săpt.

-20%

Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12740

Editat de Frédéric Loulergue et al.

18 iun 2021

Preț: 311^.67 lei 389^.59 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%

Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12805

Editat de Shigeru Yamashita et al.

23 iun 2021

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering