Filtre: 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. 8379

Editat de Emilio Tuosto et al.

25 iul 2014

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

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality

Lecture Notes in Computer Science, nr. 8396

Editat de Camille Salinesi et al.

2 apr 2014

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

6-8 săpt.

-20%

Verified Software: Theories, Tools and Experiments

Lecture Notes in Computer Science, nr. 8471

Editat de Dimitra Giannakopoulou et al.

28 oct 2014

Preț: 322^.16 lei 402^.70 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%

Principles and Practice of Constraint Programming

Lecture Notes in Computer Science, nr. 8656

Editat de Barry O'Sullivan

19 aug 2014

Preț: 682^.16 lei 852^.70 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science, nr. 8666

Editat de Andrea Bondavalli et al.

20 aug 2014

Preț: 326^.26 lei 407^.83 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. 8734

Editat de Borzoo Bonakdarpour et al.

23 sep 2014

Preț: 326^.05 lei 407^.56 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8771

Editat de Fernando Magno Quintao Pereira

22 sep 2014

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

6-8 săpt.

-20%

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 8837

Editat de Franck Cassez et al.

29 sep 2014

Preț: 330^.15 lei 412^.69 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 8858

Editat de Jacques Garrigue

23 oct 2014

Preț: 332^.81 lei 416^.02 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%

Lecture Notes in Computer Science, nr. 8997

Editat de Ivan Lanese et al.

18 feb 2015

Preț: 327^.07 lei 408^.84 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. 9106

Editat de Weizhong Qiang et al.

3 feb 2016

Preț: 328^.29 lei 410^.37 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%

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%

Lecture Notes in Computer Science, nr. 9275

Editat de Márcio Barros et al.

5 aug 2015

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9276

Editat de Radu Calinescu et al.

21 aug 2015

Preț: 326^.47 lei 408^.09 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%

Lecture Notes in Computer Science, nr. 9278

Editat de Danny Weyns et al.

26 aug 2015

Preț: 352^.65 lei 440^.81 lei

38-44 zile

-20%

Lecture Notes in Computer Science, nr. 9306

Editat de Schahram Dustdar et al.

8 sep 2015

Preț: 321^.15 lei 401^.43 lei

6-8 săpt.

-20%

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Lecture Notes in Computer Science, nr. 9397

Editat de Manjunath Gorentla Venkata et al.

9 dec 2015

Preț: 262^.81 lei 328^.52 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9407

Editat de Michael Butler et al.

2 dec 2015

Preț: 330^.58 lei 413^.22 lei

6-8 săpt.

-20%

Dependable Software Engineering: Theories, Tools, and Applications

Lecture Notes in Computer Science, nr. 9409

Editat de Xuandong Li et al.

27 oct 2015

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9458

Editat de Xinyu Feng et al.

10 dec 2015

Preț: 333^.82 lei 417^.28 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science, nr. 9526

Editat de Márcio Cornélio et al.

3 feb 2016

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

6-8 săpt.

-20%

Practical Aspects of Declarative Languages

Lecture Notes in Computer Science, nr. 9585

Editat de Marco Gavanelli et al.

19 dec 2015

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9619

Editat de Maya Daneva et al.

4 mar 2016

Preț: 324^.02 lei 405^.03 lei

6-8 săpt.

-20%

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Lecture Notes in Computer Science, nr. 9629

Editat de Anne Remke et al.

24 mar 2016

Preț: 318^.27 lei 397^.84 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9684

Editat de Alessandro Micarelli et al.

3 iun 2016

Preț: 392^.71 lei

6-8 săpt.

Lecture Notes in Computer Science, nr. 9707

Editat de Thierry Lecomte et al.

15 iun 2016

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9720

Editat de Simon Devitt et al.

30 iun 2016

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

6-8 săpt.

-20%

Analytical and Stochastic Modelling Techniques and Applications

Lecture Notes in Computer Science, nr. 9845

Editat de Sabine Wittevrongel et al.

4 aug 2016

Preț: 323^.60 lei 404^.50 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9889

Editat de Fernando Castor et al.

18 sep 2016

Preț: 317^.04 lei 396^.30 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9892

Editat de Michel Rueher

23 aug 2016

Preț: 656^.03 lei 820^.03 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9922

Editat de Amund Skavhaug et al.

4 sep 2016

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10789

Editat de Alessandro Ricci et al.

7 sep 2018

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11138

Editat de Shuvendu K. Lahiri et al.

30 sep 2018

Preț: 371^.00 lei 463^.75 lei

38-44 zile

-20%

Lecture Notes in Computer Science, nr. 11163

Editat de El Hassan Abdelwahed et al.

13 sep 2018

Preț: 330^.15 lei 412^.69 lei

6-8 săpt.

-20%

Software Technologies: Applications and Foundations

Lecture Notes in Computer Science, nr. 11176

Editat de Manuel Mazzara et al.

6 dec 2018

