Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers by Fabrice Kordon 9783540774181
Booksplease Price: $98.15This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France,... -
Intelligent Machine Vision: Techniques, Implementations and Applications by Bruce G. Batchelor 9783540762249
Booksplease Price: $191.86A number of important aspects of intelligent machine vision in one volume, describing the state of the art and current developments in the field, including: fundamentals of 'intelligent'image... -
Software Evolution by Tom Mens 9783540764397
Booksplease Price: $97.82This book focuses on novel trends in software evolution research and its relations with other emerging disciplines. Mens and Demeyer, both authorities in the field of software evolution, do not... -
Algorithms - ESA 2007: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings by Lars Arge 9783540755197
Booksplease Price: $191.86This book constitutes the refereed proceedings of the 15th Annual European Symposium on Algorithms, ESA 2007, held in Eilat, Israel, in October 2007 in the context of the combined conference ALGO... -
Advanced Information Systems Engineering: 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings by Zohra Bellahsene 9783540695332
Booksplease Price: $190.81CAiSE 2008wasthe20thinthe seriesofInternationalConferencesonAdvanced Information System Engineering. This edition continued the success of previous conferences, a success largely due to that fact... -
Distributed Virtual Worlds: Foundations and Implementation Techniques Using VRML, Java, and CORBA by Stephan Diehl 9783540676249
Booksplease Price: $98.87Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers... -
Genetic Programming: Second European Workshop, EuroGP'99, Goeteborg, Sweden, May 26-27, 1999, Proceedings by Riccardo Poli 9783540658993
Booksplease Price: $98.15This book constitutes the refereed proceedings of the Second European Workshop on Genetic Programming, EuroPG '99, held in Goeteborg, Sweden in May 1999. The 12 revised full papers and 11 posters... -
Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers by Eduardo Gimenez 9783540651376
Booksplease Price: $97.19This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996... -
The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications by Guy-Rene Perrin 9783540617365
Booksplease Price: $97.82This monograph-like book assembles the thorougly revised and cross-reviewed lectures given at the School on Data Parallelism, held in Les Menuires, France, in May 1996. The book is a unique survey on... -
Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings by Michael Hanus 9783540617358
Booksplease Price: $97.19This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP... -
Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings by Wilhelm Schafer 9783540604068
Booksplease Price: $97.82This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier... -
Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings by Giorgio Levi 9783540584315
Booksplease Price: $97.19This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994. Like the predecessor conferences... -
Ray Shooting, Depth Orders and Hidden Surface Removal by Mark de Berg 9783540570202
Booksplease Price: $97.82Computational geometry is the part of theoretical computer science that concerns itself with geometrical objects; it aims to define efficient algorithms for problems involving points, lines,... -
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings by Marie-Claude Gaudel 9783540566106
Booksplease Price: $195.22This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these... -
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers by Kung-Kiu Lau 9783540421276
Booksplease Price: $97.19ThisvolumecontainsselectedpapersofLOPSTR2000,theTenthInternational 1 WorkshoponLogic-basedProgramSynthesisandTransformation. Inadep- turefrompreviousyears,LOPSTR2000constitutedtheProgramDevelopment... -
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: $97.19The 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: $190.18Duration 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: $97.82Here 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: $97.19This 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: $98.15The 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: $97.19This 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: $97.82This 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: $97.19Embedded 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: $190.81Welcome 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: $98.15This 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: $97.19Since 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: $97.82Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- 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: $97.19Each 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: $98.15Shape 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: $97.19The 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: $97.190 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: $95.76The 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: $97.19This 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: $97.19Apologies 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: $93.91Booksplease Price: $85.07Apologies 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: $192.53This 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: $97.19This 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: $97.82This 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: $97.19This 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: $97.82Refinement 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...