Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
PISA: A Programming System for Interactive Production of Application Software by R. Marty 9783540108252
Booksplease Price: $176.59This 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: $76.09Apologies 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: $90.25This 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: $219.38Booksplease Price: $193.38Apologies 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: $110.02This 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: $177.18In 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: $177.18At 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: $90.83This 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: $90.83Computer 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: $176.59Over 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: $90.83This 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: $80.65This 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: $91.81This 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: $91.81The 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: $90.25The 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: $91.14This 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: $182.25Many 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: $138.22The 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: $177.18Meta-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: $90.25Following 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: $63.32Apologies 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: $214.48Booksplease Price: $147.81This 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: $91.81High-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: $90.83This 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: $69.15Daily 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: $178.78Concurrency 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: $90.83The 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: $90.83Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540176541Author Dines BjornerFormat PaperbackPage Count 422Imprint -
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings by Catuscia Palamidessi 9783540206422
Booksplease Price: $219.04This volume contains the proceedings of the 19th International Conference on Logic Programming, ICLP 2003, which was held at the Tata Institute of F- damental Research in Mumbai, India, during 9-13... -
Low-Rank and Sparse Modeling for Visual Analysis by Yun Fu 9783319119991
Booksplease Price: $177.18This book provides a view of low-rank and sparse computing, especially approximation, recovery, representation, scaling, coding, embedding and learning among unconstrained visual data. The book... -
Computational Principles of Mobile Robotics by Gregory Dudek 9781108736381
RRP: $97.48Booksplease Price: $91.81Now in its third edition, this textbook is a comprehensive introduction to the multidisciplinary field of mobile robotics, which lies at the intersection of artificial intelligence, computational... -
Web Penetration Testing with Kali Linux by Joseph Muniz 9781782163169
Booksplease Price: $88.92Web Penetration Testing with Kali Linux contains various penetration testing methods using BackTrack that will be used by the reader. It contains clear step-by-step instructions with lot of... -
Medical Image Computing and Computer Assisted Intervention - MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part VI by Dinggang Shen 9783030322250
Booksplease Price: $179.24The six-volume set LNCS 11764, 11765, 11766, 11767, 11768, and 11769 constitutes the refereed proceedings of the 22nd International Conference on Medical Image Computing and Computer-Assisted... -
Advanced Computing Strategies for Engineering: 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I by Ian F. C. Smith 9783319916347
Booksplease Price: $91.81Sorry no description is available for this book at this time. -
Mathematical and Computational Oncology: Third International Symposium, ISMCO 2021, Virtual Event, October 11-13, 2021, Proceedings by George Bebis 9783030912406
Booksplease Price: $99.26This book constitutes the refereed proceedings of the Third International Symposium on Mathematical and Computational Oncology, ISMCO 2021, held in October 2021. Due to COVID-19 pandemic the... -
How to Design a Kindle eBook Cover: A How To For You Booklet by Dorothy May Mercer 9781623290870
RRP: $12.68Booksplease Price: $12.60Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781623290870Author Dorothy May MercerFormat PaperbackPage Count 40Imprint -
Software Construction Brick by Brick, Increment 1: Using LEGO(R) to Teach Software Architecture, Design, Implementation, Internals, Diagnostics, Debugging, Testing, Integration, and Security by Dmitry Vostokov 9781912636709
RRP: $17.55Booksplease Price: $16.77Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781912636709Author Dmitry VostokovFormat PaperbackPage Count 24Imprint -
Computer Vision - ACCV 2020: 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30 - December 4, 2020, Revised Selected Papers, Part IV by Hiroshi Ishikawa 9783030695378
Booksplease Price: $179.24The six volume set of LNCS 12622-12627 constitutes the proceedings of the 15th Asian Conference on Computer Vision, ACCV 2020, held in Kyoto, Japan, in November/ December 2020.*The total of 254... -
Computer Vision - ECCV 2018 Workshops: Munich, Germany, September 8-14, 2018, Proceedings, Part VI by Laura Leal-Taixe 9783030110239
Booksplease Price: $90.25The six-volume set comprising the LNCS volumes 11129-11134 constitutes the refereed proceedings of the workshops that took place in conjunction with the 15th European Conference on Computer Vision,... -
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers by Zoltan Adam Mann 9783319790893
Booksplease Price: $91.14This volume contains the technical papers presented in the workshops, which took place at the 6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway,...