Preț: 337^.95 lei 422^.43 lei

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

-20%

Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11178

Editat de Rena Bakhshi et al.

3 oct 2018

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11222

Editat de Kyungmin Bae et al.

7 oct 2018

Preț: 322^.80 lei 403^.50 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11232

Editat de Jing Sun et al.

11 oct 2018

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11236

Editat de Claus Pahl et al.

7 noi 2018

Preț: 655^.63 lei 819^.55 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11254

Editat de Tiago Massoni et al.

24 oct 2018

Preț: 376^.22 lei 470^.28 lei

6-8 săpt.

-20%

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity

Lecture Notes in Computer Science, nr. 11283

Editat de Swaroop Pophale et al.

19 mar 2019

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

Software Analysis, Testing, and Evolution

Lecture Notes in Computer Science, nr. 11293

Editat de Lei Bu et al.

20 noi 2018

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11294

Editat de Ruzica Piskac et al.

24 noi 2018

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

6-8 săpt.

-20%

Accelerator Programming Using Directives

Lecture Notes in Computer Science, nr. 11381

Editat de Sunita Chandrasekaran et al.

24 ian 2019

Preț: 314^.37 lei 392^.97 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11412

Editat de Eric Knauss et al.

8 mar 2019

Preț: 432^.89 lei 541^.11 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%

Lecture Notes in Computer Science, nr. 11553

Editat de Alessio Malizia et al.

3 iul 2019

Preț: 375^.59 lei 469^.49 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11602

Editat de Xin Peng et al.

19 iun 2019

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11681

Editat de Tomas Bures et al.

30 aug 2019

Preț: 356^.33 lei 445^.42 lei

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

-20%

Lecture Notes in Computer Science, nr. 11698

Editat de Alexander Romanovsky et al.

8 aug 2019

Preț: 379^.09 lei 473^.86 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11699

Editat de Alexander Romanovsky et al.

9 aug 2019

Preț: 438^.65 lei 548^.31 lei

6-8 săpt.

-20%

Software Engineering for Resilient Systems

Lecture Notes in Computer Science, nr. 11732

Editat de Radu Calinescu et al.

5 sep 2019

Preț: 315^.40 lei 394^.24 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11771

Editat de Manuel Mazzara et al.

28 aug 2019

Preț: 342^.50 lei 428^.13 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11781

Editat de Yu-Fang Chen et al.

6 oct 2019

Preț: 335^.69 lei 419^.61 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%

Lecture Notes in Computer Science, nr. 11802

Editat de Thomas Schiex et al.

30 aug 2019

Preț: 348^.58 lei 435^.73 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11815

Editat de Klaus-Dieter Schewe et al.

8 oct 2019

Preț: 338^.64 lei 423^.30 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11823

Editat de Dirk Beyer et al.

11 sep 2019

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11825

Editat de Graham Hutton

20 oct 2019

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11842

Editat de Yiannis Papadopoulos et al.

18 oct 2019

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11893

Editat de Anthony Widjaja Lin

9 noi 2019

Preț: 332^.81 lei 416^.02 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11895

Editat de Sami Yangui et al.

26 oct 2019

Preț: 337^.72 lei 422^.14 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%

Lecture Notes in Computer Science, nr. 11951

Editat de Nan Guan et al.

10 noi 2019

Preț: 314^.81 lei 393^.51 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12017

Editat de Sandra Wienke et al.

25 iun 2020

Preț: 315^.82 lei 394^.77 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12018

Editat de Farhad Arbab et al.

13 feb 2020

Preț: 320^.72 lei 400^.90 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12031

Editat de Supratik Chakraborty et al.

14 mar 2020

Preț: 317^.66 lei 397^.08 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12039

Editat de Marco Gribaudo et al.

19 mar 2020

Preț: 315^.82 lei 394^.77 lei

6-8 săpt.

-20%

Measurement, Modelling and Evaluation of Computing Systems

Lecture Notes in Computer Science, nr. 12040

Editat de Holger Hermanns

6 mar 2020

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12045

Editat de Nazim Madhavji et al.

19 mar 2020

Preț: 323^.60 lei 404^.50 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12054

Editat de Antonio Brogi et al.

4 apr 2020

Preț: 320^.05 lei 400^.06 lei

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

-20%

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

Lecture Notes in Computer Science, nr. 12055

Editat de Jean-Michel Bruel et al.

19 ian 2020

Preț: 318^.27 lei 397^.84 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. 12180

Editat de Andreas Blass et al.

23 mai 2020

Preț: 324^.82 lei 406^.03 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. 12732

Editat de Christian Attiogbé et al.

9 iun 2021

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

6-8 săpt.

-20%

Performance Evaluation and Benchmarking for the Era of Artificial Intelligence

Editat de Raghunath Nambiar et al.

30 ian 2019

Preț: 313^.38 lei 391^.72 lei

6-8 săpt.

-20%

Programming and Software Engineering

Papetărie, jocuri, reviste