Filtre: Paperback Springer International Publishing

Programming and Software Engineering

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools

Lecture Notes in Computer Science, nr. 8356

Editat de Stephen Poole et al.

4 mar 2014

Preț: 317^.26 lei 396^.57 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8368

Editat de Steve Counsell et al.

apr 2014

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8379

Editat de Emilio Tuosto et al.

25 iul 2014

Preț: 262^.18 lei 327^.73 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8418

Editat de Thomas Bauer et al.

25 iul 2014

Preț: 259^.52 lei 324^.40 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8442

Editat de Cliff Jones et al.

9 apr 2014

Preț: 647^.86 lei 809^.82 lei

6-8 săpt.

-20%

Foundational and Practical Aspects of Resource Analysis

Lecture Notes in Computer Science, nr. 8552

Editat de Ugo Dal Lago et al.

6 noi 2014

Preț: 260^.74 lei 325^.93 lei

6-8 săpt.

-20%

Rules on the Web: From Theory to Applications

Lecture Notes in Computer Science, nr. 8620

Editat de Antonis Bikakis et al.

4 aug 2014

Preț: 325^.44 lei 406^.80 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8627

Editat de Paris Avgeriou et al.

4 aug 2014

Preț: 328^.49 lei 410^.62 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8636

Editat de Claire Le Goues et al.

8 aug 2014

Preț: 349^.59 lei 437^.00 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8702

Editat de Dimitra Giannakopoulou et al.

4 aug 2014

Preț: 328^.10 lei 410^.13 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8706

Editat de Benoit Combemale et al.

23 sep 2014

Preț: 325^.63 lei 407^.04 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems

Lecture Notes in Computer Science, nr. 8718

Editat de Frédéric Lang et al.

20 aug 2014

Preț: 317^.84 lei 397^.30 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8739

Editat de Elvira Albert et al.

15 sep 2014

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8748

Editat de Yamine Ait Ameur et al.

23 sep 2014

Preț: 325^.03 lei 406^.29 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8822

Editat de Frank Ortmeier et al.

2 oct 2014

Preț: 318^.06 lei 397^.57 lei

6-8 săpt.

-20%

Hardware and Software: Verification and Testing

Lecture Notes in Computer Science, nr. 8855

Editat de Eran Yahav

6 noi 2014

Preț: 323^.17 lei 403^.96 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement

Lecture Notes in Computer Science, nr. 8892

Editat de Andreas Jedlitschka et al.

20 noi 2014

Preț: 324^.41 lei 405^.51 lei

6-8 săpt.

-20%

Service-Oriented Computing - ICSOC 2014 Workshops

Lecture Notes in Computer Science, nr. 8954

Editat de Farouk Toumani et al.

12 sep 2015

Preț: 330^.75 lei 413^.43 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9037

Editat de Tom Holvoet et al.

13 mai 2015

Preț: 320^.32 lei 400^.41 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9129

Editat de Ralf Hinze et al.

12 iun 2015

Preț: 324^.22 lei 405^.27 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages

Lecture Notes in Computer Science, nr. 9131

Editat de Enrico Pontelli et al.

iun 2015

Preț: 260^.15 lei 325^.19 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9138

Editat de Jean Krivine et al.

iul 2015

Preț: 322^.16 lei 402^.70 lei

6-8 săpt.

-20%

Theory and Practice of Model Transformations

Lecture Notes in Computer Science, nr. 9152

Editat de Dimitris Kolovos et al.

7 iul 2015

Preț: 319^.49 lei 399^.37 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9153

Editat de Gabriele Taentzer et al.

9 iul 2015

Preț: 262^.98 lei 328^.73 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9154

Editat de Jasmin Christian Blanchette et al.

iul 2015

Preț: 318^.69 lei 398^.37 lei

6-8 săpt.

-20%

Rule Technologies: Foundations, Tools, and Applications

Lecture Notes in Computer Science, nr. 9202

Editat de Nick Bassiliades et al.

23 iul 2015

Preț: 332^.18 lei 415^.23 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming

Lecture Notes in Computer Science, nr. 9255

Editat de Gilles Pesant

13 aug 2015

Preț: 346^.30 lei 432^.88 lei

6-8 săpt.

-20%

Software Engineering for Resilient Systems

Lecture Notes in Computer Science, nr. 9274

Editat de Alessandro Fantechi et al.

19 aug 2015

Preț: 259^.94 lei 324^.93 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9300

Editat de Lev D. Beklemishev et al.

27 aug 2015

Preț: 323^.81 lei 404^.76 lei

6-8 săpt.

-20%

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11460

Editat de Julia M. Badger et al.

28 mai 2019

Preț: 434^.83 lei 543^.54 lei

6-8 săpt.

-20%

Analytical and Stochastic Modelling Techniques and Applications

Lecture Notes in Computer Science, nr. 12023

Editat de Marco Gribaudo et al.

8 noi 2020

Preț: 370^.25 lei

6-8 săpt.

Dependable Software Engineering. Theories, Tools, and Applications

Lecture Notes in Computer Science, nr. 12153

Editat de Jun Pang et al.

9 noi 2020

Preț: 318^.06 lei 397^.57 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12165

Editat de Wolfgang Ahrendt et al.

20 iun 2020

Preț: 316^.83 lei 396^.04 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12227

Editat de Ivan Lanese et al.

9 iul 2020

Preț: 321^.94 lei 402^.43 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%

Formal Methods. FM 2019 International Workshops

Lecture Notes in Computer Science, nr. 12233

Editat de Emil Sekerinski et al.

11 aug 2020

Preț: 337^.30 lei 421^.62 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science, nr. 12234

Editat de António Casimiro et al.

20 aug 2020

