Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings by Thierry Lecomte 9783319339504
Booksplease Price: £46.28This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016. The 15... -
Pattern Recognition and Information Forensics: ICPR 2020 International Workshops, Virtual Event, January 10-11, 2021, Proceedings, Part VII by Alberto Del Bimbo 9783030687861
Booksplease Price: £91.92This 8-volumes set constitutes the refereed of the 25th International Conference on Pattern Recognition Workshops, ICPR 2020, held virtually in Milan, Italy and rescheduled to January 10 - 11, 2021... -
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II by Sharon Shoham 9783031131875
Booksplease Price: £36.44This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa,... -
Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers by Zhenhua Duan 9783030136505
Booksplease Price: £46.28This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD,... -
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, Proceedings by Ahmed Bouajjani 9783031199912
Booksplease Price: £65.96This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The... -
Managing Software Process Evolution: Traditional, Agile and Beyond - How to Handle Process Change by Marco Kuhrmann 9783319810607
Booksplease Price: £91.92This book focuses on the design, development, management, governance and application of evolving software processes that are aligned with changing business objectives, such as expansion to new... -
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings by Brijesh Dongol 9783030634605
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2... -
MICAI 2009: Advances in Artificial Intelligence: 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009 Proceedings by Arturo Hernandez Aguirre 9783642052576
Booksplease Price: £91.36The Mexican International Conference on Arti?cial Intelligence (MICAI), a yearly international conference organized by the Mexican Society for Arti?cial Intelligence (SMIA), is a major international... -
Transactions on Aspect-Oriented Software Development IX by Gary T. Leavens 9783642355509
Booksplease Price: £46.28The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software... -
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers by Saddek Bensalem 9783642046933
Booksplease Price: £46.74The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri?cation. The goal of the RV workshops is to study the ability to apply lightweight... -
Computer Vision - ACCV 2018: 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part II by C. V. Jawahar 9783030208899
Booksplease Price: £47.08The six volume set LNCS 11361-11366 constitutes the proceedings of the 14th Asian Conference on Computer Vision, ACCV 2018, held in Perth, Australia, in December 2018. The total of 274 contributions... -
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings by Valentina Casola 9783030648800
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in... -
Transactions on Petri Nets and Other Models of Concurrency X by Maciej Koutny 9783662486498
Booksplease Price: £46.28These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues... -
Advances in Computer Graphics: Images: Synthesis, Analysis, and Interaction by Gerald Garcia 9783642762888
Booksplease Price: £46.58This book is a collection of several tutorials from the EUROGRAPHICS '90 conference in Montreux. The conference was held under the motto "IMAGES: Synthesis, Analysis and Interaction", and the... -
Agile Processes in Software Engineering and Extreme Programming: 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings by Viktoria Stray 9783030493912
Booksplease Price: £36.44This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT... -
Agile Processes in Software Engineering and Extreme Programming: 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011, Proceedings by Alberto Sillitti 9783642206764
Booksplease Price: £46.28This book contains the refereed proceedings of the 12th International Conference on Agile Software Development, XP 2011, held in Madrid, Spain, in May 2011. The year 2011 marked the 10th anniversary... -
The Data Model Toolkit: Simple Skills To Model The Real World by Dave Knifton 9781782224730
Booksplease Price: £26.60Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781782224730Author Dave KniftonFormat PaperbackPage Count 348Imprint < -
Advances in Computer Graphics IV by W. T. Hewitt 9783642840623
Booksplease Price: £90.56This fourth volume of Advances in Computer Graphics gathers together a selection of the tutorials presented at the EUROGRAPHICS annual conference in Nice, France, Septem ber 1988. The six... -
Product-Focused Software Process Improvement: 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings by Andreas Jedlitschka 9783540695646
Booksplease Price: £46.58On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9th International Conference on Product-Focused Software Process Improvement (PROFES 2008) held in... -
Software Architecture Knowledge Management: Theory and Practice by Torgeir Dingsoyr 9783642424892
Booksplease Price: £107.67A software architecture manifests the major early design decisions, which determine the system's development, deployment and evolution. Thus, making better architectural decisions is one of the large... -
History of Computing: Software Issues: International Conference on the History of Computing, ICHC 2000 April 5-7, 2000 Heinz Nixdorf MuseumsForum Paderborn, Germany by Ulf Hashagen 9783540426646
Booksplease Price: £47.08The papers in this volume were presented at a conference that was designed to map out historical study needs in one area of the history of computing, namely, software. The Paderbom conference was... -
Progress in Image Analysis and Processing, ICIAP 2013: Naples, Italy, September 9-13, 2013, Proceedings, Part I by Alfredo Petrosino 9783642411809
Booksplease Price: £47.08This two volume set (LNCS 8156 and 8157) constitutes the refereed proceedings of the 17th International Conference on Image Analysis and Processing, ICIAP 2013, held in Naples, Italy, in September... -
Computer Vision - ECCV 2012: 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012. Proceedings, Part VI by Andrew FitzGibbon 9783642337826
Booksplease Price: £91.36The seven-volume set comprising LNCS volumes 7572-7578 constitutes the refereed proceedings of the 12th European Conference on Computer Vision, ECCV 2012, held in Florence, Italy, in October 2012... -
Transactions on Aspect-Oriented Software Development I by Awais Rashid 9783540329725
Booksplease Price: £46.28This journal is devoted to aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance... -
Dictionary of Acronyms and Technical Abbreviations: For Information and Communication Technologies and Related Areas by Jakob Vlietstra 9781852333973
Booksplease Price: £91.36This Dictionary covers information and communication technology (ICT), including hardware and software; information networks, including the Internet and the World Wide Web; automatic control; and... -
Polished Ruby Programming: Build better software with more intuitive, maintainable, scalable, and high-performance Ruby code by Jeremy Evans 9781801072724
Booksplease Price: £50.22Elevate your Ruby skills to an advanced level by deepening your understanding of the design principles, best practices, and trade-offs involved in implementation approaches to future-proof your Ruby... -
PLC and HMI development with Siemens TIA Portal: Develop PLC and HMI programs easily using TIA Portal v17 and shorten your project's time-to-market by Liam Bee 9781801817226
Booksplease Price: £54.45Become well-versed with the tools available in the Siemens TIA toolbox and write PLC and HMI code effectivelyKey FeaturesFind out how to use TIA Portal effectively to boost your productivityLearn... -
Learning DevOps: A comprehensive guide to accelerating DevOps culture adoption with Terraform, Azure DevOps, Kubernetes, and Jenkins by Mikael Krief 9781801818964
Booksplease Price: £35.99Implement modern DevOps techniques to increase business productivity, agility, reliability, security, and scalabilityKey FeaturesLearn how to use business resources effectively for improved... -
Creating Wordpress Online Store and Wordpress Online Magazine by Dr Hidaia Mahmood Alassouli 9798211945906
RRP: £12.84Booksplease Price: £12.43Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798211945906Author Dr Hidaia Mahmood AlassouliFormat PaperbackPage Count 30< -
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings by Natarajan Shankar 9783540878728
Booksplease Price: £46.74This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers... -
Software Measurement: Establish - Extract - Evaluate - Execute by Christof Ebert 9783642090806
Booksplease Price: £45.60In this comprehensive introduction to software measurement, Ebert and Dumke detail knowledge and experiences about the subject in an easily understood, hands-on presentation. The book describes... -
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers by Gilles Barthe 9783540336891
Booksplease Price: £46.28This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full... -
Software Quality. Software and Systems Quality in Distributed and Mobile Environments: 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings by Dietmar Winkler 9783319132501
Booksplease Price: £36.44This book constitutes the refereed proceedings of the scientific track of the 7th Software Quality Days Conference, SWQD 2015, held in Vienna, Austria, in January 2015.The SWQD conference offers a... -
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings by Didier Bert 9783540431664
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings by E. Allen Emerson 9783540677703
Booksplease Price: £90.86This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are... -
Reflection and Software Engineering by Walter Cazzola 9783540677611
Booksplease Price: £46.74This volume represents a rst attempt to bring together ideas from two pre- ously unrelated research areas, namely Software Engineering and Computational Re?ection, and to evaluate the bene ts that... -
Computer Vision Systems: First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings by Henrik I. Christensen 9783540654599
Booksplease Price: £91.68Computer Vision has now reached a level of maturity that allows us not only to perform research on individual methods but also to build fully integrated computer vision systems of a signi cant... -
Building Tightly Integrated Software Development Environments: The IPSEN Approach by Manfred Nagl 9783540619857
Booksplease Price: £92.96This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of... -
Constraint Processing: Selected Papers by Manfred Meyer 9783540594796
Booksplease Price: £46.58This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the... -
Algebraic Methods: Theory, Tools and Applications by Martin Wirsing 9783540516989
Booksplease Price: £91.68Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540516989Author Martin WirsingFormat PaperbackPage Count 564Imprint