Computer Science

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036589046Author Angelo B MingarelliFormat HardbackPage Count 374Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1002g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036582009Author Snezhana Gocheva-IlievaFormat HardbackPage Count 344Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 939g

This book provides a comprehensive introduction to advanced topics in the computational and algorithmic aspects of number theory, focusing on applications in cryptography. Readers will learn to develop fast algorithms, including quantum algorithms, to...

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...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789038633138Author Zádor Dániel KelemenFormat PaperbackPage Count 356Imprint Zador Daniel KelemenPublisher Zador Daniel KelemenWeight(grams) 826g

Embedded computer systems are now everywhere: from alarm clocks to PDAs, from mobile phones to cars, almost all the devices we use are controlled by embedded computers. An important class of embedded computer systems is that of hard real-time systems,...

This book developed from an IFIP workshop which brought together methods and architecture researchers in Human Computer Interaction and Software Engineering. To an extent this introduction is a little unfair to the authors, as we have distilled the...

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.* The total of 101 papers...

Workflow management systems (WFMS) are enjoying increasing popular ity due to their ability to coordinate and streamline complex organizational processes within organizations of all sizes. Organizational processes are de scriptions of an organization's...

The papers in this volume were presented at SWAT 92, the Third Scandinavian Workshop on Algorithm Theory. The workshop, which continues the tradition ofSWAT 88, SWAT 90, and the Workshop on Algorithms and Data Structures (WADS 89, WADS 91), is...

Theory is what remains true when technology is changing. So, it is important to know and master the basic concepts and the theoretical tools that underlie the design of the systems we are using today and the systems we will use tomorrow. This means that,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783832557157Author Alexander MuhlbergFormat PaperbackPage Count 140Imprint Logos Verlag Berlin GmbHPublisher Logos Verlag Berlin GmbH

This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020. The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions...

Building on the author's earlier Applied Simulation and Optimization, this book presents novel methods for solving problems in industry, based on hybrid simulation-optimization approaches that combine the advantages of both paradigms. The book serves as...

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836488662Author Manuel HessFormat PaperbackPage Count 140Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 195g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836450065Author Jella PfeifferFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 218g

Moving on from earlier stochastic and robust control paradigms, this book introduces the fundamentals of probabilistic methods in the analysis and design of uncertain systems. The use of randomized algorithms, guarantees a reduction in the computational...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783656258698Author Sebastian KleinschmagerFormat PaperbackPage Count 122Imprint Grin PublishingPublisher Grin PublishingWeight(grams) 168g

Presenting techniques, case-studies and methodologies that combine the use of simulation approaches with optimization techniques for facing problems in manufacturing, logistics, or aeronautical problems, this book provides solutions to common industrial...

This proceedings volume gathers a selection of papers presented at the Fifth International Conference on High Performance Scientific Computing, which took place in Hanoi on March 5-9, 2012. The conference was organized by the Institute of Mathematics of...

This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001. The 25 revised full papers presented together with two invited papers were carefully reviewed...

This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference is to create a forum for the dissemination of the latest results in the application and theory...

This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering...

ThesymposiaonFundamentalsofComputationTheoryareheldeverytwoyears. Following the tradition established at the ?rst FCT 1977, the conference brings together specialists in theoretical ?elds of Computer Science from various co- tries and stimulates...

It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in France. The fourth issue of EDCC carried on the traditions...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450306751Author Issac 11 Conference CommitteeFormat PaperbackPage Count 374Imprint ACMPublisher ACMWeight(grams) 866g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781904987246Author Lorenzo MagnaniFormat PaperbackPage Count 444Imprint College PublicationsPublisher College PublicationsWeight(grams) 648g

This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and...

Symposium on Algorithms (ESA '93), held in Bad Honnef, near Boon, in Germany, September 30 - October 2, 1993. The symposium is intended to launchan annual series of international conferences, held in early fall, covering the field of algorithms. Within...

This volume constitutes the refereed proceedings of the Third IFIP WG 5.4. Working Conference on Computer Aided Innovation, CAI 2009, held in Harbin, China, in August 2009. The papers deal with advanced approaches in education and training; data mining;...

This book constitutes the refereed proceedings of the Third International Symposium on Algorithmic Number Theory, ANTS-III, held in Portland, Oregon, USA, in June 1998. The volume presents 46 revised full papers together with two invited surveys. The...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036579108Author Xinwei WangFormat HardbackPage Count 194Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 621g

A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future...

This book explains advanced theoretical and application-related issues in grammatical inference, a research area inside the inductive inference paradigm for machine learning. The first three chapters of the book deal with issues regarding theoretical...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450344722Author Chiir 16 Conference CommitteeFormat PaperbackPage Count 400Imprint ACMPublisher ACMWeight(grams) 921g

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance...

This three-volume set LNCS 15161, 15162 and 15163 constitutes the refereed proceedings of the 30th International Conference, COCOON 2024, held in Shanghai, China, during August 23-25, 2024. The 90 full papers and 6 short papers were carefully reviewed...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036587233Author Hao-Chiang Koong LinFormat HardbackPage Count 286Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 816g