Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings by Klaus Havelund 9783540410300
Booksplease Price: $90.25The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and... -
Duration Calculus: A Formal Approach to Real-Time Systems by Chaochen Zhou 9783540408239
Booksplease Price: $176.59Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time... -
Image and Video Retrieval: 5th Internatinoal Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings by Hari Sundaram 9783540360186
Booksplease Price: $90.83Here are the refereed proceedings of the 5th International Conference on Image and Video Retrieval, CIVR 2006, held in Singapore in July 2006. Presents 18 revised full papers and 30 poster papers,... -
Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers by Ralf H. Reussner 9783540358008
Booksplease Price: $90.25This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December... -
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers by Shmuel Ur 9783540326045
Booksplease Price: $91.14The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops... -
Approximation and Online Algorithms: Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers by Thomas Erlebach 9783540322078
Booksplease Price: $90.25This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Approximation and Online Algorithms, held in Palma de in October 2005. The 26 revised full papers... -
Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers by Mingshu Li 9783540311126
Booksplease Price: $90.83This book constitutes the thoroughly refereed post-proceedings of the International Software Process Workshop, SPW 2005, help in Beijing, China in May 2005. The 30 papers presented here, together... -
Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends by Colin Atkinson 9783540306443
Booksplease Price: $90.25Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such... -
Embedded Software and Systems: First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers by Zhaohui Wu 9783540281283
Booksplease Price: $177.18Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which was held in Hangzhou, P. R. China, 9-10 December 2004. Embedded Software and... -
Combinatorial Geometry and Graph Theory: Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers by Jin Akiyama 9783540244011
Booksplease Price: $91.14This volume consists of the refereed papers presented at the Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT 2003), held on September 13-16, 2003 at ITB, Bandung,... -
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings by Susanne Graf 9783540213147
Booksplease Price: $90.25Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999),... -
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures by Frank S. de Boer 9783540203032
Booksplease Price: $90.83Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has... -
Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium by Felix Redmill 9783540199229
Booksplease Price: $90.25Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human... -
Shape Detection in Computer Vision Using the Hough Transform by V.F. Leavers 9783540197232
Booksplease Price: $91.14Shape detection techniques are an important aspect of computer vision and are used to transform raw image data into the symbolic representations needed for object recognition and location. However,... -
Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989 by John E. Nicholls 9783540196273
Booksplease Price: $90.25The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for... -
Directions in Safety-Critical Systems: Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9-11 February 1993 by Felix Redmill 9783540198178
Booksplease Price: $90.250 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and... -
Advances in Computer Graphics Hardware I by Wolfgang Straser 9783540182221
Booksplease Price: $88.92The material presented in this book originates from the first Eurographics Workshop on Graphics Hardware, held in Lisbon, Portugal, in August 1986. Leading experts in the field present the state of... -
Software Development Tools by W. E. Riddle 9783540103264
Booksplease Price: $90.25This text contains the proceedings of a workshop on software develoDment tools, held at Pingree Park, Colorado in May, 1979. The workshop, for which we were co-chair men, was primarily, but not... -
The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs by W. Dehning 9783540108269
Booksplease Price: $90.25Apologies but we at Booksplease don't have a full description for this book.Springer Book ArchivesBook InformationISBN 9783540108269Author W. DehningFormat PaperbackPage Count -
A System-Theoretic Safety Engineering Approach for Software-Intensive Systems by Asim Ali Ahmed Abdulkhaleq 9783736994928
RRP: $87.20Booksplease Price: $78.99Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783736994928Author Asim Ali Ahmed AbdulkhaleqFormat PaperbackPage Count 220 -
Computer Vision Systems: Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings by James Crowley 9783540009214
Booksplease Price: $178.78This book constitutes the refereed proceedings of the Third International Conference on Computer Vision Systems, ICVS 2003, held in Graz, Austria, in April 2003. The 51 revised full papers presented... -
Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings by Inmaculada Medina-Bulo 9783319999265
Booksplease Price: $90.25This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cadiz, Spain, in October 2018. The 8 regular and 6... -
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings by Maria del Mar Gallardo 9783319941103
Booksplease Price: $90.83This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper,... -
Theory and Practice of Model Transformation: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings by Arend Rensink 9783319933160
Booksplease Price: $90.25This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers... -
Refinement: Semantics, Languages and Applications by John Derrick 9783319927091
Booksplease Price: $90.83Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to... -
Digging into Software Knowledge Generation in Cultural Heritage: Modeling Assistance Strategies for Large Archaeological Data Sets by Patricia Martin-Rodilla 9783319887265
Booksplease Price: $179.24This book focuses on innovative strategies to manage and build software systems for generating new knowledge from large archaeological data sets The book also reports on two case studies carried out... -
Optimization Techniques in Computer Vision: Ill-Posed Problems and Regularization by Mongi A. Abidi 9783319835013
Booksplease Price: $157.40This book presents practical optimization techniques used in image processing and computer vision problems. Ill-posed problems are introduced and used as examples to show how each type of problem is... -
Computer Models for Facial Beauty Analysis by David Zhang 9783319813233
Booksplease Price: $182.25This book covers the key advances in computerized facial beauty analysis, with an emphasis on data-driven research and the results of quantitative experiments. It takes a big step toward practical... -
Hagenberg Business Process Modelling Method by Felix Kossak 9783319808253
Booksplease Price: $179.24This book presents a proposal for designing business process management (BPM) systems that comprise much more than just process modelling. Based on a purified Business Process Model and Notation... -
Computational Methods and Clinical Applications in Musculoskeletal Imaging: 5th International Workshop, MSKI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Revised Selected Papers by Ben Glocker 9783319741123
Booksplease Price: $76.81This book constitutes the refereed proceedings of the 5th International Workshop and Challenge on Computational Methods and Clinical Applications for Musculoskeletal Imaging, MSKI 2017, held in... -
Software Quality: Methods and Tools for Better Software and Systems: 10th International Conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, Proceedings by Dietmar Winkler 9783319714394
Booksplease Price: $91.14This book constitutes the refereed proceedings of the 10th Software Quality Days Conference, SWQD 2018, held in Vienna, Austria, in January 2018. The Software Quality Days (SWQD) conference started... -
The Practice of Enterprise Modeling: 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings by Geert Poels 9783319702407
Booksplease Price: $90.83This volume constitutes the proceedings of the 10th IFIP WG 8.1 Conference on the Practice of Enterprise Modeling held in November 2017 in Leuven, Belgium. The conference was created by the... -
Computer Vision, Graphics, and Image Processing: ICVGIP 2016 Satellite Workshops, WCVA, DAR, and MedImage, Guwahati, India, December 19, 2016 Revised Selected Papers by Snehasis Mukherjee 9783319681238
Booksplease Price: $90.83This book constitutes the refereed conference proceedings of the ICVGIP 2016 Satellite Workshops, WCVA, DAR, and MedImage, held in Guwahati, India, in December 2016. The papers presented are extended... -
Model-Driven Engineering and Software Development: 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers by Slimane Hammoudi 9783319663012
Booksplease Price: $90.83This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in... -
Low-Power Design and Power-Aware Verification by Progyna Khondkar 9783319666181
RRP: $233.98Booksplease Price: $185.15Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in... -
Product-Focused Software Process Improvement: 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10–13, 2023, Proceedings, Part II by Regine Kadgien 9783031492686
RRP: $97.48Booksplease Price: $90.25This book constitutes the refereed proceedings of the 24th International Conference on Product-Focused Software Process Improvement, PROFES 2023, which took place in Dornbirn, Austria, in December... -
Reusability for Intelligent Realtime Interactive Systems by Dennis Wiebusch 9783958260405
RRP: $66.30Booksplease Price: $61.02Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783958260405Author Dennis WiebuschFormat PaperbackImprint -
From Data to Models and Back: 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers by Ricardo M. Czekster 9783031879074
Booksplease Price: $218.63This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4–5, 2024. The 9 full papers... -
The FPGA Programming Handbook: An Essential Guide to FPGA Design for Transforming Your Ideas into Hardware Using SystemVerilog and VHDL by Frank Bruno 9781805125594
Booksplease Price: $78.37Develop solid FPGA programming skills in SystemVerilog and VHDL by crafting practical projects - VGA controller, microprocessor, calculator, keyboard - and amplify your know-how with insider industry... -
Mobile Computing by Dr K Selvakumar 9789386176752
Booksplease Price: $24.65Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789386176752Author Dr K SelvakumarFormat PaperbackPage Count 106Imprint