Programming and Software Engineering

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%

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%

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%

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^.97 lei 434^.96 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%

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%

Programming and Software Engineering

Editat de Hossein Hojjat et al.

22 sep 2019

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

Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9333

Editat de Ezio Bartocci et al.

11 sep 2015

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

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9338

Editat de Floor Koornneef et al.

12 sep 2015

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

6-8 săpt.

-20%

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%

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%

Requirements Engineering: Foundation for Software Quality

Programming and Software Engineering

Editat de Samuel A. Fricker et al.

12 mar 2015

Preț: 323^.62 lei 404^.53 lei

6-8 săpt.

-20%

OpenMP: 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%

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%

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%

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9407

Editat de Michael Butler et al.

2 dec 2015

Preț: 327^.67 lei 409^.59 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9409

Editat de Xuandong Li et al.

27 oct 2015

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

6-8 săpt.

-20%

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%

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

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ț: 330^.54 lei 413^.16 lei

6-8 săpt.

-20%

Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10760

Editat de Marten Lohstroh et al.

20 iul 2018

Preț: 332^.60 lei 415^.75 lei

6-8 săpt.

-20%

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10951

Editat de Klaus Havelund et al.

12 iul 2018

Preț: 585^.31 lei 731^.65 lei

6-8 săpt.

-20%

Web Services – ICWS 2018: 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10966

Editat de Hai Jin et al.

19 iun 2018

Preț: 330^.98 lei 413^.73 lei

6-8 săpt.

-20%

Services Computing – SCC 2018: 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10969

Editat de João Eduardo Ferreira et al.

19 iun 2018

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

6-8 săpt.

-20%

Services – SERVICES 2018: 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10975

Editat de Alvin Yang et al.

23 iun 2018

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

6-8 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10998

Editat de Xinyu Feng et al.

26 aug 2018

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

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11008

Editat de John Hooker

23 aug 2018

Preț: 644^.13 lei 805^.17 lei

6-8 săpt.

-20%

Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11023

Editat de Carlo A. Furia et al.

9 aug 2018

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Lecture Notes in Computer Science, nr. 11026

Editat de Amel Bennaceur et al.

21 iul 2018

Preț: 373^.16 lei 466^.46 lei

6-8 săpt.

-20%

Programming and Performance Visualization Tools: International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11027

Editat de Abhinav Bhatele et al.

25 apr 2019

Preț: 374^.60 lei 468^.25 lei

6-8 săpt.

-20%

Search-Based Software Engineering: 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11036

Editat de Thelma Elita Colanzi et al.

22 aug 2018

Preț: 434^.66 lei 543^.33 lei

6-8 săpt.

-20%

Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11048

Editat de Carlos E. Cuesta et al.

15 sep 2018

Preț: 433^.87 lei 542^.33 lei

6-8 săpt.

-20%

Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11092

Editat de Christoph Benzmüller et al.

24 aug 2018

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Programming and Software Engineering

Editat de Simon Collart-Dutilleul et al.

24 apr 2019

Preț: 376^.87 lei 471^.08 lei

6-8 săpt.

-20%

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11002

Editat de Andreas Podelski

29 aug 2018

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11093

Editat de Barbara Gallina et al.

17 aug 2018

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

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11094

Editat de Barbara Gallina et al.

21 aug 2018

Preț: 524^.62 lei 655^.78 lei

6-8 săpt.

-20%

Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11106

Editat de Jarkko Kari et al.

22 aug 2018

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

6-8 săpt.

-20%

Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11116

Editat de Kyriakos Kritikos et al.

31 aug 2018

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

6-8 săpt.

-20%

Evolving OpenMP for Evolving Architectures: 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11128

Editat de Bronis R. de Supinski et al.

29 aug 2018

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

6-8 săpt.

-20%

Performance Evaluation and Benchmarking for the Era of Artificial Intelligence: 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11135

Editat de Raghunath Nambiar et al.

30 ian 2019

Preț: 313^.87 lei 392^.34 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11138

Editat de Shuvendu K. Lahiri et al.

30 sep 2018

Preț: 366^.09 lei 457^.61 lei

38-44 zile

-20%

Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11146

Editat de Inmaculada Medina-Bulo et al.

7 sep 2018

Preț: 314^.54 lei 393^.17 lei

6-8 săpt.

-20%

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11222

Editat de Kyungmin Bae et al.

7 oct 2018

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

6-8 săpt.

-20%

Service-Oriented Computing: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11236

Editat de Claus Pahl et al.

7 noi 2018

Preț: 650^.02 lei 812^.52 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11254

Editat de Tiago Massoni et al.

24 oct 2018

Preț: 373^.80 lei 467^.25 lei

6-8 săpt.

-20%

Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11294

Editat de Ruzica Piskac et al.

24 noi 2018

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

6-8 săpt.

-20%

Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11381

Editat de Sunita Chandrasekaran et al.

24 ian 2019

Preț: 312^.79 lei 390^.99 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11412

Editat de Eric Knauss et al.

8 mar 2019

Preț: 430^.40 lei 538^.01 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11781

Editat de Yu-Fang Chen et al.

6 oct 2019

Preț: 332^.42 lei 415^.53 lei

6-8 săpt.

-20%

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11800

Editat de Maurice H. ter Beek et al.

15 sep 2019

Preț: 343^.53 lei 429^.41 lei

6-8 săpt.

-20%

Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11815

Editat de Klaus-Dieter Schewe et al.

8 oct 2019

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

6-8 săpt.

-20%

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11823

Editat de Dirk Beyer et al.

11 sep 2019

Preț: 316^.11 lei 395^.14 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ț: 315^.16 lei 393^.95 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ț: 324^.35 lei 405^.44 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ț: 400^.51 lei 500^.64 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ț: 333^.68 lei 417^.09 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ț: 399^.09 lei 498^.86 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ț: 328^.29 lei 410^.37 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ț: 318^.48 lei 398^.10 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ț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Bor-Yuh Evan Chang

6 oct 2019

Preț: 331^.17 lei 413^.96 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ț: 322^.43 lei 403^.04 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ț: 317^.05 lei 396^.31 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ț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Yamine Ait-Ameur et al.

6 oct 2019

Preț: 334^.04 lei 417^.55 lei

6-8 săpt.

-20%

Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11434

Editat de Xiao Liu et al.

10 apr 2019

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

Rules and Reasoning: Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11784

Editat de Paul Fodor et al.

14 sep 2019

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

6-8 săpt.

-20%

Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11812

Editat de Christophe Gaston et al.

18 sep 2019

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

6-8 săpt.

-20%

Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11842

Editat de Yiannis Papadopoulos et al.

18 oct 2019

Preț: 324^.35 lei 405^.44 lei

6-8 săpt.

-20%

On the Move to Meaningful Internet Systems: OTM 2019 Conferences: Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11877

Editat de Hervé Panetto et al.

11 oct 2019

Preț: 588^.99 lei 736^.24 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ț: 316^.11 lei 395^.14 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ț: 461^.21 lei 576^.51 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ț: 332^.29 lei 415^.36 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ț: 317^.55 lei 396^.94 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ț: 313^.87 lei 392^.34 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ț: 311^.84 lei 389^.81 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ț: 483^.03 lei 603^.78 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ț: 324^.35 lei 405^.44 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ț: 320^.86 lei 401^.08 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ț: 321^.49 lei 401^.86 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ț: 690^.90 lei 863^.62 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering