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 Paperback Preț: 376.87 lei 471.08 lei 6-8 săpt. -20%
Software Engineering in Health Care Lecture Notes in Computer Science, nr. 9062 Editat de Michaela Huhn et al. 27 iul 2017 Paperback Preț: 319.70 lei 399.63 lei 6-8 săpt. -20%
Bidirectional Transformations Lecture Notes in Computer Science, nr. 9715 Editat de Jeremy Gibbons et al. 29 mar 2018 Paperback Preț: 317.04 lei 396.30 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 Paperback Preț: 346.34 lei 432.92 lei 6-8 săpt. -20%
Serviceology for Services Lecture Notes in Computer Science, nr. 10371 Editat de Yoshinori Hara et al. 4 iul 2017 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
Theory and Practice of Model Transformation Lecture Notes in Computer Science, nr. 10374 Editat de Esther Guerra et al. 20 iun 2017 Paperback Preț: 317.04 lei 396.30 lei 6-8 săpt. -20%
Modelling Foundations and Applications Lecture Notes in Computer Science, nr. 10376 Editat de Anthony Anjorin et al. 20 iun 2017 Paperback Preț: 323.81 lei 404.76 lei 6-8 săpt. -20%
Principles and Practice of Constraint Programming Lecture Notes in Computer Science, nr. 10416 Editat de J. Christopher Beck 23 aug 2017 Paperback Preț: 345.71 lei 432.13 lei 6-8 săpt. -20%
Model-Based Safety and Assessment Lecture Notes in Computer Science, nr. 10437 Editat de Marco Bozzano et al. 2 aug 2017 Paperback Preț: 321.36 lei 401.70 lei 6-8 săpt. -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 10487 Editat de José Proença et al. 14 sep 2017 Paperback Preț: 320.32 lei 400.41 lei 6-8 săpt. -20%
SDL 2017: Model-Driven Engineering for Future Internet Lecture Notes in Computer Science, nr. 10567 Editat de Tibor Csöndes et al. 7 sep 2017 Paperback Preț: 316.44 lei 395.55 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 10610 Editat de Zhenhua Duan et al. 14 oct 2017 Paperback Preț: 346.55 lei 433.19 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 Paperback Preț: 391.22 lei 489.02 lei 3-5 săpt. | 7-11 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 Paperback 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 Paperback Preț: 344.10 lei 430.13 lei 6-8 săpt. -20%
Programming Languages and Systems Lecture Notes in Computer Science, nr. 10695 Editat de Bor-Yuh Evan Chang 19 noi 2017 Paperback Preț: 336.29 lei 420.36 lei 6-8 săpt. -20%
Software Engineering and Formal Methods Lecture Notes in Computer Science, nr. 10729 Editat de Antonio Cerone et al. 3 feb 2018 Paperback Preț: 520.48 lei 650.59 lei 38-44 zile -20%
Principles of Modeling Lecture Notes in Computer Science, nr. 10760 Editat de Marten Lohstroh et al. 20 iul 2018 Paperback Preț: 335.91 lei 419.88 lei 6-8 săpt. -20%
Programming with Actors Lecture Notes in Computer Science, nr. 10789 Editat de Alessandro Ricci et al. 7 sep 2018 Paperback Preț: 319.92 lei 399.90 lei 6-8 săpt. -20%
New Opportunities for Software Reuse Lecture Notes in Computer Science, nr. 10826 Editat de Rafael Capilla et al. 17 apr 2018 Paperback Preț: 777.92 lei 972.40 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, nr. 10854 Editat de Christel Baier et al. 30 mai 2018 Paperback Preț: 317.66 lei 397.08 lei 6-8 săpt. -20%
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab Lecture Notes in Computer Science, nr. 10865 Editat de Frank de Boer et al. 7 apr 2018 Paperback Preț: 318.00 lei 397.50 lei 6-8 săpt. -20%
Tests and Proofs Lecture Notes in Computer Science, nr. 10889 Editat de Catherine Dubois et al. 3 iun 2018 Paperback Preț: 317.04 lei 396.30 lei 6-8 săpt. -20%
Modelling Foundations and Applications Lecture Notes in Computer Science, nr. 10890 Editat de Alfonso Pierantonio et al. 29 mai 2018 Paperback 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 Paperback Preț: 585.31 lei 731.65 lei 6-8 săpt. -20%
Dependable Software Engineering. Theories, Tools, and Applications Lecture Notes in Computer Science, nr. 10998 Editat de Xinyu Feng et al. 26 aug 2018 Paperback Preț: 317.84 lei 397.30 lei 6-8 săpt. -20%
Static Analysis Lecture Notes in Computer Science, nr. 11002 Editat de Andreas Podelski 29 aug 2018 Paperback Preț: 330.15 lei 412.69 lei 6-8 săpt. -20%
Principles and Practice of Constraint Programming Lecture Notes in Computer Science, nr. 11008 Editat de John Hooker 23 aug 2018 Paperback 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 Paperback 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 Paperback Preț: 390.39 lei 487.98 lei 6-8 săpt. -20%
Search-Based Software Engineering Lecture Notes in Computer Science, nr. 11036 Editat de Thelma Elita Colanzi et al. 22 aug 2018 Paperback Preț: 437.63 lei 547.04 lei 6-8 săpt. -20%
Rules and Reasoning Lecture Notes in Computer Science, nr. 11092 Editat de Christoph Benzmüller et al. 24 aug 2018 Paperback Preț: 324.82 lei 406.03 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Lecture Notes in Computer Science, nr. 11093 Editat de Barbara Gallina et al. 17 aug 2018 Paperback Preț: 324.02 lei 405.03 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 Paperback Preț: 528.50 lei 660.63 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 11138 Editat de Shuvendu K. Lahiri et al. 30 sep 2018 Paperback Preț: 371.00 lei 463.75 lei 38-44 zile -20%
Testing Software and Systems Lecture Notes in Computer Science, nr. 11146 Editat de Inmaculada Medina-Bulo et al. 7 sep 2018 Paperback Preț: 316.23 lei 395.28 lei 6-8 săpt. -20%
Model and Data Engineering Lecture Notes in Computer Science, nr. 11163 Editat de El Hassan Abdelwahed et al. 13 sep 2018 Paperback 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 Paperback 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 Paperback Preț: 319.13 lei 398.90 lei 6-8 săpt. -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 11222 Editat de Kyungmin Bae et al. 7 oct 2018 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 11232 Editat de Jing Sun et al. 11 oct 2018 Paperback Preț: 332.18 lei 415.23 lei 6-8 săpt. -20%
Service-Oriented Computing Lecture Notes in Computer Science, nr. 11236 Editat de Claus Pahl et al. 7 noi 2018 Paperback 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 Paperback 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 Paperback 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 Paperback Preț: 318.69 lei 398.37 lei 6-8 săpt. -20%
Verified Software. Theories, Tools, and Experiments Lecture Notes in Computer Science, nr. 11294 Editat de Ruzica Piskac et al. 24 noi 2018 Paperback 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 Paperback Preț: 314.37 lei 392.97 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 Paperback Preț: 432.89 lei 541.11 lei 6-8 săpt. -20%
End-User Development Lecture Notes in Computer Science, nr. 11553 Editat de Alessio Malizia et al. 3 iul 2019 Paperback Preț: 375.59 lei 469.49 lei 6-8 săpt. -20%
Reuse in the Big Data Era Lecture Notes in Computer Science, nr. 11602 Editat de Xin Peng et al. 19 iun 2019 Paperback Preț: 320.50 lei 400.63 lei 6-8 săpt. -20%
Software Architecture Lecture Notes in Computer Science, nr. 11681 Editat de Tomas Bures et al. 30 aug 2019 Paperback Preț: 356.33 lei 445.42 lei 3-5 săpt. | 7-11 zile -20%
Computer Safety, Reliability, and Security Lecture Notes in Computer Science, nr. 11698 Editat de Alexander Romanovsky et al. 8 aug 2019 Paperback Preț: 379.09 lei 473.86 lei 6-8 săpt. -20%
Computer Safety, Reliability, and Security Lecture Notes in Computer Science, nr. 11699 Editat de Alexander Romanovsky et al. 9 aug 2019 Paperback 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 Paperback Preț: 315.40 lei 394.24 lei 6-8 săpt. -20%
Software Technology: Methods and Tools Lecture Notes in Computer Science, nr. 11771 Editat de Manuel Mazzara et al. 28 aug 2019 Paperback Preț: 342.50 lei 428.13 lei 6-8 săpt. -20%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 11781 Editat de Yu-Fang Chen et al. 6 oct 2019 Paperback 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 Paperback Preț: 343.53 lei 429.41 lei 6-8 săpt. -20%
Principles and Practice of Constraint Programming Lecture Notes in Computer Science, nr. 11802 Editat de Thomas Schiex et al. 30 aug 2019 Paperback Preț: 348.58 lei 435.73 lei 6-8 săpt. -20%
Model and Data Engineering Lecture Notes in Computer Science, nr. 11815 Editat de Klaus-Dieter Schewe et al. 8 oct 2019 Paperback Preț: 338.64 lei 423.30 lei 6-8 săpt. -20%
Static Analysis Lecture Notes in Computer Science, nr. 11822 Editat de Bor-Yuh Evan Chang 6 oct 2019 Paperback Preț: 332.18 lei 415.23 lei 6-8 săpt. -20%
Tests and Proofs Lecture Notes in Computer Science, nr. 11823 Editat de Dirk Beyer et al. 11 sep 2019 Paperback Preț: 318.06 lei 397.57 lei 6-8 săpt. -20%
Mathematics of Program Construction Lecture Notes in Computer Science, nr. 11825 Editat de Graham Hutton 20 oct 2019 Paperback Preț: 331.16 lei 413.95 lei 6-8 săpt. -20%
Model-Based Safety and Assessment Lecture Notes in Computer Science, nr. 11842 Editat de Yiannis Papadopoulos et al. 18 oct 2019 Paperback Preț: 326.88 lei 408.60 lei 6-8 săpt. -20%
Programming Languages and Systems Lecture Notes in Computer Science, nr. 11893 Editat de Anthony Widjaja Lin 9 noi 2019 Paperback Preț: 332.81 lei 416.02 lei 6-8 săpt. -20%
Service-Oriented Computing Lecture Notes in Computer Science, nr. 11895 Editat de Sami Yangui et al. 26 oct 2019 Paperback 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 Paperback Preț: 332.92 lei 416.15 lei 6-8 săpt. -20%
Dependable Software Engineering. Theories, Tools, and Applications Lecture Notes in Computer Science, nr. 11951 Editat de Nan Guan et al. 10 noi 2019 Paperback Preț: 314.81 lei 393.51 lei 6-8 săpt. -20%
Accelerator Programming Using Directives Lecture Notes in Computer Science, nr. 12017 Editat de Sandra Wienke et al. 25 iun 2020 Paperback Preț: 315.82 lei 394.77 lei 6-8 săpt. -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 12018 Editat de Farhad Arbab et al. 13 feb 2020 Paperback Preț: 320.72 lei 400.90 lei 6-8 săpt. -20%
Verified Software. Theories, Tools, and Experiments Lecture Notes in Computer Science, nr. 12031 Editat de Supratik Chakraborty et al. 14 mar 2020 Paperback Preț: 317.66 lei 397.08 lei 6-8 săpt. -20%
Computer Performance Engineering Lecture Notes in Computer Science, nr. 12039 Editat de Marco Gribaudo et al. 19 mar 2020 Paperback 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 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%
Requirements Engineering: Foundation for Software Quality Lecture Notes in Computer Science, nr. 12045 Editat de Nazim Madhavji et al. 19 mar 2020 Paperback Preț: 323.60 lei 404.50 lei 6-8 săpt. -20%
Service-Oriented and Cloud Computing Lecture Notes in Computer Science, nr. 12054 Editat de Antonio Brogi et al. 4 apr 2020 Paperback 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 Paperback Preț: 318.27 lei 397.84 lei 6-8 săpt. -20%
Tests and Proofs Lecture Notes in Computer Science, nr. 12165 Editat de Wolfgang Ahrendt et al. 20 iun 2020 Paperback Preț: 316.83 lei 396.04 lei 6-8 săpt. -20%
Fields of Logic and Computation III Lecture Notes in Computer Science, nr. 12180 Editat de Andreas Blass et al. 23 mai 2020 Paperback 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 Paperback Preț: 371.74 lei 464.68 lei 6-8 săpt. -20%
Model and Data Engineering Lecture Notes in Computer Science, nr. 12732 Editat de Christian Attiogbé et al. 9 iun 2021 Paperback Preț: 324.41 lei 405.51 lei 6-8 săpt. -20%
Software Verification Lecture Notes in Computer Science, nr. 13124 Editat de Roderick Bloem et al. 22 feb 2022 Paperback Preț: 358.90 lei 448.62 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 Paperback Preț: 313.38 lei 391.72 lei 6-8 săpt. -20%