Filtre: Engleză Paperback

Programming and Software Engineering

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

43-57 zile

-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

43-57 zile

-20%

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8430

Editat de Julia M. Badger et al.

2 apr 2014

Preț: 324^.03 lei 405^.04 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Programming and Software Engineering

Editat de Martina Seidl et al.

4 aug 2014

Preț: 317^.50 lei 396^.88 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

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%

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%

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

Lecture Notes in Computer Science, nr. 9509

Editat de Domenico Bianculli et al.

3 feb 2016

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

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 Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Lecture Notes in Computer Science, nr. 9640

Editat de Rogério de Lemos et al.

18 ian 2018

Preț: 326^.87 lei 408^.59 lei

43-57 zile

-20%

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Lecture Notes in Computer Science, nr. 9715

Editat de Jeremy Gibbons et al.

29 mar 2018

Preț: 315^.16 lei 393^.95 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%

Service-Oriented Computing – ICSOC 2016 Workshops: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10380

Editat de Khalil Drira et al.

27 oct 2017

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

43-57 zile

-20%

Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10416

Editat de J. Christopher Beck

23 aug 2017

Preț: 341^.79 lei 427^.24 lei

43-57 zile

-20%

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10422

Editat de Francesco Ranzato

21 aug 2017

Preț: 328^.79 lei 410^.99 lei

43-57 zile

-20%

Search Based Software Engineering: 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10452

Editat de Tim Menzies et al.

17 aug 2017

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

43-57 zile

-20%

Lectures on Runtime Verification: Introductory and Advanced Topics

Lecture Notes in Computer Science, nr. 10457

Editat de Ezio Bartocci et al.

11 feb 2018

Preț: 399^.27 lei 499^.08 lei

43-57 zile

-20%

Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10465

Editat de Flavio De Paoli et al.

sep 2017

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

43-57 zile

-20%

Scaling OpenMP for Exascale Performance and Portability: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10468

Editat de Bronis R. de Supinski et al.

17 aug 2017

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

43-57 zile

-20%

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10471

Editat de Laure Petrucci et al.

25 aug 2017

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

43-57 zile

-20%

Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10475

Editat de Antónia Lopes et al.

16 aug 2017

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

43-57 zile

-20%

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10479

Editat de Alexander Romanovsky et al.

12 aug 2017

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

43-57 zile

-20%

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10482

Editat de Deepak D'Souza et al.

4 oct 2017

Preț: 329^.60 lei 412^.00 lei

43-57 zile

-20%

Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10487

Editat de José Proença et al.

14 sep 2017

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

43-57 zile

-20%

Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10488

Editat de Stefano Tonetta et al.

17 aug 2017

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

43-57 zile

-20%

Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10497

Editat de Philipp Reinecke et al.

15 aug 2017

Preț: 320^.72 lei 400^.90 lei

43-57 zile

-20%

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10500

Editat de Joost-Pieter Katoen et al.

29 sep 2017

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

43-57 zile

-20%

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10510

Editat de Nadia Polikarpova et al.

27 aug 2017

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

43-57 zile

-20%

Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10522

Editat de Mehdi Dastani et al.

11 oct 2017

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

43-57 zile

-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

43-57 zile

-20%

Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10533

Editat de Nina Yevtushenko et al.

15 sep 2017

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

43-57 zile

-20%

Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10548

Editat de Shuvendu Lahiri et al.

6 sep 2017

Preț: 327^.19 lei 408^.99 lei

43-57 zile

-20%

SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10567

Editat de Tibor Csöndes et al.

7 sep 2017

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

43-57 zile

-20%

On the Move to Meaningful Internet Systems. OTM 2017 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II

Lecture Notes in Computer Science, nr. 10574

Editat de Hervé Panetto et al.

21 oct 2017

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

43-57 zile

-20%

Programming and Software Engineering

Editat de José Luiz Fiadeiro et al.

