Programming and Software Engineering

Performance Characterization and Benchmarking. Traditional to Big Data: 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8904

Editat de Raghunath Nambiar et al.

3 mar 2015

Preț: 271^.68 lei 339^.59 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8938

Editat de Carlos Canal et al.

26 feb 2015

Preț: 339^.34 lei 424^.17 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ț: 340^.98 lei 426^.22 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ț: 270^.69 lei 338^.36 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ț: 337^.32 lei 421^.66 lei

6-8 săpt.

-20%

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Lecture Notes in Computer Science, nr. 8998

Editat de Martin Wirsing et al.

18 mar 2015

Preț: 344^.93 lei 431^.16 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9013

Editat de Samuel A. Fricker et al.

12 mar 2015

Preț: 334^.86 lei 418^.57 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ț: 330^.75 lei 413^.44 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 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. 9039

Editat de Susanne Graf et al.

13 mai 2015

Preț: 330^.56 lei 413^.21 lei

6-8 săpt.

-20%

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9058

Editat de Klaus Havelund et al.

9 apr 2015

Preț: 341^.15 lei 426^.44 lei

6-8 săpt.

-20%

Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9081

Editat de Marco Gribaudo et al.

6 mai 2015

Preț: 329^.11 lei 411^.39 lei

6-8 săpt.

-20%

End-User Development: 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9083

Editat de Paloma Díaz et al.

4 mai 2015

Preț: 333^.72 lei 417^.15 lei

6-8 săpt.

-20%

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Lecture Notes in Computer Science, nr. 9104

Editat de Marco Bernardo et al.

19 mai 2015

Preț: 328^.60 lei 410^.75 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ț: 338^.49 lei 423^.11 lei

6-8 săpt.

-20%

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9109

Editat de Nikolaj Bjørner et al.

2 iun 2015

Preț: 348^.72 lei 435^.90 lei

6-8 săpt.

-20%

Reliable Software Technologies – Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9111

Editat de Juan Antonio de la Puente et al.

iun 2015

Preț: 329^.76 lei 412^.21 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Lecture Notes in Computer Science, nr. 9128

Editat de Manuel Núñez et al.

27 mai 2015

Preț: 329^.26 lei 411^.57 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ț: 334^.53 lei 418^.16 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ț: 268^.87 lei 336^.09 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ț: 332^.57 lei 415^.71 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ț: 330^.10 lei 412^.62 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ț: 271^.50 lei 339^.37 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ț: 329^.26 lei 411^.57 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ț: 342^.28 lei 427^.85 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ț: 355^.80 lei 444^.75 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ț: 333^.54 lei 416^.93 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ț: 268^.55 lei 335^.69 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ț: 336^.21 lei 420^.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ț: 336^.67 lei 420^.84 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ț: 321^.57 lei 401^.97 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ț: 334^.20 lei 417^.75 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ț: 331^.58 lei 414^.48 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ț: 327^.77 lei 409^.71 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ț: 268^.55 lei 335^.69 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ț: 340^.13 lei 425^.16 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ț: 340^.49 lei 425^.62 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ț: 332^.06 lei 415^.08 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ț: 335^.69 lei 419^.61 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ț: 344^.27 lei 430^.34 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ț: 271^.34 lei 339^.18 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ț: 266^.22 lei 332^.77 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ț: 340^.64 lei 425^.81 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ț: 334^.53 lei 418^.16 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ț: 270^.19 lei 337^.73 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ț: 333^.22 lei 416^.52 lei

6-8 săpt.

-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ț: 343^.44 lei 429^.30 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ț: 331^.74 lei 414^.67 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ț: 343^.77 lei 429^.71 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ț: 349^.40 lei 436^.75 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ț: 267^.39 lei 334^.24 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ț: 334^.53 lei 418^.16 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ț: 335^.36 lei 419^.20 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ț: 271^.50 lei 339^.37 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ț: 334^.71 lei 418^.38 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ț: 639^.20 lei 799^.00 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ț: 270^.69 lei 338^.36 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ț: 332^.06 lei 415^.08 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ț: 329^.44 lei 411^.80 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ț: 334^.38 lei 417^.97 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ț: 328^.79 lei 410^.98 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ț: 338^.81 lei 423^.52 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ț: 544^.34 lei 680^.42 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ț: 404^.13 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ț: 332^.39 lei 415^.49 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ț: 332^.24 lei 415^.30 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ț: 423^.73 lei 529^.66 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ț: 329^.11 lei 411^.39 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ț: 331^.25 lei 414^.07 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ț: 331^.08 lei 413^.85 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ț: 649^.60 lei 812^.01 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ț: 335^.36 lei 419^.20 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ț: 328^.42 lei 410^.53 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ț: 331^.74 lei 414^.67 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ț: 328^.79 lei 410^.98 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ț: 325^.63 lei 407^.03 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ț: 343^.62 lei 429^.52 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ț: 333^.88 lei 417^.34 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ț: 331^.40 lei 414^.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ț: 337^.66 lei 422^.07 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ț: 327^.62 lei 409^.52 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ț: 676^.48 lei 845^.61 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ț: 336^.54 lei 420^.67 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ț: 335^.88 lei 419^.85 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ț: 334^.71 lei 418^.38 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ț: 338^.35 lei 422^.94 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ț: 330^.75 lei 413^.44 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ț: 673^.83 lei 842^.28 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ț: 344^.60 lei 430^.75 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ț: 329^.58 lei 411^.98 lei

6-8 săpt.

-20%

System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9959

Editat de Jens Grabowski et al.

13 sep 2016

Preț: 330^.42 lei 413^.03 lei

6-8 săpt.

-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ț: 334^.71 lei 418^.38 lei

6-8 săpt.

-20%

Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9964

Editat de Marko van Eekelen et al.

27 sep 2016

Preț: 324^.64 lei 405^.80 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ț: 324^.64 lei 405^.80 lei

6-8 săpt.

-20%

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10012

Editat de Yliès Falcone et al.

20 sep 2016

Preț: 344^.27 lei 430^.34 lei

6-8 săpt.

-20%

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10017

Editat de Atsushi Igarashi

9 oct 2016

Preț: 341^.63 lei 427^.04 lei

6-8 săpt.

-20%

On the Move to Meaningful Internet Systems: OTM 2016 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10033

Editat de Christophe Debruyne et al.

18 oct 2016

Preț: 680^.44 lei 850^.55 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering