Programming and Software Engineering

Universal Access in Human-Computer Interaction. Applications and Services: 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held as Part of HCi International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part III

Lecture Notes in Computer Science, nr. 4556

Editat de Constantine Stephanidis

29 iun 2007

Preț: 677^.38 lei 846^.72 lei

6-8 săpt.

-20%

Software Process and Product Measurement: International Conference, IWSM–MENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers

Lecture Notes in Computer Science, nr. 4895

Editat de Juan J. Cuadrado-Gallego et al.

25 aug 2008

Preț: 327^.16 lei 408^.95 lei

6-8 săpt.

-20%

Service-Oriented Computing - ICSOC 2007 Workshops: ICSOC 2007 International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4907

Editat de Matei Ripeanu

20 ian 2009

Preț: 339^.43 lei 424^.29 lei

6-8 săpt.

-20%

Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4937

Editat de Marlon Dumas et al.

11 apr 2008

Preț: 325^.54 lei 406^.93 lei

6-8 săpt.

-20%

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Lecture Notes in Computer Science, nr. 4966

Editat de Bernhard Beckert et al.

31 mar 2008

Preț: 326^.51 lei 408^.14 lei

6-8 săpt.

-20%

Ada 2005 Rationale: The Language, The Standard Libraries

Lecture Notes in Computer Science, nr. 5020

Autor John Barnes

20 mai 2008

Preț: 332^.07 lei 415^.10 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5025

Editat de Barbara Paech et al.

30 mai 2008

Preț: 327^.16 lei 408^.95 lei

6-8 săpt.

-20%

Secure Transaction Protocol Analysis: Models and Applications

Lecture Notes in Computer Science, nr. 5111

Autor Qingfeng Chen et al.

30 iul 2008

Preț: 328^.00 lei 409^.99 lei

6-8 săpt.

-20%

Times of Convergence. Technologies Across Learning Contexts: Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5192

Editat de Pierre Dillenbourg et al.

8 sep 2008

Preț: 398^.30 lei

6-8 săpt.

Recent Advances in Parallel Virtual Machine and Message Passing Interface: 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5205

Editat de Alexey Lastovetsky et al.

28 aug 2008

Preț: 334^.54 lei 418^.17 lei

6-8 săpt.

-20%

Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5281

Editat de Steffen Becker et al.

7 oct 2008

Preț: 328^.83 lei 411^.03 lei

6-8 săpt.

-20%

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5295

Editat de Natarajan Shankar et al.

22 sep 2008

Preț: 330^.46 lei 413^.07 lei

6-8 săpt.

-20%

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5387

Editat de Roberto Bruni et al.

19 mai 2009

Preț: 328^.83 lei 411^.03 lei

6-8 săpt.

-20%

Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures

Lecture Notes in Computer Science, nr. 5413

Editat de Andrea de Lucia et al.

2 feb 2009

Preț: 385^.91 lei 482^.38 lei

6-8 săpt.

-20%

Software Language Engineering: First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5452

Editat de Dragan Gaševic et al.

2 apr 2009

Preț: 334^.38 lei 417^.98 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5512

Editat de Martin Glinz et al.

27 mai 2009

Preț: 331^.29 lei 414^.11 lei

6-8 săpt.

-20%

Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5570

Editat de Fabrice Kordon et al.

25 mai 2009

Preț: 331^.29 lei 414^.11 lei

6-8 săpt.

-20%

Software Composition: 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5634

Editat de Alexandre Bergel et al.

22 iun 2009

Preț: 325^.54 lei 406^.93 lei

6-8 săpt.

-20%

Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5668

Editat de Catherine Dubois

24 iun 2009

Preț: 324^.89 lei 406^.12 lei

6-8 săpt.

-20%

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5673

Editat de Jens Palsberg et al.

20 iul 2009

Preț: 335^.35 lei 419^.19 lei

6-8 săpt.

-20%

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Lecture Notes in Computer Science, nr. 5779

Editat de Saddek Bensalem et al.

23 sep 2009

Preț: 326^.37 lei 407^.97 lei

6-8 săpt.

-20%

Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

Lecture Notes in Computer Science, nr. 5858

Editat de Adrian Paschke et al.

15 oct 2009

Preț: 335^.35 lei 419^.19 lei

6-8 săpt.

-20%

Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5900

Editat de Luciano Baresi et al.

17 noi 2009

Preț: 660^.05 lei 825^.07 lei

6-8 săpt.

-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ț: 327^.16 lei 408^.95 lei

6-8 săpt.

-20%

Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11761

Editat de Hossein Hojjat et al.

22 sep 2019

Preț: 328^.83 lei 411^.03 lei

6-8 săpt.

-20%

Analytical and Stochastic Modelling Techniques and Applications: 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings

Lecture Notes in Computer Science, nr. 12023

Editat de Marco Gribaudo et al.

8 noi 2020

Preț: 325^.22 lei 406^.52 lei

6-8 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12153

Editat de Jun Pang et al.

9 noi 2020

Preț: 326^.19 lei 407^.75 lei

6-8 săpt.

-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ț: 470^.87 lei 588^.59 lei