30 iul 2014

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

43-57 zile

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10598

Editat de Alessandro Fantechi et al.

20 oct 2017

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

43-57 zile

-20%

Programming and Software Engineering

Editat de Stefan Trausan-Matu et al.

21 mai 2014

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

43-57 zile

-15%

Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10563

Editat de Yassine Ouhammou et al.

6 sep 2017

Preț: 325^.30 lei 406^.63 lei

43-57 zile

-20%

Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10601

Editat de Michael Maximilien et al.

19 oct 2017

Preț: 643^.02 lei 803^.77 lei

43-57 zile

-20%

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10606

Editat de Kim Guldstrand Larsen et al.

17 oct 2017

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10610

Editat de Zhenhua Duan et al.

14 oct 2017

Preț: 330^.23 lei 412^.79 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10611

Editat de Michael Felderer et al.

28 oct 2017

Preț: 336^.55 lei 420^.69 lei

43-57 zile

-20%

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments: First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10618

Editat de Issa Traore et al.

11 oct 2017

Preț: 315^.62 lei 394^.52 lei

43-57 zile

-20%

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10623

Editat de Simone Cavalheiro et al.

12 noi 2017

Preț: 390^.68 lei 488^.34 lei

22-36 zile | 5-11 zile

-20%

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10629

Editat de Ofer Strichman et al.

12 noi 2017

Preț: 318^.80 lei 398^.50 lei

43-57 zile

-20%

Performance Evaluation and Benchmarking for the Analytics Era: 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10661

Editat de Raghunath Nambiar et al.

10 ian 2018

Preț: 342^.56 lei 428^.19 lei

43-57 zile

-20%

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence: 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10679

Editat de Manjunath Gorentla Venkata et al.

10 ian 2018

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

43-57 zile

-20%

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10695

Editat de Bor-Yuh Evan Chang

19 noi 2017

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

43-57 zile

-20%

Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10702

Editat de Francesco Calimeri et al.

22 dec 2017

Preț: 283^.04 lei 353^.80 lei

38-44 zile

-20%

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10712

Editat de Andrei Paskevich et al.

15 dec 2017

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

43-57 zile

-20%

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10729

Editat de Antonio Cerone et al.

3 feb 2018

Preț: 515^.51 lei 644^.39 lei

38-44 zile

-20%

Accelerator Programming Using Directives: 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10732

Editat de Sunita Chandrasekaran et al.

31 ian 2018

Preț: 342^.38 lei 427^.97 lei

43-57 zile

-20%

Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10740

Editat de Reinhard German et al.

25 ian 2018

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

43-57 zile

-20%

Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10748

Editat de Martina Seidl et al.

23 ian 2018

Preț: 326^.72 lei 408^.40 lei

43-57 zile

-20%

Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10753

Editat de Erik Kamsties et al.

mar 2018

Preț: 324^.03 lei 405^.04 lei

43-57 zile

-20%

Service-Oriented Computing – ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10797

Editat de Lars Braubach et al.

16 iun 2018

Preț: 325^.92 lei 407^.40 lei

43-57 zile

-20%

New Opportunities for Software Reuse: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10826

Editat de Rafael Capilla et al.

17 apr 2018

Preț: 774^.59 lei 968^.24 lei

43-57 zile

-20%

Coordination Models and Languages: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Lecture Notes in Computer Science, nr. 10852

Editat de Giovanna Di Marzo Serugendo et al.

30 mai 2018

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

43-57 zile

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10854

Editat de Christel Baier et al.

30 mai 2018

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

43-57 zile

-20%

Intelligent Tutoring Systems: 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10858

Editat de Roger Nkambou et al.

17 mai 2018

Preț: 387^.47 lei

43-57 zile

It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Lecture Notes in Computer Science, nr. 10865

Editat de Frank de Boer et al.

7 apr 2018

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

43-57 zile

-20%

Reliable Software Technologies – Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10873

