Filtre: Paperback Tipărit la comandă

Programming and Software Engineering

Accelerator Programming Using Directives

Editat de Sridutt Bhalachandra et al.

15 mai 2022

Preț: 341^.59 lei 426^.99 lei

43-57 zile

-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

43-57 zile

-20%

Requirements Engineering: Foundation for Software Quality

Programming and Software Engineering

Editat de Fabiano Dalpiaz et al.

2 apr 2021

Preț: 318^.51 lei 398^.15 lei

43-57 zile

-20%

Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11787

Editat de Giancarlo Guizzardi et al.

27 oct 2019

Preț: 319^.42 lei 399^.28 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de Bor-Yuh Evan Chang

6 oct 2019

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-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

43-57 zile

-20%

Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11825

Editat de Graham Hutton

20 oct 2019

Preț: 328^.29 lei 410^.37 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Programming and Software Engineering

Editat de Yamine Ait-Ameur et al.

6 oct 2019

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

43-57 zile

-20%

Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11893

Editat de Anthony Widjaja Lin

9 noi 2019

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11951

Editat de Nan Guan et al.

10 noi 2019

Preț: 313^.10 lei 391^.37 lei

43-57 zile

-20%

Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12007

Editat de Ekaterina Komendantskaya et al.

17 ian 2020

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

43-57 zile

-20%

Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12017

Editat de Sandra Wienke et al.

25 iun 2020

Preț: 314^.04 lei 392^.55 lei

43-57 zile

-20%

Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings

Lecture Notes in Computer Science, nr. 12018

Editat de Farhad Arbab et al.

13 feb 2020

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

43-57 zile

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

Programming and Software Engineering

Editat de Roderick Bloem et al.

22 feb 2022

Preț: 344^.04 lei 430^.06 lei

43-57 zile

-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

43-57 zile

-20%

Programming and Software Engineering

Editat de Hossein Hojjat et al.

22 sep 2019

Preț: 319^.96 lei 399^.94 lei

43-57 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

43-57 zile

-20%

Computer Safety, Reliability, and Security

Programming and Software Engineering

Editat de Ibrahim Habli et al.

8 aug 2021

Preț: 320^.76 lei 400^.94 lei

43-57 zile

-20%

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12031

Editat de Supratik Chakraborty et al.

14 mar 2020

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

43-57 zile

-20%

Computer Performance Engineering: 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12039

Editat de Marco Gribaudo et al.

19 mar 2020

Preț: 314^.04 lei 392^.55 lei

43-57 zile

-20%

Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12040

Editat de Holger Hermanns

6 mar 2020

Preț: 319^.92 lei 399^.90 lei

43-57 zile

-20%

Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12045

Editat de Nazim Madhavji et al.

19 mar 2020

Preț: 321^.17 lei 401^.46 lei

43-57 zile

-20%

Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 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. 12134

Editat de Simon Bliudze et al.

10 iun 2020

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

43-57 zile

-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

43-57 zile

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

43-57 zile

-20%

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12165

Editat de Wolfgang Ahrendt et al.

20 iun 2020

Preț: 315^.00 lei 393^.74 lei

43-57 zile

-20%

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Lecture Notes in Computer Science, nr. 12180

Editat de Andreas Blass et al.

23 mai 2020

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

43-57 zile

-20%

Formal Methods for Industrial Critical Systems

Programming and Software Engineering

Editat de Alberto Lluch Lafuente et al.

10 aug 2021

Preț: 319^.36 lei 399^.20 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de Mohamed Adel Serhani et al.

13 feb 2022

Preț: 339^.75 lei 424^.69 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 II

Lecture Notes in Computer Science, nr. 12233

Editat de Emil Sekerinski et al.

11 aug 2020

Preț: 333^.87 lei 417^.33 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%

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

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%

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

43-57 zile

-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

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%

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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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ț: 322^.11 lei 402^.64 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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ț: 314^.86 lei 393^.57 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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ț: 318^.17 lei 397^.71 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

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ț: 320^.86 lei 401^.08 lei

43-57 zile

-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ț: 318^.00 lei 397^.50 lei

43-57 zile

-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ț: 317^.85 lei 397^.31 lei

43-57 zile

-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ț: 321^.98 lei 402^.47 lei

43-57 zile

-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ț: 311^.67 lei 389^.59 lei

43-57 zile

-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ț: 323^.41 lei 404^.26 lei

43-57 zile

-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ț: 319^.42 lei 399^.28 lei

43-57 zile

-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ț: 401^.45 lei 501^.82 lei

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-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ț: 287^.32 lei 359^.15 lei

43-57 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

43-57 zile

-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

43-57 zile

-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

43-57 zile

-20%

Human-Centered Software Engineering: 9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24–26, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13482

Editat de Regina Bernhaupt et al.

23 aug 2022

Preț: 452^.81 lei 566^.02 lei

43-57 zile

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering