Programming and Software Engineering

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8471

Editat de Dimitra Giannakopoulou et al.

28 oct 2014

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8552

Editat de Ugo Dal Lago et al.

6 noi 2014

Preț: 259^.19 lei 323^.98 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%

Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8721

Editat de András Horváth et al.

23 sep 2014

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

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%

Using and Improving OpenMP for Devices, Tasks, and More: 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8766

Editat de Luiz DeRose et al.

23 sep 2014

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8767

Editat de Juergen Dingel et al.

22 sep 2014

Preț: 339^.73 lei 424^.65 lei

6-8 săpt.

-20%

System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8769

Editat de Daniel Amyot et al.

12 sep 2014

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

6-8 săpt.

-20%

Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8771

Editat de Fernando Magno Quintao Pereira

22 sep 2014

Preț: 259^.19 lei 323^.98 lei

6-8 săpt.

-20%

Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8785

Editat de István Majzik et al.

25 sep 2014

Preț: 260^.30 lei 325^.37 lei

6-8 săpt.

-20%

Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8822

Editat de Frank Ortmeier et al.

2 oct 2014

Preț: 316^.11 lei 395^.14 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8829

Editat de Stephan Merz et al.

23 sep 2014

Preț: 328^.48 lei 410^.60 lei

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%

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8855

Editat de Eran Yahav

6 noi 2014

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

6-8 săpt.

-20%

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8858

Editat de Jacques Garrigue

23 oct 2014

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

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8892

Editat de Andreas Jedlitschka et al.

20 noi 2014

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

6-8 săpt.

-20%

Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8934

Editat de Petr Hliněný et al.

26 ian 2015

Preț: 259^.19 lei 323^.98 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%

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%

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%

Coordination Models and Languages: 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9037

Editat de Tom Holvoet et al.

13 mai 2015

Preț: 318^.17 lei 397^.71 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%

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9129

Editat de Ralf Hinze et al.

12 iun 2015

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

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9131

Editat de Enrico Pontelli et al.

iun 2015

Preț: 258^.73 lei 323^.41 lei

6-8 săpt.

-20%

Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9138

Editat de Jean Krivine et al.

iul 2015

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9152

Editat de Dimitris Kolovos et al.

7 iul 2015

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-20%

Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9153

Editat de Gabriele Taentzer et al.

9 iul 2015

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

6-8 săpt.

-20%

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9154

Editat de Jasmin Christian Blanchette et al.

iul 2015

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9202

Editat de Nick Bassiliades et al.

23 iul 2015

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

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9255

Editat de Gilles Pesant

13 aug 2015

Preț: 342^.25 lei 427^.81 lei

6-8 săpt.

-20%

Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9272

Editat de Marta Beltrán et al.

14 aug 2015

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

6-8 săpt.

-20%

Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9274

Editat de Alessandro Fantechi et al.

19 aug 2015

Preț: 258^.41 lei 323^.01 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%

Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9278

Editat de Danny Weyns et al.

26 aug 2015

Preț: 347^.72 lei 434^.65 lei

38-44 zile

-20%

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Lecture Notes in Computer Science, nr. 9300

Editat de Lev D. Beklemishev et al.

27 aug 2015

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9306

Editat de Schahram Dustdar et al.

8 sep 2015

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

6-8 săpt.

-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

6-8 săpt.

-20%

Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9325

Editat de Alberto Pardo et al.

15 noi 2015

Preț: 258^.41 lei 323^.01 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%

OpenMP: Heterogenous Execution and Data Movements: 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9342

Editat de Christian Terboven et al.

20 oct 2015

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

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9364

Editat de Bernd Finkbeiner et al.

22 noi 2015

Preț: 331^.17 lei 413^.96 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%

Globalizing Domain-Specific Languages: International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

Lecture Notes in Computer Science, nr. 9400

Editat de Benoit Combemale et al.

10 noi 2015

Preț: 256^.18 lei 320^.22 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%

Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9409

Editat de Xuandong Li et al.

27 oct 2015

Preț: 321^.81 lei 402^.26 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%

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9434

Editat de Nir Piterman

27 oct 2015

Preț: 320^.55 lei 400^.68 lei

6-8 săpt.

-20%

Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9447

Editat de Khaled El-Fakih et al.

10 noi 2015

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

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%

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%

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%

Programming and Software Engineering

Editat de Rocco De Nicola et al.

4 feb 2015

Preț: 342^.00 lei 427^.51 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%

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%

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%

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%

Formal Methods for Industrial Critical Systems

Programming and Software Engineering

Editat de Manuel Núñez et al.

27 mai 2015

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

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

6-8 săpt.

-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

6-8 săpt.

-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

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%

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

6-8 săpt.

-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

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%

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%

Formal Techniques for Distributed Objects, Components, and Systems

Programming and Software Engineering

Editat de Susanne Graf et al.

13 mai 2015

Preț: 319^.15 lei 398^.93 lei

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9938

Editat de Cyrille Artho et al.

22 sep 2016

Preț: 331^.48 lei 414^.35 lei

6-8 săpt.

-20%

Computer Performance Engineering: 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9951

Editat de Dieter Fiems et al.

16 sep 2016

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Scala: From a Functional Programming Perspective: An Introduction to the Programming Language

Lecture Notes in Computer Science, nr. 9980

Autor Vicenç Torra

21 sep 2016

Preț: 312^.30 lei 390^.38 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering