Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings by Shaoying Liu 9783540881933
Booksplease Price: £46.58Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose... -
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by Frank S. de Boer 9783540291312
Booksplease Price: £46.28Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires... -
Information Theory in Computer Vision and Pattern Recognition by Francisco Escolano Ruiz 9781447156932
Booksplease Price: £90.56Information theory has proved to be effective for solving many computer vision and pattern recognition (CVPR) problems (such as image matching, clustering and segmentation, saliency detection,... -
Biomechanical Models for Soft Tissue Simulation by Walter Maurel 9783662035917
Booksplease Price: £46.28An overview of biomechanical modeling of human soft tissue using nonlinear theoretical mechanics and incremental finite element methods, useful for computer simulation of the human musculoskeletal... -
Handbook on Agent-Oriented Design Processes by Massimo Cossentino 9783642399749
Booksplease Price: £90.86To deal with the flexible architectures and evolving functionalities of complex modern systems, the agent metaphor and agent-based computing are often the most appropriate software design approach... -
Semantic Video Object Segmentation for Content-Based Multimedia Applications by Ju Guo 9781461355861
Booksplease Price: £92.26Semantic Video Object Segmentation for Content-Based Multimedia Applications provides a thorough review of state-of-the-art techniques as well as describing several novel ideas and algorithms for... -
Requirements Engineering: Foundation for Software Quality: 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings by Joerg Doerr 9783642374210
Booksplease Price: £46.58This book constitutes the refereed proceedings of the 19th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2013, held in Essen, Germany, in April... -
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings by Toshiaki Aoki 9783642342806
Booksplease Price: £46.58This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together... -
Azure Arc: Up and Running: Explore the new generation hybrid cloud and learn to build Azure Arc-enabled solutions by Amit Malik 9781801076005
Booksplease Price: £41.08Accelerate hybrid cloud innovation using Azure Arc with the help of real-world scenarios and examplesKey FeaturesGet to grips with setting up and working with Azure ArcHarness the power of Azure Arc... -
Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures by Stephan Diehl 9783540433231
Booksplease Price: £46.58This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own. Based on a seminar held at Dagstuhl Castle in May 2001, the book offers... -
SOFSEM '98: Theory and Practice of Informatics: 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings by Branislav Rovan 9783540652601
Booksplease Price: £46.58This volume contains the invited papers and papers selected for presentation at the 25th conference on Theory and Practice of Informatics SOFSEM '98, held in Jasn a, Slovakia, November 21{27, 1998... -
Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings by Vincenzo Ambriola 9783540422648
Booksplease Price: £46.74Sorry no description is available for this book at this time. -
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday by Nachum Dershowitz 9783540210023
Booksplease Price: £92.18This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of... -
Progress in Image Analysis and Processing, ICIAP 2013: Naples, Italy, September 9-13, 2013, Proceedings, Part II by Alfredo Petrosino 9783642411830
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... -
Component-Based Software Engineering: 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings by Heinz G. Schmidt 9783540735502
Booksplease Price: £46.28Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software... -
Exception Handling: Fundamentals and Programming by Pedro Mejia Alvarez 9783031506802
RRP: £44.99Booksplease Price: £36.44This book presents the fundamentals of exception handling with examples written in C++ and Python. Starting with its history and evolution, it explores the many facets of exception handling, such as... -
Machine Learning in Clinical Neuroimaging: 6th International Workshop, MLCN 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings by Ahmed Abdulkadir 9783031448577
Booksplease Price: £51.90This book constitutes the refereed proceedings of the 6th International Workshop on Machine Learning in Clinical Neuroimaging, MLCN 2023, held in Conjunction with MICCAI 2023 in Vancouver, Canada, in... -
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings by Birgit Milius 9783031433658
Booksplease Price: £56.12This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023,... -
Docker: The Complete Guide to the Most Widely Used Virtualization Technology. Create Containers and Deploy them to Production Safely and Securely. by Jordan Lioy 9798215406823
RRP: £16.99Booksplease Price: £16.09Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798215406823Author Jordan LioyFormat PaperbackPage Count 268Imprint -
Game Programming using Qt 5 Beginner's Guide: Create amazing games with Qt 5, C++, and Qt Quick, 2nd Edition by Pavel Vladimirovich Strakhov 9781788399999
Booksplease Price: £46.10A complete guide to designing and building fun games with Qt and Qt Quick using associated toolsets About This Book * A step by step guide to learn Qt by building simple yet entertaining games ... -
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings by Dragan Bosnacki 9783319325811
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented,... -
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers by Andy King 9783540787686
Booksplease Price: £46.28This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in KongensLyngby, Denmark, August... -
Coloured Petri Nets: Modelling and Validation of Concurrent Systems by Kurt Jensen 9783642002830
Booksplease Price: £71.18Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such... -
Computer Vision - ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXVII by Shai Avidan 9783031198113
RRP: £99.99Booksplease Price: £99.06The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during... -
Bootstrapping Service Mesh Implementations with Istio: Building reliable, scalable, and secure microservices on Kubernetes with service mesh by Anand Rai 9781803246819
Booksplease Price: £38.06A step-by-step guide to Istio Service Mesh implementation, with examples of complex and distributed workloads built using microservices architecture and deployed in Kubernetes Purchase of the print... -
UML-Based Software Product Line Engineering with SMarty by Edson OliveiraJr 9783031185557
RRP: £99.99Booksplease Price: £88.60This book is about software product lines (SPLs) designed and developed taking UML diagrams as the primary basis, modeled according to a rigorous approach composed of an UML profile and a systematic... -
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings by Frank de Boer 9783030587673
Booksplease Price: £51.20This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16... -
Computer Vision - ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXVIII by Shai Avidan 9783031198144
Booksplease Price: £46.28The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during... -
Computer Vision, Imaging and Computer Graphics - Theory and Applications: 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 - March 1, 2017, Revised Selected Papers by Ana Paula Claudio 9783030122089
Booksplease Price: £46.28This book constitutes thoroughly revised and selected papers from the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2017,... -
Software Measurement: Establish - Extract - Evaluate - Execute by Christof Ebert 9783540716488
Booksplease Price: £46.58In 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... -
Testing Software and Systems: 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings by Mercedes G. Merayo 9783662448564
Booksplease Price: £46.74This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2014, held in Istanbul, Turkey, in September 2014. The 11... -
Kubectl: Command-line Kubernetes in a Nutshell: Deploy, manage, and debug container workloads using Kubernetes CLI by Rimantas Mocevicius 9781800561878
Booksplease Price: £22.66Manage Kubernetes applications using kubectl and discover the different Kubernetes clustersKey FeaturesExplore the Kubernetes command line for deploying applications, inspecting clusters, and viewing... -
Computer Vision - ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XX by Shai Avidan 9783031200434
Booksplease Price: £46.28The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during... -
Driving DevOps with Value Stream Management: Improve IT value stream deliveries with a proven VSM methodology to compete in the digital economy by Cecil Rupp 9781801078061
Booksplease Price: £44.06A practical guide to implementing Value Stream Management to guide your strategic investments in DevOps capabilities and deliver customer-centric value quickly and economicallyKey FeaturesAddress... -
Computer Vision – ECCV 2020: 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part VIII by Andrea Vedaldi 9783030585976
Booksplease Price: £91.36The 30-volume set, comprising the LNCS books 12346 until 12375, constitutes the refereed proceedings of the 16th European Conference on Computer Vision, ECCV 2020, which was planned to be held in... -
Computer Vision – ECCV 2020: 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XXI by Andrea Vedaldi 9783030585884
Booksplease Price: £91.36The 30-volume set, comprising the LNCS books 12346 until 12375, constitutes the refereed proceedings of the 16th European Conference on Computer Vision, ECCV 2020, which was planned to be held in... -
SSADM & GRAPES: Two Complementary Major European Methodologies for Information Systems Engineering by A. Aue 9783540553809
Booksplease Price: £46.58documentation is constantly refined as detailed under- 1.1 Purpose standing of the requirement increase. The CCT A of the UK government and Siemens For project management purposes the SSADM life... -
Fast Algorithms for 3D-Graphics by Georg Glaeser 9783540942887
Booksplease Price: £46.28In this book, a variety of algoritbms are described that may be of interest to everyone who writes software for 3D-graphics. It is a book that haB been written for programmers at an intermediate... -
Analysis and Interpretation of Range Images by Ramesh C. Jain 9781461279808
Booksplease Price: £90.56Computer vision researchers have been frustrated in their attempts to automatically derive depth information from conventional two-dimensional intensity images. Research on "shape from texture",... -
Theory and Practice of Model Transformations: 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings by Zhenjiang Hu 9783642304750
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18...