Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Machine Learning in Medical Imaging: 7th International Workshop, MLMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings by Li Wang 9783319471563
Booksplease Price: £46.28This book constitutes the refereed proceedings of the 7th International Workshop on Machine Learning in Medical Imaging, MLMI 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October... -
Service-Oriented Computing - ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers by Farouk Toumani 9783319228846
Booksplease Price: £46.58This book constitutes the revised selected papers of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014. The conference hosted the... -
Geometric Science of Information: Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings by Frank Nielsen 9783319250397
Booksplease Price: £47.08This book constitutes the refereed proceedings of the Second International Conference on Geometric Science of Information, GSI 2015, held in Palaiseau, France, in October 2015. The 80 full papers... -
Scala Design Patterns: Patterns for Practical Reuse and Design by St. John Hunt 9783319021911
Booksplease Price: £90.86Scala is a new and exciting programming language that is a hybrid between object oriented languages such as Java and functional languages such as Haskell. As such it has its own programming idioms... -
Rationale-Based Software Engineering by Janet E. Burge 9783540775829
Booksplease Price: £90.86Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making process itself, can best be documented as the rationale for the... -
Graphics and Communications: Proceedings of an International Workshop Breuberg, FRG, October 15-17, 1990 by David B. Arnold 9783540540014
Booksplease Price: £90.86This volume is a record of the Workshop on Graphics and Communications organized within ESPRIT II Project 2463 ARGOSI (Applications Related Graphics and OSI Standards Integration). The workshop was... -
Thinking-Driven Testing: The Most Reasonable Approach to Quality Control by Adam Roman 9783030103316
RRP: £44.99Booksplease Price: £41.36This book presents a new paradigm of software testing by emphasizing the role of critical thinking, system thinking and rationality as the most important skills for the tester. It thus approaches... -
Internet of Things by S Anandamurugan 9789390384259
RRP: £40.00Booksplease Price: £36.45Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789390384259Author S AnandamuruganFormat HardbackPage Count 136Imprint -
Computer Vision Applications: Third Workshop, WCVA 2018, Held in Conjunction with ICVGIP 2018, Hyderabad, India, December 18, 2018, Revised Selected Papers by Chetan Arora 9789811513862
Booksplease Price: £46.28This book constitutes the refereed proceedings of the third Workshop on Computer Vision Applications, WCVA 2018, held in Conjunction with ICVGIP 2018, in Hyderabad, India, in December 2018. The 10... -
Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program by Jurg Kohlas 9783540368212
Booksplease Price: £46.28Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture... -
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers by Stefan Leue 9783540261896
Booksplease Price: £46.58Visual notations and languages continue to play a pivotal role in the design of complex software systems. In many cases visual notations are used to - scribe usage or interaction scenarios of... -
Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications by Alessandro Garcia 9783540335801
Booksplease Price: £46.58This book presents a coherent, well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters... -
PISA: A Programming System for Interactive Production of Application Software by R. Marty 9783540108252
Booksplease Price: £90.56This report introduces the programming system PISA intendei for the interactive production of application software. The heart of the programming system is a new programming language, also called PISA... -
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings by Dines Bjorner 9783540100072
Booksplease Price: £39.02Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540100072Author Dines BjornerFormat PaperbackPage Count 572Imprint -
System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings by Daniel Amyot 9783319117423
Booksplease Price: £46.28This book constitutes the refereed papers of the proceedings of the 8th International Conference on System Analysis and Modeling, SAM 2014, held in Valencia, Spain, in September 2014. The 18 full... -
Software Engineering: Design, Theory and Practice by Tom Halt 9781632384805
RRP: £112.50Booksplease Price: £99.17Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781632384805Author Tom HaltFormat HardbackPage Count 275Imprint -
Software Development Measurement Programs: Development, Management and Evolution by Miroslaw Staron 9783319918358
Booksplease Price: £56.42This book seeks to promote the structured, standardized and accurate use of software measurement at all levels of modern software development companies. To do so, it focuses on seven main aspects:... -
Database Application Engineering with DAIDA by Matthias Jarke 9783540562917
Booksplease Price: £90.86In the early 1980s, a trend towards formal undeIStanding and knowledge-based assistance for the development and maintenance of database-intensive information systems became apparent. The group of... -
Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics by Luc Jaulin 9781852332198
Booksplease Price: £90.86At the core of many engineering problems is the solution of sets of equa tions and inequalities, and the optimization of cost functions. Unfortunately, except in special cases, such as when a set of... -
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings by Frank Pfenning 9783540201021
Booksplease Price: £46.58This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22-25, 2003, in Erfurt, Germany,... -
Computer Science: The Hardware, Software and Heart of It by Edward Blum 9781489994431
Booksplease Price: £46.58Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to... -
Model-Driven Dependability Assessment of Software Systems by Simona Bernardi 9783642395116
Booksplease Price: £90.56Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as... -
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings by Dang van Hung 9783319024431
Booksplease Price: £46.58This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27... -
Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data: Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Proceedings by Stanley Durrleman 9783642335549
Booksplease Price: £41.36This book constitutes the refereed proceedings of the Second International Workshop on Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data, STIA 2012, held in conjunction with... -
Intelligent Science and Intelligent Data Engineering: Second Sino-foreign-interchange Workshop, IScIDE 2011, Xi'an, China, October 23-25, 2011, Revised Selected Papers by Yanning Zhang 9783642319181
Booksplease Price: £47.08This book constitutes the proceedings of the Sino-foreign-interchange Workshop on Intelligence Science and Intelligent Data Engineering, IScIDE 2011, held in Xi'an, China, in October 2011. The 97... -
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials by Soren Prehn 9783540548683
Booksplease Price: £47.08The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428)... -
UML Modeling Languages and Applications: <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers by Nuno Jardim Nunes 9783540250814
Booksplease Price: £46.28The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004. It was the seventh conference in a series of annual events that started in 1998. UML has rapidly become... -
Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings by Manuel Nunez 9783642050305
Booksplease Price: £46.74This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches... -
Rationale-Based Software Engineering by Janet E. Burge 9783642096310
Booksplease Price: £93.46Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making process itself, can best be documented as the rationale for the... -
Image Analysis and Processing - ICIAP 2022: 21st International Conference, Lecce, Italy, May 23-27, 2022, Proceedings, Part III by Stan Sclaroff 9783031064326
Booksplease Price: £70.88The proceedings set LNCS 13231, 13232, and 13233 constitutes the refereed proceedings of the 21st International Conference on Image Analysis and Processing, ICIAP 2022, which was held during May... -
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques by Vytautas Stuikys 9781447141259
Booksplease Price: £90.86Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques presents an overall analysis of meta-programming, focusing on insights of meta-programming techniques,... -
Motion in Games: Second International Workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009 by Arjan Egges 9783642103469
Booksplease Price: £46.28Following the very successful Motion in Games event in June 2008, we or- nized the Second International Workshop on Motion in Games (MIG) during November 21-24, 2009 in Zeist, The Netherlands. Games... -
Forging Change: Agile Restructuring In Practice by James L Carpenter 9781732875104
Booksplease Price: £32.47Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781732875104Author James L CarpenterFormat PaperbackPage Count 236Imprint -
Autonomous Intelligent Vehicles: Theory, Algorithms, and Implementation by Hong Cheng 9781447158691
RRP: £109.99Booksplease Price: £75.80This important text/reference presents state-of-the-art research on intelligent vehicles, covering not only topics of object/obstacle detection and recognition, but also aspects of vehicle motion... -
High-level Petri Nets: Theory and Application by Kurt Jensen 9783540541257
Booksplease Price: £47.08High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it... -
Software Reliability Modelling and Identification by Sergio Bittanti 9783540506959
Booksplease Price: £46.58This volume contains five tutorial papers based on the lectures given at the intensive course on Software Reliability Modelling and Identification in Como (Italy) from September 2 to 4, 1987. The... -
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures by Franck Cassez 9783540427872
Booksplease Price: £35.46Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad... -
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets by Gul A. Agha 9783540419426
Booksplease Price: £91.68Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential... -
Persistent Object Systems: Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994 by Malcolm Atkinson 9783540199120
Booksplease Price: £46.58The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994. The... -
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings by Dines Bjorner 9783540176541
Booksplease Price: £46.58Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540176541Author Dines BjornerFormat PaperbackPage Count 422Imprint