Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings by Ofer Strichman 9783319703886
Booksplease Price: $91.14This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together... -
Quality of Information and Communications Technology: 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings by Antonio Vallecillo 9783031141782
Booksplease Price: $138.22This book constitutes the refereed proceedings of the 15th International Conference on the Quality of Information and Communications Technology, QUATIC 2022, held in Talavera de la Reina, Spain, in... -
Autodesk 3ds Max 2020: Modeling Essentials, 2nd Edition by Pradeep Mamgain 9781393561309
RRP: $58.48Booksplease Price: $54.27Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781393561309Author Pradeep MamgainFormat PaperbackPage Count 312Imprint -
Job Scheduling Strategies for Parallel Processing: 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers by Dalibor Klusacek 9783319773971
Booksplease Price: $91.14This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2017, held in Orlando, FL,... -
Intelligent Wavelet Based Techniques for Advanced Multimedia Applications by Rajiv Singh 9783030318727
Booksplease Price: $179.24This book contains high-quality research articles and reviews that promote research and reflect the most recent advances in intelligent wavelet based techniques for advanced multimedia applications... -
Making Images with Mathematics by Alexei Sourin 9783030698348
Booksplease Price: $80.65This textbook teaches readers how to turn geometry into an image on a computer screen. This exciting journey begins in the schools of the ancient Greek philosophers, and describes the major events... -
Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers by Amel Bennaceur 9783319965611
Booksplease Price: $105.50Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the... -
Computer Analysis of Images and Patterns: 18th International Conference, CAIP 2019, Salerno, Italy, September 3-5, 2019, Proceedings, Part I by Mario Vento 9783030298876
Booksplease Price: $128.62The two volume set LNCS 11678 and 11679 constitutes the refereed proceedings of the 18th International Conference on Computer Analysis of Images and Patterns, CAIP 2019, held in Salerno, Italy, in... -
Information Processing in Medical Imaging: 27th International Conference, IPMI 2021, Virtual Event, June 28-June 30, 2021, Proceedings by Aasa Feragen 9783030781903
RRP: $194.98Booksplease Price: $194.75This book constitutes the proceedings of the 27th International Conference on Information Processing in Medical Imaging, IPMI 2021, which was held online during June 28-30, 2021.The 59 full papers... -
Articulated Motion and Deformable Objects: 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings by Francisco Jose Perales 9783319945439
Booksplease Price: $90.25This book constitutes the refereed proceedings of the 10th International Conference on Articulated Motion and Deformable Objects, AMDO 2018, held in Palma de Mallorca, Spain, in July 2018. The 12... -
Measuring Reuse Characteristics of Software Components in an Extensible Ide by Karem Hussein 9783836492799
RRP: $95.49Booksplease Price: $86.15Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836492799Author Karem HusseinFormat PaperbackPage Count 160Imprint -
Recursive Block Coding for Image Data Compression by Paul M. Farrelle 9781461396789
Booksplease Price: $176.59Recursive Block Coding, a new image data compression technique that has its roots in noncausal models for 1d and 2d signals, is the subject of this book. The underlying theory provides a multitude of... -
Empirical Foundations of Information and Software Science III by Jens Rasmussen 9781461290551
Booksplease Price: $90.25The monograph presents the proceedings of the Third Symposium on Empir ical Foundations of Information and Software Sciences (EFISS) held at the Riso National Laboratory in Roskilde, Denmark, 23-25... -
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: $90.83Formal 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: $90.25Formal 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: $176.59Information 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: $90.25An 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: $177.18To 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: $179.91Semantic 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: $90.83This 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: $90.83This 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: $80.11Accelerate 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: $90.83This 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: $90.83This 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: $91.14Sorry 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: $179.75This 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: $91.81This 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: $90.25Providing 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: $87.73Booksplease Price: $71.06This 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: $101.21This 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: $109.43This 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: $33.13Booksplease Price: $31.38Apologies 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: $89.90A 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: $90.25This 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: $90.25This 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: $138.80Coloured 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: $194.98Booksplease Price: $193.17The 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: $74.22A 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: $194.98Booksplease Price: $172.77This 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: $99.84This 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...