Filtre: Paperback

Programming and Software Engineering

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

43-57 zile

-20%

Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7151

Editat de Zhiming Liu et al.

6 iul 2012

Preț: 409^.92 lei 512^.40 lei

43-57 zile

-20%

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7857

Editat de Armin Biere et al.

19 iul 2013

Preț: 292^.40 lei 365^.50 lei

43-57 zile

-20%

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7871

Editat de Guillaume Brat et al.

17 apr 2013

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

43-57 zile

-20%

End-User Development: 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7897

Editat de Yvonne Dittrich et al.

17 mai 2013

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

43-57 zile

-20%

Computer Safety, Reliability, and Security

Programming and Software Engineering

Editat de Ibrahim Habli et al.

8 aug 2021

Preț: 320^.76 lei 400^.94 lei

43-57 zile

-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

43-57 zile

-20%

Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7587

Editat de Mirco Tribastone et al.

3 feb 2013

Preț: 411^.19 lei 513^.99 lei

43-57 zile

-20%

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Lecture Notes in Computer Science, nr. 7682

Editat de Bertrand Meyer et al.

30 noi 2012

Preț: 287^.32 lei 359^.15 lei

43-57 zile

-20%

Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

Lecture Notes in Computer Science, nr. 7706

Editat de Ricardo J. Machado et al.

14 mai 2013

Preț: 285^.58 lei 356^.98 lei

43-57 zile

-20%

Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7792

Editat de Matthias Felleisen et al.

20 feb 2013

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

43-57 zile

-20%

Dependable Computing: 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7869

Editat de Marco Vieira et al.

25 mai 2013

Preț: 288^.76 lei 360^.95 lei

43-57 zile

-20%

Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7890

Editat de Rocco De Nicola et al.

17 mai 2013

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

43-57 zile

-20%

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7892

Editat de Dirk Beyer et al.

16 mai 2013

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

43-57 zile

-20%

Reliable Software Technologies -- Ada-Europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7896

Editat de Hubert B. Keller et al.

16 mai 2013

Preț: 287^.51 lei 359^.38 lei

43-57 zile

-20%

Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7909

Editat de Keith Duddy et al.

25 mai 2013

Preț: 409^.92 lei 512^.40 lei

43-57 zile

-20%

ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7920

Editat de Giuseppe Castagna

6 iun 2013

Preț: 342^.11 lei 427^.64 lei

43-57 zile

-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

43-57 zile

-20%

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7935

Editat de Francesco Logozzo et al.

6 iun 2013

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

43-57 zile

-20%

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Lecture Notes in Computer Science, nr. 7938

Editat de Marco Bernardo et al.

7 iun 2013

Preț: 287^.51 lei 359^.38 lei

43-57 zile

-20%

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7942

Editat de Margus Veanes et al.

7 iun 2013

Preț: 410^.23 lei 512^.80 lei

43-57 zile

-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

43-57 zile

-20%

Theory, Practice, and Applications of Rules on the Web: 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8035

Editat de Leora Morgenstern et al.

19 iul 2013

Preț: 291^.13 lei 363^.91 lei

43-57 zile

-20%

Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8063

Editat de João M. Lourenço et al.

14 iul 2013

Preț: 284^.33 lei 355^.41 lei

43-57 zile

-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

43-57 zile

-20%

Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8088

Editat de Walter Binder et al.

30 iul 2013

Preț: 313^.10 lei 391^.37 lei

43-57 zile

-20%

Service-Oriented and Cloud Computing: Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8135

Editat de Kung-Kiu Lau et al.

21 aug 2013

Preț: 290^.51 lei 363^.14 lei

43-57 zile

-20%

Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E)

Lecture Notes in Computer Science, nr. 8339

Editat de S. Tucker Taft et al.

15 ian 2014

Preț: 978^.60 lei 1223^.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%

Service-Oriented and Cloud Computing: Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8745

Editat de Massimo Villari et al.

22 sep 2014

Preț: 315^.16 lei 393^.95 lei

43-57 zile

-20%

Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8831

Editat de Xavier Franch et al.

27 oct 2014

Preț: 335^.29 lei 419^.11 lei

43-57 zile

-20%

Usability- and Accessibility-Focused Requirements Engineering: First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9312

Editat de Achim Ebert et al.

9 sep 2016

Preț: 315^.31 lei 394^.14 lei

43-57 zile

-20%

Service-Oriented Computing: 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9435

Editat de Alistair Barros et al.

26 noi 2015

Preț: 330^.36 lei 412^.95 lei

