Filtre: Springer International Publishing

Programming and Software Engineering

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

Editat de Simon Collart-Dutilleul et al.

24 apr 2019

Preț: 376^.87 lei 471^.08 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%

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

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%

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%

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%

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. 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. 9923

Editat de Amund Skavhaug et al.

sep 2016

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9936

Editat de Quan Z. Sheng et al.

20 sep 2016

Preț: 653^.15 lei 816^.44 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9938

Editat de Cyrille Artho et al.

22 sep 2016

Preț: 348^.02 lei 435^.02 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9984

Editat de Martin Fränzle et al.

6 oct 2016

Preț: 324^.41 lei 405^.51 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%

Lecture Notes in Computer Science, nr. 10009

Editat de Kazuhiro Ogata et al.

15 oct 2016

Preț: 332^.81 lei 416^.02 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ț: 346^.34 lei 432^.92 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10231

Editat de Olga Kouchnarenko et al.

13 apr 2017

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10416

Editat de J. Christopher Beck

23 aug 2017

Preț: 345^.71 lei 432^.13 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10437

Editat de Marco Bozzano et al.

2 aug 2017

Preț: 321^.36 lei 401^.70 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10487

Editat de José Proença et al.

14 sep 2017

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10610

Editat de Zhenhua Duan et al.

14 oct 2017

Preț: 346^.55 lei 433^.19 lei

6-8 săpt.

-20%

Performance Evaluation and Benchmarking for the Analytics Era

Lecture Notes in Computer Science, nr. 10661

Editat de Raghunath Nambiar et al.

10 ian 2018

Preț: 344^.52 lei 430^.66 lei

6-8 săpt.

-20%

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

Lecture Notes in Computer Science, nr. 10679

Editat de Manjunath Gorentla Venkata et al.

10 ian 2018

Preț: 344^.10 lei 430^.13 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10695

Editat de Bor-Yuh Evan Chang

19 noi 2017

Preț: 336^.29 lei 420^.36 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10729

Editat de Antonio Cerone et al.

3 feb 2018

Preț: 520^.48 lei 650^.59 lei

38-45 zile

-20%

Lecture Notes in Computer Science, nr. 10760

Editat de Marten Lohstroh et al.

20 iul 2018

Preț: 335^.91 lei 419^.88 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10826

Editat de Rafael Capilla et al.

17 apr 2018

Preț: 777^.92 lei 972^.40 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10890

Editat de Alfonso Pierantonio et al.

29 mai 2018

Preț: 323^.60 lei 404^.50 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%

Lecture Notes in Computer Science, nr. 11002

Editat de Andreas Podelski

29 aug 2018

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11008

Editat de John Hooker

23 aug 2018

Preț: 649^.08 lei 811^.35 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

Lecture Notes in Computer Science, nr. 11026

Editat de Amel Bennaceur et al.

21 iul 2018

Preț: 390^.39 lei 487^.98 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11036

Editat de Thelma Elita Colanzi et al.

22 aug 2018

Preț: 437^.63 lei 547^.04 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11092

Editat de Christoph Benzmüller et al.

24 aug 2018

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11093

Editat de Barbara Gallina et al.

17 aug 2018

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11094

Editat de Barbara Gallina et al.

21 aug 2018

Preț: 528^.50 lei 660^.63 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-45 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%

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%

Formal Methods: Foundations and Applications

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%

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%

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

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. 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. 12018

Editat de Farhad Arbab et al.

13 feb 2020

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

Programming and Software Engineering

Papetărie, jocuri, reviste