Filtre: Paperback

Programming and Software Engineering

Editat de Martin Erwig et al.

26 sep 2013

Preț: 326^.27 lei 407^.84 lei

6-8 săpt.

-20%

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8356

Editat de Stephen Poole et al.

4 mar 2014

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

6-8 săpt.

-20%

Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8368

Editat de Steve Counsell et al.

apr 2014

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance: 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8376

Editat de Kai Fischbach et al.

4 mar 2014

Preț: 270^.09 lei 400^.67 lei

Indisponibil temporar

-33%

Models@run.time: Foundations, Applications, and Roadmaps

Lecture Notes in Computer Science, nr. 8378

Editat de Nelly Bencomo et al.

18 iul 2014

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

6-8 săpt.

-20%

Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8379

Editat de Emilio Tuosto et al.

25 iul 2014

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

6-8 săpt.

-20%

Risk Assessment and Risk-Driven Testing: First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8418

Editat de Thomas Bauer et al.

25 iul 2014

Preț: 258^.10 lei 322^.62 lei

6-8 săpt.

-20%

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8442

Editat de Cliff Jones et al.

9 apr 2014

Preț: 642^.89 lei 803^.61 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%

Rules on the Web: From Theory to Applications: 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8620

Editat de Antonis Bikakis et al.

4 aug 2014

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8627

Editat de Paris Avgeriou et al.

4 aug 2014

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Search-Based Software Engineering: 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8636

Editat de Claire Le Goues et al.

8 aug 2014

Preț: 347^.26 lei 434^.08 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8702

Editat de Dimitra Giannakopoulou et al.

4 aug 2014

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

6-8 săpt.

-20%

Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8706

Editat de Benoit Combemale et al.

23 sep 2014

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

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8718

Editat de Frédéric Lang et al.

20 aug 2014

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

6-8 săpt.

-20%

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8739

Editat de Elvira Albert et al.

15 sep 2014

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8748

Editat de Yamine Ait Ameur et al.

23 sep 2014

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

6-8 săpt.

-20%

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%

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%

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%

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%

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%

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%

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^.70 lei 434^.62 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%

Programming and Software Engineering

Editat de Chung-Chien Shan

18 noi 2013

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

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%

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%

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%

Programming and Software Engineering

Editat de Stefan Trausan-Matu et al.

21 mai 2014

Preț: 638^.96 lei 751^.71 lei

6-8 săpt.

-15%

Programming and Software Engineering

Editat de José Luiz Fiadeiro et al.

30 iul 2014

Preț: 326^.07 lei 407^.59 lei

6-8 săpt.

-20%

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%

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%

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%

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%

Theory and Practice of Model Transformations

Programming and Software Engineering

Editat de Davide Di Ruscio et al.

5 aug 2014

Preț: 317^.08 lei 396^.35 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%

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%

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%

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%

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%

Programming and Software Engineering

Editat de Martina Seidl et al.

4 aug 2014

Preț: 317^.50 lei 396^.88 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%

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%

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%

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

Lecture Notes in Computer Science, nr. 9903

Editat de Naoya Maruyama et al.

21 sep 2016

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

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9922

Editat de Amund Skavhaug et al.

4 sep 2016

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

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9923

Editat de Amund Skavhaug et al.

sep 2016

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

6-8 săpt.

-20%

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%

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11460

Editat de Julia M. Badger et al.

28 mai 2019

Preț: 434^.83 lei 543^.54 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering