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%
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%
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%
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ț: 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%
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%
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%
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ț: 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%
Advances in Conceptual Modeling Lecture Notes in Computer Science, nr. 11787 Editat de Giancarlo Guizzardi et al. 27 oct 2019 Paperback Preț: 321.56 lei 401.94 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%
Model and Data Engineering Lecture Notes in Computer Science, nr. 11815 Editat de Klaus-Dieter Schewe et al. 8 oct 2019 Paperback Preț: 325.63 lei 407.04 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%
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 Paperback Preț: 593.79 lei 742.25 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%
Product-Focused Software Process Improvement Lecture Notes in Computer Science, nr. 11915 Editat de Xavier Franch et al. 14 noi 2019 Paperback Preț: 347.57 lei 434.47 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%
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%
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%
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%
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%
Practical Aspects of Declarative Languages Lecture Notes in Computer Science, nr. 12007 Editat de Ekaterina Komendantskaya et al. 17 ian 2020 Paperback Preț: 319.70 lei 399.63 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%
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%
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%
Coordination Models and Languages Lecture Notes in Computer Science, nr. 12134 Editat de Simon Bliudze et al. 10 iun 2020 Paperback Preț: 328.49 lei 410.62 lei 6-8 săpt. -20%
Intelligent Tutoring Systems Lecture Notes in Computer Science, nr. 12149 Editat de Vivekanandan Kumar et al. 3 iun 2020 Paperback Preț: 386.25 lei 6-8 săpt.
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%
Intelligent Tutoring Systems Lecture Notes in Computer Science, nr. 12677 Editat de Alexandra I. Cristea et al. 9 iul 2021 Paperback Preț: 391.26 lei 6-8 săpt.
Requirements Engineering: Foundation for Software Quality Lecture Notes in Computer Science, nr. 12685 Editat de Fabiano Dalpiaz et al. 2 apr 2021 Paperback Preț: 319.49 lei 399.37 lei 6-8 săpt. -20%
Coordination Models and Languages Lecture Notes in Computer Science, nr. 12717 Editat de Ferruccio Damiani et al. 6 iun 2021 Paperback Preț: 323.17 lei 403.96 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, nr. 12719 Editat de Kirstin Peters et al. 10 iun 2021 Paperback Preț: 320.14 lei 400.17 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%
Logic, Computation and Rigorous Methods Lecture Notes in Computer Science, nr. 12750 Editat de Alexander Raschke et al. 4 iun 2021 Paperback Preț: 325.83 lei 407.29 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%