6-8 săpt.

-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ț: 479^.57 lei 599^.46 lei

6-8 săpt.

-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ț: 342^.07 lei 427^.59 lei

6-8 săpt.

-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ț: 593^.05 lei 741^.31 lei

6-8 săpt.

-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ț: 590^.92 lei 738^.65 lei

6-8 săpt.

-20%

Software Architecture: 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12292

Editat de Anton Jansen et al.

10 sep 2020

Preț: 334^.72 lei 418^.39 lei

6-8 săpt.

-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ț: 502^.43 lei 628^.03 lei

6-8 săpt.

-20%

Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12297

Editat de Marc Zeller et al.

4 sep 2020

Preț: 413^.41 lei 516^.76 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12302

Editat de Dang Van Hung et al.

12 oct 2020

Preț: 344^.35 lei 430^.44 lei

6-8 săpt.

-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ț: 1013^.61 lei 1267^.00 lei

6-8 săpt.

-20%

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Lecture Notes in Computer Science, nr. 12345

Editat de Wolfgang Ahrendt et al.

9 dec 2020

Preț: 332^.72 lei 415^.91 lei

6-8 săpt.

-20%

Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12389

Editat de David Pichardie et al.

13 ian 2021

Preț: 476^.10 lei 595^.13 lei

6-8 săpt.

-20%

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12399

Editat de Jyotirmoy Deshmukh et al.

8 oct 2020

Preț: 342^.91 lei 428^.63 lei

6-8 săpt.

-20%

Web Services – ICWS 2020: 27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12406

Editat de Wei-Shinn Ku et al.

19 sep 2020

Preț: 327^.66 lei 409^.58 lei

6-8 săpt.

-20%

Services Computing – SCC 2020: 17th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12409

Editat de Qingyang Wang et al.

13 sep 2020

Preț: 323^.88 lei 404^.85 lei

6-8 săpt.

-20%

Services – SERVICES 2020: 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12411

Editat de Joao Eduardo Ferreira et al.

17 sep 2020

Preț: 321^.78 lei 402^.23 lei

6-8 săpt.

-20%

Search-Based Software Engineering: 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12420

Editat de Aldeida Aleti et al.

30 sep 2020

Preț: 498^.67 lei 623^.33 lei

6-8 săpt.

-20%

Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12470

Editat de Bruno C. d. S. Oliveira

27 noi 2020

Preț: 334^.72 lei 418^.39 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12475

Editat de Gustavo Carvalho et al.

20 noi 2020

Preț: 411^.92 lei 514^.90 lei

6-8 săpt.

-20%

Human-Centered Software Engineering: 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 – December 2, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12481

Editat de Regina Bernhaupt et al.

26 noi 2020

Preț: 327^.16 lei 408^.95 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12524

Editat de Loek Cleophas et al.

17 ian 2021

Preț: 332^.40 lei 415^.50 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12531

Editat de Shang-Wei Lin et al.

19 dec 2020

Preț: 332^.72 lei 415^.91 lei

6-8 săpt.

-20%

Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12541

Editat de Sihem Ben Sassi et al.

dec 2020

Preț: 331^.10 lei 413^.87 lei

6-8 săpt.

-20%

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12543

Editat de Valentina Casola et al.

27 noi 2020

Preț: 331^.75 lei 414^.69 lei

6-8 săpt.

-20%

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12546

Editat de Brijesh Dongol et al.

14 noi 2020

Preț: 338^.79 lei 423^.50 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12548

Editat de José F. Morales et al.

16 ian 2021

Preț: 324^.89 lei 406^.12 lei

6-8 săpt.

-20%

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12549

Editat de Maria Christakis et al.

6 dec 2020

Preț: 328^.65 lei 410^.81 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12562

Editat de Maurizio Morisio et al.

21 noi 2020

Preț: 338^.79 lei 423^.50 lei

6-8 săpt.

-20%

Service-Oriented Computing: 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12571

Editat de Eleanna Kafeza et al.

9 dec 2020

Preț: 713^.41 lei 891^.77 lei

6-8 săpt.

-20%

Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12584

Editat de Georg Grossmann et al.

22 dec 2020

Preț: 328^.32 lei 410^.40 lei

6-8 săpt.

-20%

From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12611

Editat de Juliana Bowles et al.

5 mar 2021

Preț: 383^.67 lei 479^.59 lei

6-8 săpt.

-20%

Service-Oriented Computing – ICSOC 2020 Workshops: AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12632

Editat de Hakim Hacid et al.

30 mai 2021

Preț: 348^.15 lei 435^.18 lei

6-8 săpt.

-20%

Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12655

Editat de Sridutt Bhalachandra et al.

17 apr 2021

Preț: 321^.11 lei 401^.38 lei

6-8 săpt.

-20%

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12673

Editat de Aaron Dutle et al.

17 mai 2021

Preț: 590^.27 lei 737^.84 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual Event, June 7–11, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12677

Editat de Alexandra I. Cristea et al.

9 iul 2021

Preț: 399^.82 lei

6-8 săpt.

Requirements Engineering: Foundation for Software Quality: 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12685