Preț: 578^.02 lei 722^.53 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Lecture Notes in Computer Science, nr. 12235

Editat de António Casimiro et al.

6 aug 2020

Preț: 575^.79 lei 719^.74 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Frontiers in Software Engineering Education

Lecture Notes in Computer Science, nr. 12271

Editat de Jean-Michel Bruel et al.

12 aug 2020

Preț: 328^.10 lei 410^.13 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12292

Editat de Anton Jansen et al.

10 sep 2020

Preț: 326^.88 lei 408^.60 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12297

Editat de Marc Zeller et al.

4 sep 2020

Preț: 402^.81 lei 503^.51 lei

6-8 săpt.

-20%

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 12302

Editat de Dang Van Hung et al.

12 oct 2020

Preț: 336^.92 lei 421^.15 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12333

Editat de Helmut Simonis

7 sep 2020

Preț: 988^.28 lei 1235^.35 lei

6-8 săpt.

-20%

Deductive Software Verification: Future Perspectives

Lecture Notes in Computer Science, nr. 12345

Editat de Wolfgang Ahrendt et al.

9 dec 2020

Preț: 324^.82 lei 406^.03 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12389

Editat de David Pichardie et al.

13 ian 2021

Preț: 464^.22 lei 580^.29 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12420

Editat de Aldeida Aleti et al.

30 sep 2020

Preț: 485^.72 lei 607^.16 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science, nr. 12475

Editat de Gustavo Carvalho et al.

20 noi 2020

Preț: 401^.40 lei 501^.75 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Lecture Notes in Computer Science, nr. 12524

Editat de Loek Cleophas et al.

17 ian 2021

Preț: 324^.61 lei 405^.76 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12531

Editat de Shang-Wei Lin et al.

19 dec 2020

Preț: 324^.82 lei 406^.03 lei

6-8 săpt.

-20%

Reuse in Emerging Software Engineering Practices

Lecture Notes in Computer Science, nr. 12541

Editat de Sihem Ben Sassi et al.

dec 2020

Preț: 323^.17 lei 403^.96 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%

Lecture Notes in Computer Science, nr. 12548

Editat de José F. Morales et al.

16 ian 2021

Preț: 316^.62 lei 395^.77 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12549

Editat de Maria Christakis et al.

6 dec 2020

Preț: 320^.50 lei 400^.63 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12562

Editat de Maurizio Morisio et al.

21 noi 2020

Preț: 331^.16 lei 413^.95 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12571

Editat de Eleanna Kafeza et al.

9 dec 2020

Preț: 695^.55 lei 869^.44 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12584

Editat de Georg Grossmann et al.

22 dec 2020

Preț: 320^.32 lei 400^.41 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%

Lecture Notes in Computer Science, nr. 12677

Editat de Alexandra I. Cristea et al.

9 iul 2021

Preț: 391^.26 lei

6-8 săpt.

Lecture Notes in Computer Science, nr. 12717

Editat de Ferruccio Damiani et al.

6 iun 2021

Preț: 323^.17 lei 403^.96 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science, nr. 12719

Editat de Kirstin Peters et al.

10 iun 2021

Preț: 320^.14 lei 400^.17 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12724

Editat de Daniela Fogli et al.

24 iun 2021

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12732

Editat de Christian Attiogbé et al.

9 iun 2021

Preț: 324^.41 lei 405^.51 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12740

Editat de Frédéric Loulergue et al.

18 iun 2021

Preț: 313^.15 lei 391^.44 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12750

Editat de Alexander Raschke et al.

4 iun 2021

Preț: 325^.83 lei 407^.29 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12805

Editat de Shigeru Yamashita et al.

23 iun 2021

Preț: 321^.56 lei 401^.94 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12851

Editat de Sotiris Moschoyiannis et al.

2 dec 2021

Preț: 404^.67 lei 505^.84 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

Lecture Notes in Computer Science, nr. 12853

Editat de Ibrahim Habli et al.

7 aug 2021

Preț: 571^.10 lei 713^.86 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12857

Editat de Stefan Biffl et al.

26 aug 2021

Preț: 571^.68 lei 714^.61 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12914

Editat de Una-May O'Reilly et al.

oct 2021

Preț: 343^.68 lei 429^.59 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12971

Editat de Zhe Hou et al.

14 oct 2021

Preț: 461^.93 lei 577^.41 lei

3-5 săpt. | 4-10 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%

Lecture Notes in Computer Science, nr. 13008

Editat de Hakjoo Oh

9 oct 2021

Preț: 488^.60 lei 610^.76 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 13012

Editat de Iris Reinhartz-Berger et al.

13 oct 2021

Preț: 342^.04 lei 427^.54 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%

Lecture Notes in Computer Science, nr. 13065

Editat de Ezio Bartocci et al.

28 sep 2021

Preț: 344^.91 lei 431^.14 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 13071

Editat de Shengchao Qin et al.

14 noi 2021

Preț: 460^.96 lei 576^.20 lei

3-5 săpt. | 4-10 zile

-20%

Lecture Notes in Computer Science, nr. 13077

Editat de Gwen Salaün et al.

5 noi 2021

Preț: 289^.02 lei 361^.27 lei

6-8 săpt.

-20%

Performance Engineering and Stochastic Modeling

Lecture Notes in Computer Science, nr. 13104

Editat de Paolo Ballarini et al.

27 noi 2021

Preț: 469^.75 lei 587^.19 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 13165

Editat de James Cheney et al.

12 ian 2022

Preț: 401^.19 lei 501^.49 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 13482

Editat de Regina Bernhaupt et al.

23 aug 2022

Preț: 455^.21 lei 569^.01 lei

6-8 săpt.

-20%

Programming and Software Engineering

Papetărie, jocuri, reviste