Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
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: £112.12This 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: £40.19Develop 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: £12.64Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789386176752Author Dr K SelvakumarFormat PaperbackPage Count 106Imprint -
Deductive Software Verification - The KeY Book: From Theory to Practice by Bernhard Beckert 9783319498119
RRP: £109.99Booksplease Price: £103.00Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of... -
Discrete and Computational Geometry and Graphs: 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers by Jin Akiyama 9783319485317
Booksplease Price: £46.28This book constitutes the thoroughly refereed post-conference proceedings of the 18th Japanese Conference on Discrete and Computational Geometry and Graphs, JDCDGG 2015, held in Kyoto, Japan, in... -
Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings by Franz Wotawa 9783319474427
Booksplease Price: £46.74This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised... -
Computational Methods and Clinical Applications for Spine Imaging: Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings by Tomaz Vrtovec 9783319418261
Booksplease Price: £39.73This book constitutes the refereed proceedings of the Third International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2015, held in conjunction... -
Modeling with UML: Language, Concepts, Methods: 2016 by Bernhard Rumpe 9783319339320
RRP: £64.99Booksplease Price: £61.34This book presents a variant of UML that is especially suitable for agile development of high-quality software. It adjusts the language UML profile, called UML/P, for optimal assistance for the... -
Instruction Selection: Principles, Methods, and Applications by Gabriel Hjort Blindell 9783319340173
Booksplease Price: £36.44This book presents a comprehensive, structured, up-to-date survey on instruction selection. The survey is structured according to two dimensions: approaches to instruction selection from the past 45... -
Image and Signal Processing: 7th International Conference, ICISP 2016, Trois-Rivieres, QC, Canada, May 30 - June 1, 2016, Proceedings by Alamin Mansouri 9783319336176
Booksplease Price: £46.58This book constitutes the refereed proceedings of the 7th International Conference, ICISP 2016, held in May/June 2016 in Trois-Rivieres, QC, Canada. The 40 revised full papers were carefully reviewed... -
Clinical Image-Based Procedures. Translational Research in Medical Imaging: 4th International Workshop, CLIP 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015. Revised Selected Papers by Cristina Oyarzun Laura 9783319318073
Booksplease Price: £39.58This book constitutes revised selected papers from the 4th International Workshop on Clinical Image-Based Procedures, CLIP 2015, held in conjunction with MICCAI 2015 in Munich, Germany, in October... -
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings by Michael Butler 9783319254227
Booksplease Price: £46.58This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers... -
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings by Amy P. Felty 9783319214009
Booksplease Price: £47.08This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full... -
Functional Imaging and Modeling of the Heart: 8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings by Hans Van Assen 9783319203089
Booksplease Price: £46.58This book constitutes the refereed proceedings of the 8th International Conference on Functional Imaging and Modeling of the Heart, held in Maastricht, The Netherlands, in June 2015. The 54 revised... -
Mathematical Morphology and Its Applications to Signal and Image Processing: 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings by Jon Atli Benediktsson 9783319187198
Booksplease Price: £47.08This book contains the thoroughly refereed proceedings of the 12th International Symposium on Mathematical Morphology, ISMM 2015 held in Reykjavik, Iceland, in May 2015. The 62 revised full papers... -
Computer Vision - ECCV 2014 Workshops: Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part IV by Lourdes Agapito 9783319162195
Booksplease Price: £46.58The four-volume set LNCS 8925, 8926, 8927, and 8928 comprises the thoroughly refereed post-workshop proceedings of the Workshops that took place in conjunction with the 13th European Conference on... -
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014: 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part I by Polina Golland 9783319104034
Booksplease Price: £47.08The three-volume set LNCS 8673, 8674, and 8675 constitutes the refereed proceedings of the 17th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2014,... -
Search-Based Software Engineering: 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings by Claire Le Goues 9783319099392
Booksplease Price: £51.20This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil.The 14 revised full papers presented... -
Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992 by Roland Mittermeir 9783211824085
Booksplease Price: £46.28Object-orientation and the need for multi-paradigmatic systems constitute a challenge for researchers, practitioners and instructors. Presentations at the OCG/NJSZT joint conference in Klagenfurt,... -
Sustainability Analysis and Environmental Decision-Making Using Simulation, Optimization, and Computational Analytics by Mariia Kozlova 9783036531991
RRP: £56.20Booksplease Price: £43.49Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036531991Author Mariia KozlovaFormat HardbackPage Count 272Imprint -
Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part-I by S Akshay 9783031787089
Booksplease Price: £112.12The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from... -
Simulation Tools and Techniques: 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings by José-Luis Guisado-Lizar 9783031575228
RRP: £69.99Booksplease Price: £57.97This proceedings constitutes the refereed post-conference proceedings of the 15th International Conference on Simulation Tools and Techniques, SIMUTools 2023, held in Seville, Spain, in December 2023... -
MultiMedia Modeling: 30th International Conference on Multimedia Modeling, MMM 2024, Amsterdam, The Netherlands, January 29 – February 2, 2024, Proceedings, Part IV by Stevan Rudinac 9783031533013
Booksplease Price: £66.26This book constitutes the refereed proceedings of the 30th International Conference on MultiMedia Modeling, MMM 2024, held in Amsterdam, The Netherlands, during January 29–February 2, 2024.The 112... -
Computer Analysis of Images and Patterns: 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25–28, 2023, Proceedings, Part I by Nicolas Tsapatsoulis 9783031442360
Booksplease Price: £56.12This volume LNCS 14184 and 14185 constitutes the refereed proceedings of the 20th International Conference, CAIP 2023, in Limassol, Cyprus, in September 2023. The 54 full papers presented were... -
Computer Vision Systems: 14th International Conference, ICVS 2023, Vienna, Austria, September 27–29, 2023, Proceedings by Henrik I. Christensen 9783031441363
Booksplease Price: £71.18This volume LNCS 14253 constitutes the refereed proceedings of the 14th International Conference, ICVS 2023, in Vienna, Austria, in September 2023.. The 37 full papers presented were carefully... -
Ontology-Based Evolution of Domain-Oriented Languages: Models, Methods and Tools for User Interface Design in General-Purpose Software Systems by Eduard Babkin 9783031422010
Booksplease Price: £100.20This book focuses on the study of ontology-based models and methods used for the implementation of the evolution of external domain-specific languages (DSL), which are mainly intended for modelling... -
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday by Jonathan P. Bowen 9783031404351
Booksplease Price: £61.34This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a... -
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges: Montreal, QC, Canada, August 21–25, 2022, Proceedings, Part II by Jean-Jacques Rousseau 9783031377419
Booksplease Price: £91.36This 4-volumes set constitutes the proceedings of the ICPR 2022 Workshops of the 26th International Conference on Pattern Recognition Workshops, ICPR 2022, Montreal, QC, Canada, August 2023. The 167... -
Machine Learning in Medical Imaging: 13th International Workshop, MLMI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings by Chunfeng Lian 9783031210136
Booksplease Price: £70.88This book constitutes the proceedings of the 13th International Workshop on Machine Learning in Medical Imaging, MLMI 2022, held in conjunction with MICCAI 2022, in Singapore, in September 2022. The... -
Computer Vision - ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXVII by Shai Avidan 9783031198359
RRP: £99.99Booksplease Price: £99.06The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during... -
Computer Vision - ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXIII by Shai Avidan 9783031198267
RRP: £99.99Booksplease Price: £99.06The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during... -
Computer Vision - ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part XXXVIII by Shai Avidan 9783031198380
RRP: £99.99Booksplease Price: £99.06The 39-volume set, comprising the LNCS books 13661 until 13699, constitutes the refereed proceedings of the 17th European Conference on Computer Vision, ECCV 2022, held in Tel Aviv, Israel, during... -
Image Analysis and Processing - ICIAP 2022: 21st International Conference, Lecce, Italy, May 23-27, 2022, Proceedings, Part II by Stan Sclaroff 9783031064296
RRP: £99.99Booksplease Price: £99.87The 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... -
Animated Program Design: Intermediate Program Design Using Video Game Development by Marco T. Morazan 9783031043161
RRP: £44.99Booksplease Price: £24.63This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem... -
Animated Program Design: Intermediate Program Design Using Video Game Development by Marco T. Morazán 9783031043192
RRP: £44.99Booksplease Price: £24.93This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem... -
Software Vulnerability Discovery Process: Concepts and Applications by Adarsh Anand 9788770228626
RRP: £99.99Booksplease Price: £87.29This book is an overview of basics and other related fundamentals pertaining to software vulnerability discovery as a process. This collaboration of academia and industry disseminates various... -
Advances in Visual Informatics: 7th International Visual Informatics Conference, IVIC 2021, Kajang, Malaysia, November 23-25, 2021, Proceedings by Halimah Badioze Zaman 9783030902346
RRP: £99.99Booksplease Price: £99.87This book constitutes the refereed proceedings of the 7th International Conference on Advances in Visual Informatics, IVIC 2021, held in Selangor, Malaysia in November 2021. The 59 papers presented... -
Requirements Engineering: Foundation for Software Quality: 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings by Fabiano Dalpiaz 9783030731274
Booksplease Price: £46.28This book constitutes the proceedings of the 27th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2021, which was due to be held in Essen,... -
Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings by Jun Pang 9783030628215
Booksplease Price: £46.28This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper... -
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology by Wolfgang Böhm 9783030621384
Booksplease Price: £36.44Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783030621384Author Wolfgang BöhmFormat PaperbackPage Count 420Imprint