Numerical Integration (Recent Developments, Software and Applications (NATO Science Series C))

£165 Elsewhere ~~£179.99~~ Save £14.99 (8%)

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence)

By Roger Lee

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence)

By Roger Lee

£82.68 Elsewhere ~~£89.99~~ Save £7.31 (8%)

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence)

By Roger Lee

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence)

By Roger Lee

£82.66 Elsewhere ~~£89.99~~ Save £7.33 (8%)

Formal Methods for Software Engineering (Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series))

By Roggenbach, Markus, Cerone, Antonio, Bernd-Holger Schlingloff, Gerardo Schneider

Formal Methods for Software Engineering (Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series))

By Roggenbach, Markus, Cerone, Antonio, Bernd-Holger Schlingloff, Gerardo Schneider

£31.24 Elsewhere ~~£64.99~~ Save £33.75 (52%)

Formal Methods for Software Engineering (Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series))

By Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff

Formal Methods for Software Engineering (Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series))

By Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff

£29.37 Elsewhere ~~£49.99~~ Save £20.62 (41%)

Advances in Software Engineering, Education, and e-Learning (Proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 (Transactions on Computational Science and Computational Intelligence))

By Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti, Quoc-Nam Tran

Advances in Software Engineering, Education, and e-Learning (Proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 (Transactions on Computational Science and Computational Intelligence))

By Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti, Quoc-Nam Tran

£184 Elsewhere ~~£199.99~~ Save £15.99 (8%)

Advances in Software Engineering, Education, and e-Learning (Proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 (Transactions on Computational Science and Computational Intelligence))

By Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti, Quoc-Nam Tran

Advances in Software Engineering, Education, and e-Learning (Proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 (Transactions on Computational Science and Computational Intelligence))

By Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti, Quoc-Nam Tran

£142

International Conference on Advanced Intelligent Systems for Sustainable Development (Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science (Lecture Notes in Networks and Systems))

By Janusz Kacprzyk, Mostafa Ezziyyani, Valentina Emilia Balas

International Conference on Advanced Intelligent Systems for Sustainable Development (Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science (Lecture Notes in Networks and Systems))

By Janusz Kacprzyk, Mostafa Ezziyyani, Valentina Emilia Balas

£182 Elsewhere ~~£199.99~~ Save £17.99 (9%)

Complex, Intelligent and Software Intensive Systems (Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023) (Lecture Notes on Data Engineering and Communications Technologies))

By Leonard Barolli

Complex, Intelligent and Software Intensive Systems (Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023) (Lecture Notes on Data Engineering and Communications Technologies))

By Leonard Barolli

£222 Elsewhere ~~£249.99~~ Save £27.99 (11%)

Formal Aspects of Component Software (19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science))

By Javier Cámara, Sung-Shik Jongmans

Formal Aspects of Component Software (19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science))

By Javier Cámara, Sung-Shik Jongmans

£40.98 Elsewhere ~~£54.99~~ Save £14.01 (25%)

Complex, Intelligent and Software Intensive Systems (Proceedings of the 18th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2024) (Lecture Notes on Data Engineering and Communications Technologies))

By Leonard Barolli

Complex, Intelligent and Software Intensive Systems (Proceedings of the 18th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2024) (Lecture Notes on Data Engineering and Communications Technologies))

By Leonard Barolli

£165 Elsewhere ~~£179.99~~ Save £14.99 (8%)

Formal Methods and Software Engineering (4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : Proceedings (Lecture Notes in Computer Science))

By Chris George, Huaikou Miao

Formal Methods and Software Engineering (4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : Proceedings (Lecture Notes in Computer Science))

By Chris George, Huaikou Miao

£91.76

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

£46.72

Product Focused Software Process Improvement (4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings (Lecture Notes in Computer Science))

By Markku Oivo, Seija Komi-Sirvio

Product Focused Software Process Improvement (4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings (Lecture Notes in Computer Science))

By Markku Oivo, Seija Komi-Sirvio

£91.78

Software Product-Family Engineering (5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers (Lecture Notes in Computer Science))

By Frank van der Linden

Software Product-Family Engineering (5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers (Lecture Notes in Computer Science))

By Frank van der Linden

£91.03

Real-Time and Embedded Computing Systems and Applications (9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jing Chen, Seongsoo Hong

Real-Time and Embedded Computing Systems and Applications (9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jing Chen, Seongsoo Hong

£91.14

Component-Based Software Engineering (7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings (Lecture Notes in Computer Science))

By Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau

Component-Based Software Engineering (7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings (Lecture Notes in Computer Science))

By Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau

£46.21

Software Architecture (First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004 : Proceedings (Lecture Notes in Computer Science))

By Ron Morrison, Flavio Oquendo, Brian Warboys

Software Architecture (First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004 : Proceedings (Lecture Notes in Computer Science))

By Ron Morrison, Flavio Oquendo, Brian Warboys

£46.35

Reliable Software Technologies - Ada-Europe 2004 (9th Ada-Europe International Conference on Reliable Software Technologies, Palma De Mallorca, Spain, June 14-18, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intellige)

By Albert Llamosi, Alfred Strohmeier

Reliable Software Technologies - Ada-Europe 2004 (9th Ada-Europe International Conference on Reliable Software Technologies, Palma De Mallorca, Spain, June 14-18, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intellige)

By Albert Llamosi, Alfred Strohmeier

£46.15

Formal Methods in Software and Systems Modeling (Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg

Formal Methods in Software and Systems Modeling (Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg

£46.79

Operational Semantics for Timed Systems (A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Programming and Software Engineering))

By Rust, Heinrich

Operational Semantics for Timed Systems (A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Programming and Software Engineering))

By Rust, Heinrich

£46.33

FM 2005 (Formal Methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By John Fitzgerald, Ian J. Hayes, Tarlecki Andrzej

FM 2005 (Formal Methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By John Fitzgerald, Ian J. Hayes, Tarlecki Andrzej

£46.92

Formal Modeling and Analysis of Timed Systems (Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Paul Pettersson, Wang Yi

Formal Modeling and Analysis of Timed Systems (Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Paul Pettersson, Wang Yi

£46.46

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jayadev Misra, Tobias Nipkow, Emil Sekerinski

£95.68

View:
Safe Search(?):