Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings by Kung-Kiu Lau 9783540297970
Booksplease Price: £46.58This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the... -
Component-Based Software Testing with UML by Hans-Gerhard Gross 9783540208648
Booksplease Price: £46.58Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the... -
Architectural Design: Conception and Specification of Interactive Systems by Chris A. Vissers 9783319827834
Booksplease Price: £46.28This book presents a design methodology that is practically applicable to the architectural design of a broad range of systems. It is based on fundamental design concepts to conceive and specify the... -
Machine Learning in Medical Imaging: 9th International Workshop, MLMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings by Yinghuan Shi 9783030009182
Booksplease Price: £46.28This book constitutes the proceedings of the 9th International Workshop on Machine Learning in Medical Imaging, MLMI 2018, held in conjunction with MICCAI 2018 in Granada, Spain, in September 2018... -
Touch of Class: Learning to Program Well with Objects and Contracts by Bertrand Meyer 9783662519073
Booksplease Price: £57.72From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and... -
Medical Computer Vision: Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers by Bjoern Menze 9783642366192
Booksplease Price: £46.28This book constitutes the thoroughly refereed workshop proceedings of the Second International Workshop on Medical Computer Vision, MCV 2012, held in Nice, France, October 2012 in conjunction with... -
Object-Based Concurrent Computing: ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings by Mario Tokoro 9783540556138
Booksplease Price: £46.74The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and formal... -
Essentials of Constraint Programming by Thom Fruhwirth 9783642087127
Booksplease Price: £46.28The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information... -
The Mobile App Mastery: Innovate, design, and thrive in the app ecosystem by Marcus Devlin 9798869198273
RRP: £15.99Booksplease Price: £12.67Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798869198273Author Marcus DevlinFormat PaperbackPage Count 130Imprint -
Building Modern SaaS Applications with C# and .NET: Build, deploy, and maintain professional SaaS applications by Andy Watt 9781804610879
Booksplease Price: £33.99Embark on a tech-tastic adventure and build Software as a Service (SaaS) applications using the Microsoft tech stack Purchase of the print or Kindle book includes a free PDF eBook Key Features ... -
Applications of Medical Artificial Intelligence: First International Workshop, AMAI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings by Shandong Wu 9783031177200
Booksplease Price: £50.94This book constitutes the refereed proceedings of the first International Workshop on Applications of Medical Artificial Intelligence, AMAI 2022, held in conjunction with MICCAI 2022, in Singapore,... -
Solutions Architect's Handbook -: Kick-start your career as a solutions architect by learning architecture design principles and strategies by Saurabh Shrivastava 9781801816618
RRP: £67.99Booksplease Price: £65.36Third edition out now with coverage on Generative AI, clean architecture, edge computing, and more Key Features Turn business needs into end-to-end technical architectures with this practical... -
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings by Brian Nielsen 9783642346903
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised... -
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings by Ezio Bartocci 9783319238197
Booksplease Price: £46.58This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented... -
Advances in Software Engineering: Comprehension, Evaluation, and Evolution by Hakan Erdogmus 9781441928788
Booksplease Price: £49.53This book contains both relevant real-world research, as well as reviews of different areas of interest in the software engineering literature, such as clone identification. The contents of the... -
Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers by Ernesto Damiani 9783030402228
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, held in Heraklion, Crete, Greece, in May... -
Pattern Recognition and Computer Vision: Third Chinese Conference, PRCV 2020, Nanjing, China, October 16-18, 2020, Proceedings, Part II by Yuxin Peng 9783030606381
Booksplease Price: £91.92The three-volume set LNCS 12305, 12306, and 12307 constitutes the refereed proceedings of the Third Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2020, held virtually in... -
Tamed Agility: Pragmatic Contracting and Collaboration in Agile Software Projects by Matthias Book 9783319414768
Booksplease Price: £46.58This book describes pragmatic instruments and methods that enable business experts and software engineers to develop a common understanding of the software to be created, to determine their key... -
Component-Based Software Engineering: 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 by George Heineman 9783540258773
Booksplease Price: £46.28On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of... -
Thoracic Image Analysis: Second International Workshop, TIA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings by Jens Petersen 9783030624682
Booksplease Price: £46.28This book constitutes the proceedings of the Second International Workshop on Thoracic Image Analysis, TIA 2020, held in Lima, Peru, in October 2020. Due to COVID-19 pandemic the conference was held... -
Dependable Computing - Edcc 2020 Workshops: Ai4rails, Dreams, Dsogri, Serene 2020, Munich, Germany, September 7, 2020, Proceedings by Simona Bernardi 9783030584610
Booksplease Price: £46.28Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783030584610Author Simona BernardiFormat PaperbackImprint -
Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings by Shin Nakajima 9789811351365
Booksplease Price: £91.92Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling,... -
Ambulation Analysis in Wearable ECG by Subhasis Chaudhuri 9781489984883
Booksplease Price: £90.56Ambulation Analysis in Wearable ECG demonstrates why, due to recent developments, the wearable ECG recorder substantiates a significant innovation in the healthcare field. About this book: Examines... -
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings by Egon Borger 9783540876021
Booksplease Price: £46.58This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference... -
Computer-Assisted and Robotic Endoscopy: First International Workshop, CARE 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014. Revised Selected Papers by Xiongbiao Luo 9783319134093
Booksplease Price: £36.44This book constitutes the refereed proceedings of the First International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2014, held in conjunction with MICCAI 2014, in Boston, MA, USA, in... -
Optimizing Cloud Native Java: Practical Techniques for Improving Jvm Application Performance by Benjamin J Evans 9781098149345
RRP: £55.99Booksplease Price: £37.05Performance tuning is an experimental science, but that doesn't mean engineers should resort to guesswork and folklore to get the job done. Yet that's often the case. With this practical book,... -
Elementary Logic: For Software Development by Robert Lover 9781848000810
Booksplease Price: £37.42The ability to reason correctly is critical to most aspects of computer science and to software development in particular. This book teaches readers how to better reason about software development,... -
Elements of C by Morton H. Lewin 9781461292715
Booksplease Price: £46.74Statements in C, like statements in any other programming language, consist almost entirely of expressions and special reserved words. Declarations in C, unlike declarations in other languages, also... -
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III by Constantin Enea 9783031377082
Booksplease Price: £36.74The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris,... -
Software Architecture. ECSA 2022 Tracks and Workshops: Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers by Thais Batista 9783031368882
Booksplease Price: £76.10This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in... -
Techniques for Computer Graphics by David F. Rogers 9781461387152
Booksplease Price: £46.58Reviews 8 key areas which are focal points for current de- velopments. Theseare Design, Modeling, Image Generatiion, Workstations, VLSI, HCI, Graphics Standards, and Electronic Documentation.Book... -
The Org Mode 9.2 Reference Manual by Carsten Dominik 9781680922813
Booksplease Price: £14.44Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781680922813Author Carsten DominikFormat PaperbackPage Count 304Imprint -
Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016, Revised Selected Papers by Olga Kouchnarenko 9783319576657
Booksplease Price: £46.28This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besancon, France, in October 2016. The... -
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures by Jonathan P. Bowen 9783319568409
Booksplease Price: £46.74This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at... -
Defect Prediction in Software Development & Maintainence by Rudra Kumar 9781543702422
Booksplease Price: £5.74Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781543702422Author Rudra KumarFormat PaperbackPage Count 60Imprint -
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday by Gul Agha 9783642249327
Booksplease Price: £46.58This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in... -
Conceptual Modeling: 39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020, Proceedings by Gillian Dobbie 9783030625214
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 39th International Conference on Conceptual Modeling, ER 2020, held in Vienna, Austria, in November 2020. The conference was held virtually. The... -
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers by Marcel Vinicius Medeiros Oliveira 9783642104510
Booksplease Price: £46.28This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST... -
Service-Oriented Computing: 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13-17, 2021, Proceedings by Johanna Barzen 9783030875671
Booksplease Price: £56.12This book constitutes the refereed proceedings of the 15th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2021, held in September 2021. Due to the COVID-19 pandemic the... -
Computer Vision – ECCV 2022 Workshops: Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part V by Leonid Karlinsky 9783031250712
Booksplease Price: £85.64The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conference on Computer Vision, ECCV 2022...