Editat de António Casimiro et al.

26 mai 2018

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

43-57 zile

-20%

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10889

Editat de Catherine Dubois et al.

3 iun 2018

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

43-57 zile

-20%

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering: 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11150

Editat de Ferhat Khendek et al.

26 sep 2018

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

43-57 zile

-20%

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Lecture Notes in Computer Science, nr. 11174

Editat de Jonathan P. Bowen et al.

13 noi 2018

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

43-57 zile

-20%

On the Move to Meaningful Internet Systems. OTM 2018 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

Lecture Notes in Computer Science, nr. 11230

Editat de Hervé Panetto et al.

18 oct 2018

Preț: 335^.74 lei 419^.68 lei

43-57 zile

-20%

Human-Centered Software Engineering: 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11262

Editat de Cristian Bogdan et al.

31 dec 2018

Preț: 323^.41 lei 404^.26 lei

43-57 zile

-20%

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity: 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11283

Editat de Swaroop Pophale et al.

19 mar 2019

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

43-57 zile

-20%

Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11372

Editat de José Júlio Alferes et al.

19 dec 2018

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

43-57 zile

-20%

Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11681

Editat de Tomas Bures et al.

30 aug 2019

Preț: 355^.79 lei 444^.73 lei

22-36 zile | 5-11 zile

-20%

OpenMP: Conquering the Full Hardware Spectrum: 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11718

Editat de Xing Fan et al.

9 aug 2019

Preț: 431^.48 lei 539^.35 lei

43-57 zile

-20%

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11732

Editat de Radu Calinescu et al.

5 sep 2019

Preț: 313^.74 lei 392^.17 lei

43-57 zile

-20%

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11753

Editat de Pau Fonseca i Casas et al.

7 sep 2019

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

43-57 zile

-20%

Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11771

Editat de Manuel Mazzara et al.

28 aug 2019

Preț: 326^.55 lei 408^.19 lei

43-57 zile

-20%

Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11802

Editat de Thomas Schiex et al.

30 aug 2019

Preț: 344^.48 lei 430^.60 lei

43-57 zile

-20%

Rules and Reasoning: 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12173

Editat de Víctor Gutiérrez-Basulto et al.

19 aug 2020

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

43-57 zile

-20%

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12226

Editat de Javier Camara et al.

10 sep 2020

Preț: 456^.14 lei 570^.17 lei

43-57 zile

-20%

Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12227

Editat de Ivan Lanese et al.

9 iul 2020

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

43-57 zile

-20%

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12229

Editat de Ritchie Lee et al.

9 aug 2020

Preț: 464^.56 lei 580^.70 lei

43-57 zile

-20%

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Lecture Notes in Computer Science, nr. 12232

Editat de Emil Sekerinski et al.

13 aug 2020

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

43-57 zile

-20%

Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12234

Editat de António Casimiro et al.

20 aug 2020

Preț: 574^.38 lei 717^.98 lei

43-57 zile

-20%

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12235

Editat de António Casimiro et al.

6 aug 2020

Preț: 572^.34 lei 715^.42 lei

43-57 zile

-20%

Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12257

Editat de Raghunath Nambiar et al.

30 iul 2020

Preț: 314^.22 lei 392^.77 lei

43-57 zile

-20%

Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers

Lecture Notes in Computer Science, nr. 12271

Editat de Jean-Michel Bruel et al.

12 aug 2020

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

43-57 zile

-20%

OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12295

Editat de Kent Milfeld et al.

2 sep 2020

Preț: 486^.66 lei 608^.32 lei

43-57 zile

-20%

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12327

Editat de Maurice H. ter Beek et al.

29 aug 2020

Preț: 320^.72 lei 400^.90 lei

43-57 zile

-20%

Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12333

Editat de Helmut Simonis

7 sep 2020

Preț: 981^.45 lei 1226^.82 lei

43-57 zile

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering