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 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 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%
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 6-8 săpt. -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 6-8 săpt. -20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Lecture Notes in Computer Science, nr. 10598 Editat de Alessandro Fantechi et al. 20 oct 2017 Paperback Preț: 321.36 lei 401.70 lei 6-8 săpt. -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 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%
Hardware and Software: Verification and Testing Lecture Notes in Computer Science, nr. 10629 Editat de Ofer Strichman et al. 12 noi 2017 Paperback Preț: 320.93 lei 401.17 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 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%
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 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%
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 6-8 săpt. -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 6-8 săpt. -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 6-8 săpt. -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 6-8 săpt. -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%
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 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%
Intelligent Tutoring Systems Lecture Notes in Computer Science, nr. 10858 Editat de Roger Nkambou et al. 17 mai 2018 Paperback Preț: 391.26 lei 6-8 săpt.
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%
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 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ț: 375.38 lei 469.22 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%
Software Architecture Lecture Notes in Computer Science, nr. 11048 Editat de Carlos E. Cuesta et al. 15 sep 2018 Paperback Preț: 436.80 lei 546.00 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%
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 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%
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 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ț: 327.76 lei 409.70 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%
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 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%
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 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%
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 6-8 săpt. -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 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%
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 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%
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 6-8 săpt. -20%
Intelligent Tutoring Systems Lecture Notes in Computer Science, nr. 11528 Editat de Andre Coy et al. 30 mai 2019 Paperback Preț: 418.78 lei 3-5 săpt. | 7-11 zile
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 6-8 săpt. -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 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ț: 329.35 lei 411.69 lei 6-8 săpt. -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 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%
Testing Software and Systems Lecture Notes in Computer Science, nr. 11812 Editat de Christophe Gaston et al. 18 sep 2019 Paperback Preț: 322.80 lei 403.50 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%
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%
Fundamentals of Software Engineering Lecture Notes in Computer Science, nr. 12818 Editat de Hossein Hojjat et al. 17 oct 2021 Paperback Preț: 424.72 lei 530.90 lei 3-5 săpt. | 7-11 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 6-8 săpt. -20%