Filtre: Springer International Publishing

Programming and Software Engineering

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%

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ț: 658^.30 lei 822^.88 lei

6-8 săpt.

-20%

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%

Lecture Notes in Computer Science, nr. 9278

Editat de Danny Weyns et al.

26 aug 2015

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

38-45 zile

-20%

Product-Focused Software Process Improvement

Lecture Notes in Computer Science, nr. 9459

Editat de Pekka Abrahamsson et al.

10 noi 2015

Preț: 339^.58 lei 424^.48 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 9681

Editat de Erika Ábrahám et al.

24 mai 2016

Preț: 527^.06 lei 658^.83 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.

Rule Technologies. Research, Tools, and Applications

Lecture Notes in Computer Science, nr. 9718

Editat de Jose Julio Alferes et al.

28 iun 2016

Preț: 627^.98 lei 784^.98 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. 9936

Editat de Quan Z. Sheng et al.

20 sep 2016

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

6-8 săpt.

-20%

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 9938

Editat de Cyrille Artho et al.

22 sep 2016

Preț: 334^.63 lei 418^.29 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. 10027

Editat de Pekka Abrahamsson et al.

6 noi 2016

Preț: 347^.74 lei 434^.68 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. 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. 10457

Editat de Ezio Bartocci et al.

11 feb 2018

Preț: 401^.58 lei 501^.98 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10601

Editat de Michael Maximilien et al.

19 oct 2017

Preț: 648^.04 lei 810^.04 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 10611

Editat de Michael Felderer et al.

28 oct 2017

Preț: 340^.17 lei 425^.22 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science, nr. 10623

Editat de Simone Cavalheiro et al.

12 noi 2017

Preț: 391^.22 lei 489^.02 lei

3-5 săpt. | 6-12 zile

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

Accelerator Programming Using Directives

Lecture Notes in Computer Science, nr. 10732

Editat de Sunita Chandrasekaran et al.

31 ian 2018

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

6-8 săpt.

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

Editat de Roger Nkambou et al.

17 mai 2018

Preț: 391^.26 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%

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%

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ț: 375^.38 lei 469^.22 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. 11048

Editat de Carlos E. Cuesta et al.

15 sep 2018

Preț: 436^.80 lei 546^.00 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security

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%

On the Move to Meaningful Internet Systems. OTM 2018 Conferences

Lecture Notes in Computer Science, nr. 11230

Editat de Hervé Panetto et al.

18 oct 2018

Preț: 339^.37 lei 424^.21 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. 11237

Editat de Christian Colombo et al.

8 noi 2018

Preț: 496^.17 lei 620^.21 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%

Requirements Engineering: Foundation for Software Quality

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%

Lecture Notes in Computer Science, nr. 11497

Editat de Michael Kirkedal Thomsen et al.

23 mai 2019

Preț: 374^.79 lei 468^.49 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 11528

Editat de Andre Coy et al.

30 mai 2019

Preț: 418^.78 lei

3-5 săpt. | 6-12 zile

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science, nr. 11535

Editat de Jorge A. Pérez et al.

29 mai 2019

Preț: 405^.29 lei 506^.62 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. 11681

Editat de Tomas Bures et al.

30 aug 2019

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

3-5 săpt. | 6-12 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%

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%

On the Move to Meaningful Internet Systems: OTM 2019 Conferences

Lecture Notes in Computer Science, nr. 11877

Editat de Hervé Panetto et al.

11 oct 2019

Preț: 593^.79 lei 742^.25 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%

Lecture Notes in Computer Science, nr. 11915

Editat de Xavier Franch et al.

14 noi 2019

Preț: 347^.57 lei 434^.47 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. 12136

Editat de Alexey Gotsman et al.

10 iun 2020

Preț: 402^.01 lei 502^.51 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 12149

Editat de Vivekanandan Kumar et al.

3 iun 2020

Preț: 386^.25 lei

6-8 săpt.

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%

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%

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%

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%

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%

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%

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%

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

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%

Dependable Software Engineering. Theories, Tools, and Applications

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. | 6-12 zile

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

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%

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%

Practical Aspects of Declarative Languages

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%

Programming and Software Engineering

Papetărie, jocuri, reviste