Editat de Fabiano Dalpiaz et al.

2 apr 2021

Preț: 327^.66 lei 409^.58 lei

6-8 săpt.

-20%

Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12717

Editat de Ferruccio Damiani et al.

6 iun 2021

Preț: 331^.10 lei 413^.87 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12719

Editat de Kirstin Peters et al.

10 iun 2021

Preț: 328^.14 lei 410^.17 lei

6-8 săpt.

-20%

End-User Development: 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12724

Editat de Daniela Fogli et al.

24 iun 2021

Preț: 328^.00 lei 409^.99 lei

6-8 săpt.

-20%

Model and Data Engineering: 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12732

Editat de Christian Attiogbé et al.

9 iun 2021

Preț: 332^.25 lei 415^.32 lei

6-8 săpt.

-20%

Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12740

Editat de Frédéric Loulergue et al.

18 iun 2021

Preț: 321^.62 lei 402^.01 lei

6-8 săpt.

-20%

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Lecture Notes in Computer Science, nr. 12750

Editat de Alexander Raschke et al.

4 iun 2021

Preț: 333^.73 lei 417^.17 lei

6-8 săpt.

-20%

Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12805

Editat de Shigeru Yamashita et al.

23 iun 2021

Preț: 329^.63 lei 412^.03 lei

6-8 săpt.

-20%

Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12851

Editat de Sotiris Moschoyiannis et al.

2 dec 2021

Preț: 414^.38 lei 517^.98 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12852

Editat de Ibrahim Habli et al.

8 aug 2021

Preț: 329^.81 lei 412^.25 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12853

Editat de Ibrahim Habli et al.

7 aug 2021

Preț: 586^.51 lei 733^.14 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12857

Editat de Stefan Biffl et al.

26 aug 2021

Preț: 586^.97 lei 733^.72 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12863

Editat de Alberto Lluch Lafuente et al.

10 aug 2021

Preț: 328^.32 lei 410^.40 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12870

Editat de Simon McIntosh-Smith et al.

14 aug 2021

Preț: 468^.42 lei 585^.52 lei

6-8 săpt.

-20%

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12913

Editat de Cezara Drăgoi et al.

14 oct 2021

Preț: 537^.53 lei 671^.91 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 12914

Editat de Una-May O'Reilly et al.

oct 2021

Preț: 352^.82 lei 441^.03 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12971

Editat de Zhe Hou et al.

14 oct 2021

Preț: 504^.56 lei 630^.69 lei

6-8 săpt.

-20%

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12974

Editat de Lu Feng et al.

6 oct 2021

Preț: 501^.76 lei 627^.21 lei

6-8 săpt.

-20%

Web Services – ICWS 2021: 28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12994

Editat de Chengzhong Xu et al.

18 feb 2022

Preț: 350^.20 lei 437^.75 lei

6-8 săpt.

-20%

Services Computing – SCC 2021: 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12995

Editat de Ajay Katangur et al.

24 feb 2022

Preț: 575^.03 lei 718^.79 lei

6-8 săpt.

-20%

Services – SERVICES 2021: 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12996

Editat de Mohamed Adel Serhani et al.

13 feb 2022

Preț: 350^.05 lei 437^.56 lei

6-8 săpt.

-20%

Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13008

Editat de Hakjoo Oh

9 oct 2021

Preț: 501^.44 lei 626^.80 lei

6-8 săpt.

-20%

Advances in Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13012

Editat de Iris Reinhartz-Berger et al.

13 oct 2021

Preț: 351^.16 lei 438^.95 lei

6-8 săpt.

-20%

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13047

Editat de Marieke Huisman et al.

10 noi 2021

Preț: 722^.76 lei 903^.45 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 13065

Editat de Ezio Bartocci et al.

28 sep 2021

Preț: 353^.96 lei 442^.44 lei

6-8 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13071

Editat de Shengchao Qin et al.

14 noi 2021

Preț: 501^.59 lei 626^.99 lei

6-8 săpt.

-20%

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13077

Editat de Gwen Salaün et al.

5 noi 2021

Preț: 296^.46 lei 370^.58 lei

6-8 săpt.

-20%

Performance Engineering and Stochastic Modeling: 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13104

Editat de Paolo Ballarini et al.

27 noi 2021

Preț: 481^.52 lei 601^.90 lei

6-8 săpt.

-20%

Service-Oriented Computing: 19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13121

Editat de Hakim Hacid et al.

18 noi 2021

Preț: 841^.65 lei 1052^.06 lei

6-8 săpt.

-20%

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13124

Editat de Roderick Bloem et al.

22 feb 2022

Preț: 354^.12 lei 442^.66 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13126

Editat de Luca Ardito et al.

24 noi 2021

Preț: 416^.04 lei 520^.05 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13130

Editat de Sérgio Campos et al.

26 noi 2021

Preț: 351^.16 lei 438^.95 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13165

Editat de James Cheney et al.

12 ian 2022

Preț: 411^.79 lei 514^.73 lei

6-8 săpt.

-20%

Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13194

Editat de Sridutt Bhalachandra et al.

15 mai 2022

Preț: 351^.81 lei 439^.77 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering