Computer Science

This book is an introduction to graph transformation as a foundation to model-based software engineering at the level of both individual systems and domain-specific modelling languages. The first part of the book presents the fundamentals in a precise,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725802098Author Maria Luminița ScutaruFormat HardbackPage Count 224Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 685gDimensions(mm) 244mm * 170mm *...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036584706Author Wen ZhangFormat HardbackPage Count 402Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1061g

These multiple volumes (LNCS volumes 5592 and 5593) consist of the pe- reviewed papers from the 2009 International Conference on Computational S- ence and Its Applications (ICCSA 2009) held in Seoul (South Korea) from June 29 to July 2, 2009. ICCSA 2009...

Over the past century, advancements in computer science have consistently resulted from extensive mathematical work. Even today, innovations in the digital domain continue to be grounded in a strong mathematical foundation. To succeed in this profession,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036546070Author Edoardo PianaFormat HardbackPage Count 204Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 170g

The major differences between this book and richard's previous title published with TELOS in Jan. '94, are that a) in "Projects" theory was stated, then projects listed as exercises. In "Topics" there will be a set of problems. while...

This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers...

Microcomputer-based labs, the use of real-time data capture and display in teaching, give the learner new ways to explore and understand the world. As this book shows, the international effort over a quarter-century to develop and understand...

This festschrift volume, published in honor of Jurgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of...

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICTAC was founded by the International Institute for...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450326827Author Siguccs 13 Conference CommitteeFormat PaperbackPage Count 228Imprint ACMPublisher ACMWeight(grams) 540g

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics...

This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639023398Author Niels Bech NielsenFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 213g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036555812Author Araceli Queiruga DiosFormat HardbackPage Count 392Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1039g

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725808977Author Lip Yee PorFormat HardbackPage Count 248Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 735g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789815165005Author Sayed Ameenuddin IrfanFormat PaperbackPage Count 226Imprint Bentham Science PublishersPublisher Bentham Science PublishersWeight(grams)...

This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing...

This volume contains papers selected for presentation at the 26th International Symposium on Mathematical Foundations of Computer Science - MFCS 2001, held in Mari'ansk'eL'azn?e, Czech Republic, August 27 - 31, 2001. MFCS 2001 was organized by the...

This volume contains the proceedings from two closely related workshops: Computational Diffusion MRI (CDMRI'13) and Mathematical Methods from Brain Connectivity (MMBC'13), held under the auspices of the 16th International Conference on Medical Image...

'Et moi ...~ si j'avait su comment en revenir. One service mathematics has rendered thl je n'y serais point aile: human race. It has put common sense back where it belongs. on the topmost shelf nexl Jules Verne to the dusty canister labelled 'discarded...

This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019. The 14 full papers, 7 tool papers and 11 posters were carefully...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450324670Author Hilt 13 Conference CommitteeFormat PaperbackPage Count 102Imprint ACMPublisher ACMWeight(grams) 259g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450302630Author Ismm 11 Conference CommitteeFormat PaperbackPage Count 150Imprint ACMPublisher ACMWeight(grams) 363g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836437776Author Suman NadellaFormat PaperbackPage Count 96Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 168g

Offers an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. Presents and analyses many implementation strategies that can readily be used by developers of distributed systems.Book InformationISBN...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725823550Author Danial Jahed ArmaghaniFormat HardbackPage Count 274Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 807g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725800858Author Florentina HristeaFormat HardbackPage Count 262Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 767g

This book explains classic routing and transportation problems and solutions, before offering insights based on successful real-world solutions. The chapters in Part I introduce and explain the traveling salesperson problem (TSP), vehicle routing...

This book constitutes the proceedings of the First IAPR International Conference on Discrete Geometry and Mathematical Morphology, DGMM 2021, which was held during May 24-27, 2021, in Uppsala, Sweden.The conference was created by joining the...

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450322843Author Sacmat 13 Conference CommitteeFormat PaperbackPage Count 278Imprint ACMPublisher ACMWeight(grams) 649g

The book presents a comprehensive view on Flow-Aware Networking. It starts with a brief overview of the known QoS architectures based on the concept of a flow. Then, the original FAN concept is presented, along with its variations proposed by the authors...

This book constitutes the proceedings of the 7th International Conference on Algorithms for Computational Biology, AlCoB 2020, held in Missoula, MT, USA in April 2020. The 15 full papers included in this volume were carefully reviewed and selected from...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036578392Author Oscar CastilloFormat HardbackPage Count 196Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 626g

Memory Architecture Exploration for Programmable Embedded Systems addresses efficient exploration of alternative memory architectures, assisted by a "compiler-in-the-loop" that allows effective matching of the target application to the...

This is a cookbook with plenty of practical recipes enriched with code and detailed explanations. This book is for you if you would like to learn modern Java web development based on PrimeFaces and are looking for a quick introduction into this matter...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639102628Author Richard KuntschkeFormat PaperbackPage Count 252Imprint VDM VerlagPublisher VDM VerlagWeight(grams) 340g