43-57 zile

-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

43-57 zile

-20%

Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9823

Editat de Ivica Crnkovic et al.

26 aug 2016

Preț: 313^.24 lei 391^.55 lei

43-57 zile

-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

43-57 zile

-20%

Analytical and Stochastic Modelling Techniques and Applications: 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9845

Editat de Sabine Wittevrongel et al.

4 aug 2016

Preț: 321^.17 lei 401^.46 lei

43-57 zile

-20%

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9846

Editat de Marco Aiello et al.

25 aug 2016

Preț: 318^.80 lei 398^.50 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%

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9889

Editat de Fernando Castor et al.

18 sep 2016

Preț: 315^.16 lei 393^.95 lei

43-57 zile

-20%

Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9892

Editat de Michel Rueher

23 aug 2016

Preț: 650^.32 lei 812^.90 lei

43-57 zile

-20%

Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9893

Editat de Ladjel Bellatreche et al.

7 sep 2016

Preț: 323^.73 lei 404^.66 lei

43-57 zile

-20%

OpenMP: Memory, Devices, and Tasks: 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9903

Editat de Naoya Maruyama et al.

21 sep 2016

Preț: 323^.10 lei 403^.87 lei

43-57 zile

-20%

Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9922

Editat de Amund Skavhaug et al.

4 sep 2016

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

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 9923

Editat de Amund Skavhaug et al.

sep 2016

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

43-57 zile

-20%

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9933

Editat de Maurice H. ter Beek et al.

14 sep 2016

Preț: 318^.17 lei 397^.71 lei

43-57 zile

-20%

Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9936

Editat de Quan Z. Sheng et al.

20 sep 2016

Preț: 647^.77 lei 809^.72 lei

43-57 zile

-20%

Programming with Actors: State-of-the-Art and Research Perspectives

Lecture Notes in Computer Science, nr. 10789

Editat de Alessandro Ricci et al.

7 sep 2018

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

43-57 zile

-20%

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11119

Editat de Falk Howar et al.

30 aug 2018

Preț: 320^.37 lei 400^.47 lei

43-57 zile

-20%

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments: Second International Conference, ISDDC 2018, Vancouver, BC, Canada, November 28–30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11317

Editat de Issa Traore et al.

31 oct 2018

Preț: 312^.92 lei 391^.15 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%

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%

Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11178

Editat de Rena Bakhshi et al.

3 oct 2018

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

43-57 zile

-20%

Programming and Software Engineering

Editat de Elena Giachino et al.

26 aug 2013

Preț: 291^.39 lei 364^.24 lei

43-57 zile

-20%

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 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. 11533

Editat de Hanne Riis Nielson et al.

5 iun 2019

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

43-57 zile

-20%

Reuse in the Big Data Era: 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11602

Editat de Xin Peng et al.

19 iun 2019

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

43-57 zile

-20%

Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12007

Editat de Ekaterina Komendantskaya et al.

17 ian 2020

Preț: 317^.68 lei 397^.10 lei

43-57 zile

-20%

Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings

Lecture Notes in Computer Science, nr. 12018

Editat de Farhad Arbab et al.

13 feb 2020

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

43-57 zile

-20%

Software Architecture: 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12857

Editat de Stefan Biffl et al.

26 aug 2021

Preț: 568^.52 lei 710^.66 lei

43-57 zile

-20%

OpenMP: Enabling Massive Node-Level Parallelism: 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12870

Editat de Simon McIntosh-Smith et al.

14 aug 2021

Preț: 453^.77 lei 567^.21 lei

43-57 zile

-20%

Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12914

Editat de Una-May O'Reilly et al.

oct 2021

Preț: 341^.88 lei 427^.35 lei

43-57 zile

-20%

Formal Methods for Industrial Critical Systems

Programming and Software Engineering

Editat de Alberto Lluch Lafuente et al.

10 aug 2021

Preț: 319^.36 lei 399^.20 lei

43-57 zile

-20%

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12031

Editat de Supratik Chakraborty et al.

14 mar 2020

Preț: 315^.80 lei 394^.74 lei

43-57 zile

-20%

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment: Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12055

Editat de Jean-Michel Bruel et al.

19 ian 2020

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

43-57 zile

-20%

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12853

Editat de Ibrahim Habli et al.

7 aug 2021

Preț: 568^.08 lei 710^.09 lei

43-57 zile

-20%

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 13065

Editat de Ezio Bartocci et al.

28 sep 2021

Preț: 342^.96 lei 428^.69 lei

43-57 zile

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering