Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings Lecture Notes in Computer Science, nr. 5904 Editat de Zhenjiang Hu 24 noi 2009 Paperback Preț: 324.99 lei 406.23 lei 43-57 zile -20%
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings Lecture Notes in Computer Science, nr. 5937 Editat de Manuel Carro et al. 12 ian 2010 Paperback Preț: 321.81 lei 402.26 lei 43-57 zile -20%
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance: 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings Lecture Notes in Computer Science, nr. 5987 Editat de Erwin Rathgeb et al. 5 mar 2010 Paperback Preț: 322.61 lei 403.26 lei 43-57 zile -20%
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings Lecture Notes in Computer Science, nr. 6887 Editat de Eran Yahav 6 sep 2011 Paperback Preț: 324.99 lei 406.23 lei 43-57 zile -20%
Autonomic and Trusted Computing: 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011, Proceedings Lecture Notes in Computer Science, nr. 6906 Editat de Jose M. Alcaraz Calero et al. 19 aug 2011 Paperback Preț: 318.67 lei 398.33 lei 43-57 zile -20%
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings Lecture Notes in Computer Science, nr. 6959 Editat de Gwen Salaün et al. 19 sep 2011 Paperback Preț: 319.42 lei 399.28 lei 43-57 zile -20%
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Lecture Notes in Computer Science, nr. 7000 Editat de Gul Agha et al. 13 oct 2011 Paperback Preț: 329.74 lei 412.17 lei 43-57 zile -20%
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures Lecture Notes in Computer Science, nr. 7007 Editat de Bertrand Meyer et al. 9 ian 2012 Paperback Preț: 399.09 lei 498.86 lei 43-57 zile -20%
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 7230 Editat de Robert L. Constable et al. 11 apr 2012 Paperback Preț: 324.99 lei 406.23 lei 43-57 zile -20%
ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings Lecture Notes in Computer Science, nr. 7313 Editat de James Noble 23 mai 2012 Paperback Preț: 343.23 lei 429.04 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%
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%
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 | 5-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 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%
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%
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 | 5-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 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%
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 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%
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 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%
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 43-57 zile -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 43-57 zile -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 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%
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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 43-57 zile -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 22-36 zile | 5-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 43-57 zile -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 43-57 zile
Engineering Trustworthy Software Systems Lecture Notes in Computer Science, nr. 12154 Editat de Jonathan P. Bowen et al. aug 2020 Paperback Preț: 319.10 lei 398.88 lei 43-57 zile -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 43-57 zile -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 22-36 zile | 5-11 zile -20%
Hardware and Software: Verification and Testing Editat de Sharon Barner et al. 17 mar 2011 Paperback Preț: 317.47 lei 396.84 lei 43-57 zile -20%
Web Services and Formal Methods Editat de Mario Bravetti et al. 31 mar 2011 Paperback Preț: 317.04 lei 396.30 lei 43-57 zile -20%
Rule-Based Modeling and Computing on the Semantic Web Editat de Monica Palmirani et al. 14 oct 2011 Paperback Preț: 323.81 lei 404.76 lei 43-57 zile -20%
Analytical and Stochastic Modeling Techniques and Applications Editat de Khalid Al-Begain et al. 21 mai 2012 Paperback Preț: 322.99 lei 403.74 lei 43-57 zile -20%
Large-Scale Complex IT Systems. Development, Operation and Management Editat de Radu Calinescu et al. 14 sep 2012 Paperback Preț: 328.93 lei 411.16 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%
Reversible Computation Editat de Gerhard W. Dueck et al. 6 iun 2013 Paperback Preț: 414.26 lei 517.83 lei 43-57 zile -20%
OpenMP in the Era of Low Power Devices and Accelerators Editat de Alistair P. Rendell et al. 21 aug 2013 Paperback Preț: 290.24 lei 362.80 lei 43-57 zile -20%
Computer Performance Engineering Editat de Maria Simonetta Balsamo et al. 21 aug 2013 Paperback Preț: 325.44 lei 406.80 lei 43-57 zile -20%
Human-Centered Software Engineering Editat de Stefan Sauer et al. 25 aug 2014 Paperback Preț: 324.22 lei 405.27 lei 43-57 zile -20%
Formal Methods for Industrial Critical Systems Editat de Darren Cofer et al. 20 iul 2009 Paperback Preț: 319.28 lei 399.10 lei 43-57 zile -20%
Integrated Formal Methods Editat de Dominique Méry et al. 6 oct 2010 Paperback Preț: 324.61 lei 405.76 lei 43-57 zile -20%
Formal Methods for Components and Objects Editat de Marcello M. Bonsangue et al. 7 sep 2009 Paperback Preț: 322.80 lei 403.50 lei 43-57 zile -20%
Aliasing in Object-Oriented Programming Editat de David Clarke et al. 26 mar 2013 Paperback Preț: 333.62 lei 417.03 lei 43-57 zile -20%
Language Engineering and Rigorous Software Development Editat de Ana Bove et al. 14 iul 2009 Paperback Preț: 320.51 lei 400.64 lei 43-57 zile -20%
Hardware and Software: Verification and Testing Editat de Kerstin Eder et al. 9 oct 2012 Paperback Preț: 414.26 lei 517.83 lei 43-57 zile -20%