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 43-57 zile -20%
Software Engineering for Self-Adaptive Systems III. Assurances Lecture Notes in Computer Science, nr. 9640 Editat de Rogério de Lemos et al. 18 ian 2018 Paperback Preț: 329.74 lei 412.17 lei 43-57 zile -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 43-57 zile -20%
Lectures on Runtime Verification Lecture Notes in Computer Science, nr. 10457 Editat de Ezio Bartocci et al. 11 feb 2018 Paperback Preț: 401.58 lei 501.98 lei 43-57 zile -20%
ModelEd, TestEd, TrustEd Lecture Notes in Computer Science, nr. 10500 Editat de Joost-Pieter Katoen et al. 29 sep 2017 Paperback Preț: 327.48 lei 409.36 lei 43-57 zile -20%
Testing Software and Systems Lecture Notes in Computer Science, nr. 10533 Editat de Nina Yevtushenko et al. 15 sep 2017 Paperback Preț: 325.03 lei 406.29 lei 43-57 zile -20%
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Lecture Notes in Computer Science, nr. 10573 Editat de Hervé Panetto et al. 20 oct 2017 Paperback Preț: 347.57 lei 434.47 lei 43-57 zile -20%
Service-Oriented Computing Lecture Notes in Computer Science, nr. 10601 Editat de Michael Maximilien et al. 19 oct 2017 Paperback Preț: 648.04 lei 810.04 lei 43-57 zile -20%
Dependable Software Engineering. Theories, Tools, and Applications Lecture Notes in Computer Science, nr. 10606 Editat de Kim Guldstrand Larsen et al. 17 oct 2017 Paperback Preț: 325.83 lei 407.29 lei 43-57 zile -20%
Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 10610 Editat de Zhenhua Duan et al. 14 oct 2017 Paperback Preț: 333.24 lei 416.55 lei 43-57 zile -20%
Product-Focused Software Process Improvement Lecture Notes in Computer Science, nr. 10611 Editat de Michael Felderer et al. 28 oct 2017 Paperback Preț: 340.17 lei 425.22 lei 43-57 zile -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 22-36 zile | 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 Paperback Preț: 344.52 lei 430.66 lei 43-57 zile -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 43-57 zile -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 43-57 zile -20%
Practical Aspects of Declarative Languages Lecture Notes in Computer Science, nr. 10702 Editat de Francesco Calimeri et al. 22 dec 2017 Paperback Preț: 285.13 lei 356.41 lei 38-44 zile -20%
Verified Software. Theories, Tools, and Experiments Lecture Notes in Computer Science, nr. 10712 Editat de Andrei Paskevich et al. 15 dec 2017 Paperback Preț: 318.48 lei 398.10 lei 43-57 zile -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%
Accelerator Programming Using Directives Lecture Notes in Computer Science, nr. 10732 Editat de Sunita Chandrasekaran et al. 31 ian 2018 Paperback Preț: 344.31 lei 430.39 lei 43-57 zile -20%
Measurement, Modelling and Evaluation of Computing Systems Lecture Notes in Computer Science, nr. 10740 Editat de Reinhard German et al. 25 ian 2018 Paperback Preț: 325.44 lei 406.80 lei 43-57 zile -20%
Software Technologies: Applications and Foundations Lecture Notes in Computer Science, nr. 10748 Editat de Martina Seidl et al. 23 ian 2018 Paperback Preț: 329.51 lei 411.90 lei 43-57 zile -20%
Requirements Engineering: Foundation for Software Quality Lecture Notes in Computer Science, nr. 10753 Editat de Erik Kamsties et al. mar 2018 Paperback Preț: 326.68 lei 408.36 lei 43-57 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 43-57 zile -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 43-57 zile -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 43-57 zile -20%
Coordination Models and Languages Lecture Notes in Computer Science, nr. 10852 Editat de Giovanna Di Marzo Serugendo et al. 30 mai 2018 Paperback Preț: 321.94 lei 402.43 lei 43-57 zile -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 43-57 zile -20%
Intelligent Tutoring Systems Lecture Notes in Computer Science, nr. 10858 Editat de Roger Nkambou et al. 17 mai 2018 Paperback Preț: 391.26 lei 43-57 zile
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 43-57 zile -20%
Theory and Practice of Model Transformation Lecture Notes in Computer Science, nr. 10888 Editat de Arend Rensink et al. iun 2018 Paperback Preț: 317.47 lei 396.84 lei 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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ț: 375.38 lei 469.22 lei 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -20%
Reversible Computation Lecture Notes in Computer Science, nr. 11106 Editat de Jarkko Kari et al. 22 aug 2018 Paperback Preț: 325.63 lei 407.04 lei 43-57 zile -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 43-57 zile -20%
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering Lecture Notes in Computer Science, nr. 11150 Editat de Ferhat Khendek et al. 26 sep 2018 Paperback Preț: 320.14 lei 400.17 lei 43-57 zile -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 43-57 zile -20%
Software Technologies: Applications and Foundations Lecture Notes in Computer Science, nr. 11176 Editat de Manuel Mazzara et al. 6 dec 2018 Paperback Preț: 327.76 lei 409.70 lei 22-36 zile | 6-12 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 43-57 zile -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 43-57 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 Paperback Preț: 339.37 lei 424.21 lei 43-57 zile -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 43-57 zile -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 43-57 zile -20%
Runtime Verification Lecture Notes in Computer Science, nr. 11237 Editat de Christian Colombo et al. 8 noi 2018 Paperback Preț: 496.17 lei 620.21 lei 43-57 zile -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 43-57 zile -20%
Human-Centered Software Engineering Lecture Notes in Computer Science, nr. 11262 Editat de Cristian Bogdan et al. 31 dec 2018 Paperback Preț: 325.83 lei 407.29 lei 43-57 zile -20%
Product-Focused Software Process Improvement Lecture Notes in Computer Science, nr. 11271 Editat de Marco Kuhrmann et al. 3 noi 2018 Paperback Preț: 331.59 lei 414.49 lei 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -20%
Practical Aspects of Declarative Languages Lecture Notes in Computer Science, nr. 11372 Editat de José Júlio Alferes et al. 19 dec 2018 Paperback Preț: 319.70 lei 399.63 lei 43-57 zile -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 43-57 zile -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 43-57 zile -20%
Reversible Computation Lecture Notes in Computer Science, nr. 11497 Editat de Michael Kirkedal Thomsen et al. 23 mai 2019 Paperback Preț: 374.79 lei 468.49 lei 43-57 zile -20%
Coordination Models and Languages Lecture Notes in Computer Science, nr. 11533 Editat de Hanne Riis Nielson et al. 5 iun 2019 Paperback Preț: 321.36 lei 401.70 lei 43-57 zile -20%
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 Paperback Preț: 405.29 lei 506.62 lei 43-57 zile -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 43-57 zile -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 43-57 zile -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 22-36 zile | 6-12 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 43-57 zile -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 43-57 zile -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 43-57 zile -20%
Software Technology: Methods and Tools Lecture Notes in Computer Science, nr. 11771 Editat de Manuel Mazzara et al. 28 aug 2019 Paperback Preț: 329.35 lei 411.69 lei 43-57 zile -20%
Rules and Reasoning Lecture Notes in Computer Science, nr. 11784 Editat de Paul Fodor et al. 14 sep 2019 Paperback Preț: 318.27 lei 397.84 lei 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 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 43-57 zile -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 43-57 zile -20%