Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Transactions on Foundations for Mastering Change I by Bernhard Steffen 9783319465074
Booksplease Price: £46.28The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today's agile system development, which is... -
Computer Vision - ECCV 2020 Workshops: Glasgow, UK, August 23-28, 2020, Proceedings, Part I by Adrien Bartoli 9783030664145
Booksplease Price: £91.92The 6-volume set, comprising the LNCS books 12535 until 12540, constitutes the refereed proceedings of 28 out of the 45 workshops held at the 16th European Conference on Computer Vision, ECCV 2020... -
Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings by Marco Aiello 9783319444819
Booksplease Price: £46.74This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016. The 16 full papers... -
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I by Isil Dillig 9783030255398
Booksplease Price: £46.28This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in... -
Computer Vision and Graphics: International Conference, ICCVG 2020, Warsaw, Poland, September 14–16, 2020, Proceedings by Leszek J. Chmielewski 9783030590055
Booksplease Price: £46.28This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, held in Warsaw, Poland, in September 2020. The 20 full papers were selected... -
Spatial Visualization and Professional Competence: The Development of Proficiency Among Digital Artists by Andrew Paquette 9783319912882
Booksplease Price: £46.28The computer graphics (CG) industry is an attractive field for undergraduate students, but employers often find that graduates of CG art programmes are not proficient. The result is that many... -
Models and Tools for Managing Development Processes by Bernhard Westfechtel 9783540667568
Booksplease Price: £46.58The development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task. Costs have to be reduced, the ti- to-market has to be shortened, and quality... -
Image and Video Compression Standards: Algorithms and Architectures by Vasudev Bhaskaran 9781475723601
Booksplease Price: £46.28Image and Video Compression Standards: Algorithms and Architectures presents an introduction to the algorithms and architectures that underpin the image and video compression standards, including... -
Face Detection and Gesture Recognition for Human-Computer Interaction by Ming-Hsuan Yang 9781461355465
Booksplease Price: £90.56Traditionally, scientific fields have defined boundaries, and scientists work on research problems within those boundaries. However, from time to time those boundaries get shifted or blurred to... -
Distributed Infrastructure Support for Electronic Commerce Applications by Hans-Arno Jacobsen 9781461347279
Booksplease Price: £90.56Distributed Infrastructure Support For E-Commerce And Distributed Applications is organized in three parts. The first part constitutes an overview, a more detailed motivation of the problem context,... -
Computer Vision -- ECCV 2014: 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part IV by Tomas Pajdla 9783319105925
Booksplease Price: £47.08The seven-volume set comprising LNCS volumes 8689-8695 constitutes the refereed proceedings of the 13th European Conference on Computer Vision, ECCV 2014, held in Zurich, Switzerland, in September... -
The Correctness-by-Construction Approach to Programming by Derrick G. Kourie 9783642448546
Booksplease Price: £90.56The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the... -
Open Source Software: New Horizons: 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010, Proceedings by Par J. Agerfalk 9783642132438
Booksplease Price: £91.68Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international conf- ence was held in North America. We had a large... -
Handbook of Software Engineering: Volume I by Tom Halt 9781632402936
RRP: £99.99Booksplease Price: £88.40Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781632402936Author Tom HaltFormat HardbackImprint -
Computer Vision and Machine Learning with RGB-D Sensors by Ling Shao 9783319086507
Booksplease Price: £46.58This book presents an interdisciplinary selection of cutting-edge research on RGB-D based computer vision. Features: discusses the calibration of color and depth cameras, the reduction of noise on... -
Formal Refinement for Operating System Kernels by Iain D. Craig 9781846289668
Booksplease Price: £90.86This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or... -
Virtual Environments '98: Proceedings of the Eurographics Workshop in Stuttgart, Germany, June 16-18, 1998 by Martin Gobel 9783211832332
Booksplease Price: £46.58Ten years after Virtual Environment research started with NASA's VIEW project, these techniques are now exploited in industry to speed up product development cycles, to ensure higher product quality,... -
Digital Image Processing: Practical Approach by Borko Furht 9783319966335
Booksplease Price: £46.28The SpringerBrief covers fundamentals of digital image processing including image concept, image file formats, creating user interfaces and many practical examples of processing images using C++ and... -
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings by Stephen Poole 9783319052144
Booksplease Price: £46.28This book constitutes the proceedings of the First OpenSHMEM Workshop, held in Annapolis, MD, USA, in March 2014. The 12 technical papers and 2 short position papers presented in this book were... -
Software Project Effort Estimation: Foundations and Best Practice Guidelines for Success by Adam Trendowicz 9783319036281
Booksplease Price: £46.58Software effort estimation is one of the oldest and most important problems in software project management, and thus today there are a large number of models, each with its own unique strengths and... -
Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings by Tom Schrijvers 9783642298219
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3... -
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers by Maria Alpuente 9783642205507
Booksplease Price: £46.74This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July... -
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings by Karen Yorav 9783540779643
Booksplease Price: £46.28This volume contains the proceedings of the 3rd Haifa Veri?cation Conference (HVC 2007),whichtookplacein Haifa during October 2007.HVC isa forumfor researchers from both industry and academia to... -
Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 by Peter van Beek 9783540292388
Booksplease Price: £92.18The 11th International Conference on the Principles and Practice of Constraint Programming (CP 2005) was held in Sitges (Barcelona), Spain, October 1-5, 2005. Information about the conference can be... -
Advances in Computational Science and Engineering: Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers by Laurence Tianruo Yang 9783642102370
Booksplease Price: £46.28As communication and networking (CN) become specialized and fragmented, it is easy to lose sight that many topics in CN have common threads and because of this, advances in one sub-discipline may... -
Advances in Information Technology: Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings by Borworn Papasratorn 9783642103919
Booksplease Price: £46.28At the School of Information Technology, KMUTT, we believe that information te- nology is the most important driver of economy and social development. IT can - able better productivity, as well as... -
An Integrated Approach to Software Engineering by Pankaj Jalote 9781441935441
Booksplease Price: £68.73Details the different activities of software development with a case-study approach whereby a project is developed through the course of the book The sequence of chapters is essentially the same as... -
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings by Roland C. Backhouse 9783540677277
Booksplease Price: £46.28This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical... -
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings by Lenore D. Zuck 9783540003489
Booksplease Price: £46.28This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The... -
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings by Massimo Felici 9783540664888
Booksplease Price: £46.58The European Commission emphasizes, in its Fifth Research Framework, the ". . . emerging generic dependability requirements in the information society, stemming both from the ubiquity and volume of... -
Object-Oriented Technology: ECOOP '97 Workshop Reader: ECOOP'97 Workshops Jyvaskyla, Finland, June 9-13, 1997 Proceedings by Jan Bosch 9783540640394
Booksplease Price: £46.58Jan Bosch Stuart Mitchell University of Karlskrona/Ronneby University of York Dept of Computer Science Dept of Computer Science SoftCenter, S-372 25, Ronneby, Sweden York, United Kingdom Jan... -
Computer Vision - ECCV '96: Fourth European Conference on Computer Vision, Cambridge, UK April 14-18, 1996. Proceedings, Volume II by Bernard Buxton 9783540611233
Booksplease Price: £92.96The European Conference on Computer Vision (ECCV) has established itself as a major event in this exciting and very active field of research and development. These refereed two-volume proceedings... -
Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings by B. Moller 9783540601173
Booksplease Price: £46.58This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by... -
Software Engineering Education: 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings by Jorge L. Diaz-Herrera 9783540574613
Booksplease Price: £91.68This volume contains the proceedings of the seventh annual conference on software engineering and training, sponsored by the Software Engineering Institute (SEI), held in Texas in January... -
Attribute Grammars: Definitions, Systems and Bibliography by Pierre Deransart 9783540500568
Booksplease Price: £46.58Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large... -
Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4 by Michael Haug 9783540417873
Booksplease Price: £46.58C. Amting Directorate General Information Society, European Commission, Brussels Under the 4th Framework of European Research, the European Systems and Soft ware Initiative (ESSI) was part of the... -
Unobstructed Shortest Paths in Polyhedral Environments by Varol Akman 9783540176299
Booksplease Price: £46.74Presents algebraic and geometric algorithms to deal with a specific problem, which frequently occurs in model-based robotics systems and is of utmost importance in calibrating the complexity of... -
Pattern Recognition and Prediction with Applications to Signal Processing by David H. Kil 9781563964770
Booksplease Price: £46.58Market: Engineers and researchers in neural networks, image processing, audio/speech, and medical imaging. This book begins by focusing on the theoretical aspect of pattern recognition and introduces... -
Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings by Hubert Baumeister 9783540262770
Booksplease Price: £46.28Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at the end of last year we saw the second... -
Dependable Computing - EDCC 2005: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings by Mario Dal Cin 9783540257233
Booksplease Price: £46.58It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European...