Filtre: Springer International Publishing

Programming and Software Engineering

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ț: 337^.64 lei 422^.04 lei

38-44 zile

-20%

Service-Oriented Computing--ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8377

Editat de Alessio Lomuscio et al.

21 mai 2014

Preț: 634^.94 lei 793^.68 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%

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%

Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8656

Editat de Barry O'Sullivan

19 aug 2014

Preț: 652^.56 lei 815^.69 lei

6-8 săpt.

-20%

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8767

Editat de Juergen Dingel et al.

22 sep 2014

Preț: 339^.73 lei 424^.65 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 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%

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%

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%

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.

NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9690

Editat de Sanjai Rayadurgam et al.

4 iun 2016

Preț: 407^.50 lei 509^.38 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%

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%

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%

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9995

Editat de John Fitzgerald et al.

8 noi 2016

Preț: 344^.30 lei 430^.38 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10027

Editat de Pekka Abrahamsson et al.

6 noi 2016

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

6-8 săpt.

-20%

Theory and Models for Cyber Situation Awareness

Lecture Notes in Computer Science, nr. 10030

Editat de Peng Liu et al.

7 iul 2017

Preț: 344^.26 lei 430^.31 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 10033

Editat de Christophe Debruyne et al.

18 oct 2016

Preț: 654^.12 lei 817^.66 lei

6-8 săpt.

-20%

Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10300

Editat de Johann Blieberger et al.

30 mai 2017

Preț: 345^.82 lei 432^.28 lei

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

3-5 săpt. | 7-13 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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

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%

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%

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%

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%

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%

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

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%

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11237

Editat de Christian Colombo et al.

8 noi 2018

Preț: 492^.67 lei 615^.84 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%

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%

Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11497

Editat de Michael Kirkedal Thomsen et al.

23 mai 2019

Preț: 372^.54 lei 465^.68 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11528

Editat de Andre Coy et al.

30 mai 2019

Preț: 418^.19 lei

3-5 săpt. | 7-13 zile

Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11535

Editat de Jorge A. Pérez et al.

29 mai 2019

Preț: 402^.75 lei 503^.44 lei

6-8 săpt.

-20%

End-User Development: 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11553

Editat de Alessio Malizia et al.

3 iul 2019

Preț: 373^.35 lei 466^.69 lei

6-8 săpt.

-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

3-5 săpt. | 7-13 zile

-20%

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11698

Editat de Alexander Romanovsky et al.

8 aug 2019

Preț: 376^.49 lei 470^.62 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11699

Editat de Alexander Romanovsky et al.

9 aug 2019

Preț: 435^.46 lei 544^.33 lei

6-8 săpt.

-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

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%

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

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%

Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11895

Editat de Sami Yangui et al.

26 oct 2019

Preț: 334^.34 lei 417^.93 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11915

Editat de Xavier Franch et al.

14 noi 2019

Preț: 343^.37 lei 429^.20 lei

6-8 săpt.

-20%

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11918

Editat de Wolfgang Ahrendt et al.

15 noi 2019

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

6-8 săpt.

-20%

Service-Oriented Computing – ICSOC 2019 Workshops: WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12019

Editat de Sami Yangui et al.

12 apr 2020

Preț: 341^.85 lei 427^.31 lei

38-44 zile

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12136

Editat de Alexey Gotsman et al.

10 iun 2020

Preț: 399^.71 lei 499^.64 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12149

Editat de Vivekanandan Kumar et al.

3 iun 2020

Preț: 382^.85 lei

6-8 săpt.

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

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ț: 464^.56 lei 580^.70 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ț: 574^.38 lei 717^.98 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ț: 572^.34 lei 715^.42 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ț: 486^.66 lei 608^.32 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%

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

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%

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%

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%

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%

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%

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ț: 371^.74 lei 464^.68 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ț: 337^.35 lei 421^.69 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ț: 571^.69 lei 714^.62 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ț: 387^.47 lei

6-8 săpt.

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ț: 401^.45 lei 501^.82 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ț: 568^.08 lei 710^.09 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ț: 568^.52 lei 710^.66 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ț: 453^.77 lei 567^.21 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ț: 520^.65 lei 650^.80 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ț: 341^.88 lei 427^.35 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ț: 461^.25 lei 576^.57 lei

3-5 săpt. | 7-13 zile

-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ț: 486^.04 lei 607^.55 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ț: 485^.71 lei 607^.15 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ț: 340^.26 lei 425^.33 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ț: 699^.94 lei 874^.94 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ț: 342^.96 lei 428^.69 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ț: 460^.35 lei 575^.44 lei

3-5 săpt. | 7-13 zile

-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ț: 466^.44 lei 583^.06 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ț: 815^.03 lei 1018^.78 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ț: 398^.95 lei 498^.68 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering