Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Virtual Worlds: First International Conference, VW'98 Paris, France, July 1-3, 1998 Proceedings by Jean-Claude Heudin 9783540647805
Booksplease Price: $90.831 Introduction Imagine a virtual world with digital creatures that looks like real life, sounds like real life, and even feels like real life. Imagine a virtual world not only with nice three... -
Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks by Onn Shehory 9783662522790
Booksplease Price: $176.59With this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce the reader to various facets of agent-oriented software engineering (AOSE). They provide a selected... -
Internetware: A New Software Paradigm for Internet Computing by Jian Lu 9789811025457
Booksplease Price: $178.15This book presents a comprehensive introduction to Internetware, covering aspects ranging from the fundamental principles and engineering methodologies to operational platforms, quality measurements... -
Digital Audio Editing Fundamentals by Wallace Jackson 9781484216477
RRP: $54.58Booksplease Price: $51.87This concise book builds upon the foundational concepts of MIDI, synthesis, and sampled waveforms. It also covers key factors regarding the data footprint optimization work process, streaming versus... -
Computational Visualization: Graphics, Abstraction and Interactivity by Thomas Strothotte 9783642641497
Booksplease Price: $90.83An introduction to the use of abstraction in interactive computer graphics, emphasizing zooming and rendering techniques and discussing benefits for medical and technical applications.Book... -
Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition by Ben Liblit 9783540718772
Booksplease Price: $90.25Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods... -
A Process Algebraic Approach to Software Architecture Design by Alessandro Aldini 9781447157663
Booksplease Price: $90.25Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for... -
The Renaissance of Legacy Systems: Method Support for Software-System Evolution by Ian Warren 9781852330606
Booksplease Price: $90.25Today, software professionals recognize that change in software systems is inevitable. There are many systems currently in operation, however, which were developed before the need for change was... -
Blind Image Deconvolution: Methods and Convergence by Subhasis Chaudhuri 9783319104843
Booksplease Price: $91.14Blind deconvolution is a classical image processing problem which has been investigated by a large number of researchers over the last four decades. The purpose of this monograph is not to propose... -
Software Product-Family Engineering: 4th International Workshop, PFE 2001 Bilbao, Spain, October 3-5, 2001 Revised Papers by Frank van der Linden 9783540436591
Booksplease Price: $90.83This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, Spain, October 3-5, 2001. This workshop was the fourth in a series... -
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings by Borzoo Bonakdarpour 9783319111636
Booksplease Price: $90.25This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers... -
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings by Bernd Krieg-Bruckner 9783540552536
Booksplease Price: $90.83This volume contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the seventeeth Colloquium on Trees in Algebra and Programming (CAAP) in Rennes,... -
Fundamental Algorithms for Computer Graphics: NATO Advanced Study Institute directed by J.E. Bresenham, R.A. Earnshaw, M.L.V. Pitteway by Rae Earnshaw 9783540543978
Booksplease Price: $93.37Algorithms provide the basic foundation for all computational processes. This volume presents algorithms at the foundational level and also at the various levels between this level and the user... -
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers by Pierre Flener 9783540657651
Booksplease Price: $90.25This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June... -
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report by Manfred Broy 9783540605898
Booksplease Price: $90.83This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary,... -
Information Processing in Medical Imaging: 12th International Conference, IPMI '91, Wye, UK, July 7-12, 1991. Proceedings by Alan C.F. Colchester 9783540542469
Booksplease Price: $177.18The 1991 International Conference on Information Processing in Medical Imaging (IPMI '91) is the twelfth in the series and was held in Wye College, part of the University of London. The purpose of... -
Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings by Conjeevaram E.Veni Madhavan 9783540520481
Booksplease Price: $90.25The papers in this volume accepted for the conference on foundations of software technology and theoretical computer science project research results in - Algorithmics: design and analysis of graph,... -
Invasive Software Composition by Uwe Assmann 9783540443858
Booksplease Price: $90.83Invasive software composition as a new, component-based way to construct software systems is presented. To improve reuse, this method regards software components as greybox and integrates them during... -
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings by David Sands 9783540418627
Booksplease Price: $90.83ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of... -
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings by M. Joseph 9783540138839
Booksplease Price: $91.81Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540138839Author M. JosephFormat PaperbackPage Count 470Imprint -
String Processing and Information Retrieval: 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings by Mario A. Nascimento 9783540201779
Booksplease Price: $90.25This volume of the Lecture Notes in Computer Science series provides a c- prehensive, state-of-the-art survey of recent advances in string processing and information retrieval. It includes invited... -
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by R. Ramanujam 9783540304951
Booksplease Price: $178.78This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitment to excellence... -
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I by Tiziana Margaria 9783319471655
Booksplease Price: $179.71The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA... -
Software Architecture: 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings by Bedir Tekinerdogan 9783031425912
Booksplease Price: $128.62This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 16 full papers and the 9 short... -
Software Engineering by Laxmidhar V 9781649510785
Booksplease Price: $37.48Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781649510785Author Laxmidhar VFormat PaperbackPage Count 242Imprint -
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part III by Shai Avidan 9783031200618
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... -
Computer Vision - ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXIV by Shai Avidan 9783031200526
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... -
Scale Space and Variational Methods in Computer Vision: Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 -- June 2, 2011, Revised Selected Papers by Alfred M. Bruckstein 9783642247842
Booksplease Price: $91.81This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2011, held in... -
Image Analysis and Recognition: 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I by Aurelio Campilho 9783642312946
Booksplease Price: $90.83The two-volume set LNCS 7324/7325 constitutes the refereed proceedings of the 9th International Conference on Image and Recognition, ICIAR 2012, held in Aveiro, Portugal, in June 2012. The 107... -
Human Motion: Understanding, Modelling, Capture, and Animation by B. Rosenhahn 9781402066924
Booksplease Price: $91.81This is the first book which informs about recent progress in biomechanics, computer vision and computer graphics - all in one volume. Researchers from these areas have contributed to this book to... -
Feature Management with LaunchDarkly: Discover safe ways to make live changes in your systems and master testing in production by Michael Gillett 9781800562974
Booksplease Price: $72.97Make code deployments completely safe and change your application in production in real time with LaunchDarkly using percentage-based rollouts, kill switches, and A/B and multi-variant testingKey... -
Cloud Computing Demystified for Aspiring Professionals: Hone your skills in AWS, Azure, and Google cloud computing and boost your career as a cloud engineer by David Santana 9781803243313
Booksplease Price: $74.22Gain in-depth knowledge of cloud computing concepts and apply them to accelerate your career in any cloud engineering roleKey FeaturesGet to grips with key cloud computing concepts, cloud service... -
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings by Erika Abraham 9783319336923
Booksplease Price: $138.80This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this... -
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: $90.25This 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: $179.24This 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: $71.06This 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: $90.25This 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: $128.62This 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: $179.24This 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: $90.25This 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...