Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings by Michel R.V. Chaudron 9783540878902
Booksplease Price: £46.28On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of... -
Software Quality: Future Perspectives on Software Engineering Quality: 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021, Proceedings by Dietmar Winkler 9783030658533
Booksplease Price: £56.12This book constitutes the refereed proceedings of the 13th Software Quality Days Conference, SWQD 2021, held in Vienna, Austria, during January 19-21, 2021. The Software Quality Days (SWQD)... -
A Concurrent Pascal Compiler for Minicomputers by A. C. Hartmann 9783540082408
Booksplease Price: £46.28Apologies but we at Booksplease don't have a full description for this book.Springer Book ArchivesBook InformationISBN 9783540082408Author A. C. HartmannFormat PaperbackPa -
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings by Julia M. Badger 9783319061993
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 - May 1, 2014. The 20 revised regular papers... -
New Trends in Computer Graphics: Proceedings of CG International '88 by Nadia Magnenat-Thalmann 9783642834943
Booksplease Price: £47.08New Trends in Computer Graphics contains a selection of research papers submitted to Computer Graphics International '88 (COl '88). COl '88 is the Official Annual Conference of the Computer Graphics... -
Modern Software Tools for Scientific Computing by A.M. Bruaset 9781461273684
Booksplease Price: £90.86Looking back at the years that have passed since the realization of the very first electronic, multi-purpose computers, one observes a tremendous growth in hardware and software performance. Today,... -
Discrete Geometry for Computer Imagery: 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013, Proceedings by Rocio Gonzalez-Diaz 9783642370663
Booksplease Price: £46.58This book constitutes the thoroughly refereed proceedings of the 17th International Conference on Discrete Geometry for Computer Imagery, DGCI 2013, held in Seville, Spain, in March 2013. The 34... -
Software Engineering for Resilient Systems: Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings by Paris Avgeriou 9783642331756
Booksplease Price: £43.33This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised... -
The Correctness-by-Construction Approach to Programming by Derrick G. Kourie 9783642279188
Booksplease Price: £90.56The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the... -
Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers by Danny Weyns 9783642226359
Booksplease Price: £46.74Since the mid 1980s, software agents and multi-agent systems have grown into a very active area of research and also commercial development activity. One of the limiting factors in industry take-up... -
Combinatorial Image Analysis: 14th International Workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011. Proceedings by Jake K. Aggarwal 9783642210723
Booksplease Price: £46.58This volume constitutes the refereed proceedings of the 14th International Workshop on Combinatorial Image Analysis, IWCIA 2011, held in Madrid, Spain, in May 2011. The 25 revised full papers and 13... -
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings by Mihaela Bobaru 9783642203978
Booksplease Price: £46.58This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented... -
The Project Management Communications Toolkit by Carl Pritchard 9781580537476
Booksplease Price: £69.22This volume and CD-ROM package has been designed with the aim of helping professionals to achieve a high level of communications expertise.Book InformationISBN 9781580537476Author Carl... -
Transactions on Computational Science XX: Special Issue on Voronoi Diagrams and Their Applications by Marina L. Gavrilova 9783642419041
Booksplease Price: £41.36This, the 20th issue of the Transactions on Computational Science journal, edited by Bahman Kalantari, is devoted to the topic of Voronoi Diagrams and their applications. The 10 full papers included... -
Fusion in Computer Vision: Understanding Complex Visual Content by Bogdan Ionescu 9783319056951
Booksplease Price: £46.58This book presents a thorough overview of fusion in computer vision, from an interdisciplinary and multi-application viewpoint, describing successful approaches, evaluated in the context of... -
Semantic Analysis and Understanding of Human Behavior in Video Streaming by Alberto Amato 9781461454854
Booksplease Price: £46.28Semantic Analysis and Understanding of Human Behaviour in Video Streaming investigates the semantic analysis of the human behaviour captured by video streaming, and introduces both theoretical and... -
Agile Methods: 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers by Carla Rocha 9783031256479
Booksplease Price: £56.12This book constitutes the refereed proceedings of the 11th Brazilian Workshop on Agile Methods, WBMA 2021, which took place online in October 2021.The 6 full papers and 3 short papers presented in... -
Studies in Computer Science: In Honor of Samuel D. Conte by John R. Rice 9781461357230
Booksplease Price: £46.74This book is the proceedings ofa conference held November 1-3, 1989, to honor Samuel D. Conte for his many contributions to computer sci- ences at Purdue University and to the profession as a whole... -
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings by Flavio De Paoli 9783642334269
Booksplease Price: £41.36This book constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. The 12 full papers, 3... -
Computer Graphics by Dr J Gladson Maria Britto 9789392537097
Booksplease Price: £15.23Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789392537097Author Dr J Gladson Maria BrittoFormat PaperbackPage Count 190 -
Search-Based Software Engineering: 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings by Mike Papadakis 9783031212505
Booksplease Price: £50.94This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.The 6 regular papers, the... -
3D Video and Its Applications by Takashi Matsuyama 9781447141198
Booksplease Price: £90.86This book presents a broad review of state-of-the-art 3D video production technologies and applications. The text opens with a concise introduction to the field, before examining the design and... -
Algorithms -- ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, Proceedings by Susanne Albers 9783540230250
Booksplease Price: £91.36This volume contains the 70 contributed papers and abstracts of two invited l- tures presented at the 12th Annual European Symposium on Algorithms (ESA 2004), held in Bergen, Norway, September 14-17,... -
Image Analysis and Processing - ICIAP 2022: 21st International Conference, Lecce, Italy, May 23-27, 2022, Proceedings, Part I by Stan Sclaroff 9783031064265
RRP: £99.99Booksplease Price: £99.87The proceedings set LNCS 13231, 13232, and 13233 constitutes the refereed proceedings of the 21st International Conference on Image Analysis and Processing, ICIAP 2022, which was held during May... -
#SCRUM tweet: 140 Thought-Lenses to Build Better Software Using Scrum by Utpal Vaishnav 9781616991104
RRP: £10.95Booksplease Price: £10.27Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781616991104Author Utpal VaishnavFormat PaperbackPage Count 120Imprint -
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers by Klaus Havelund 9783540496991
Booksplease Price: £46.28This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV... -
Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings by Alan Mycroft 9783540603603
Booksplease Price: £46.58This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as... -
Conceptual Modeling - ER 2008: 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings by Qing Li 9783540878766
Booksplease Price: £46.58Conceptual modeling has long been recognized as the primary means to enable so- ware development in information systems and data engineering. Conceptual modeling provides languages, methods and tools... -
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings by Yamine Ait-Ameur 9789811550560
Booksplease Price: £88.60This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it... -
Implementing AppFog by Matthew Nohr 9781849698184
Booksplease Price: £29.52This book is a practical, hands-on guide to implementing and deploying apps on the AppFog platform.Implementing AppFog is for developers who want to be able to upload applications to the cloud, and... -
Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers by Hossein Hojjat 9783031424403
Booksplease Price: £55.36This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023... -
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings by Owolabi Legunsen 9783031150760
Booksplease Price: £91.04This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and... -
Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings by Christophe Gaston 9783030312794
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular... -
Shape in Medical Imaging: International Workshop, ShapeMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, Proceedings by Martin Reuter 9783030610555
Booksplease Price: £46.28This book constitutes the proceedings of the International Workshop on Shape in Medical Imaging, ShapeMI 2020, which was held in conjunction with the 23rd International Conference on Medical Image... -
Pattern Recognition and Computer Vision: 4th Chinese Conference, PRCV 2021, Beijing, China, October 29-November 1, 2021, Proceedings, Part III by Huimin Ma 9783030880095
Booksplease Price: £91.92The 4-volume set LNCS 13019, 13020, 13021 and 13022 constitutes the refereed proceedings of the 4th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2021, held in Beijing, China,... -
Technical Program Manager's Handbook: Empowering managers to efficiently manage technical projects and build a successful career path by Joshua Alan Teter 9781804613559
Booksplease Price: £40.38Explore the different aspects of the technical program manager's role in the tech world and get ready to advance your career across the Big Five tech companies Key Features Uncover the secret... -
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings by Alexandre Madeira 9783031773815
Booksplease Price: £61.04This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024. The 23... -
The Kubernetes Operator Framework Book: Overcome complex Kubernetes cluster management challenges with automation toolkits by Michael Dame 9781803232850
Booksplease Price: £44.21Design and deploy an operator for personal use and public distribution and get to grips with writing, packaging, and distributing a basic operator for a Kubernetes clusterKey FeaturesDevelop a... -
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday by Peter Muller 9783319980461
Booksplease Price: £91.92This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach... -
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings by Bernd Finkbeiner 9783030320782
Booksplease Price: £56.12This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this...