Computer Science

This volume of LNCSE is a collection of the papers from the proceedings of the third workshop on sparse grids and applications. Sparse grids are a popular approach for the numerical treatment of high-dimensional problems. Where classical numerical...

Roman Beck presents a new goods classification model to explore the dissemination of IT and e-business standards and designs two applications that support and improve firms' electronic interlaced communication by means of automation and standardization...

Die Autoren fuhren auf anschauliche und systematische Weise in die mathematische und informatische Modellierung sowie in die Simulation als universelle Methodik ein. Es geht um Klassen von Modellen und um die Vielfalt an Beschreibungsarten. Aber es geht...

This book is a collection of selected papers presented at the last Scientific Computing in Electrical Engineering (SCEE) Conference, held in Sinaia, Romania, in 2006. The series of SCEE conferences aims at addressing mathematical problems which have a...

The 14th international meeting on DNA computation took place in the Czech Republic in Prague, June 2-9, 2008. During the last 14 years the DNA C- puting meetings have been the key forum at the boundary between computer science, biochemistry and...

The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20-23, 2008. The purpose of this conference series is to bring together...

Text mining is an exciting application ?eld and an area of scienti?c - search that is currently under rapid development. It uses techniques from well-established scienti?c ?elds (e. g. data mining, machine learning, infor- tion retrieval, natural...

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro,...

This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author structures the book into three main parts. Part I contains two chapters on resolution, one...

This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from...

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program...

At times when the IT manager's best friend is systems consolidation (which is a euphemism for centralisation), it may come somewhat as a surprise for you that this book investigates decentralisation in the context of content management systems. It may...

An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer scientists and mathematicians.Book InformationISBN 9783642083983Author Heribert VollmerFormat...

This book constitutes the refereed proceedings of the Second International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2007, held in Ghent, Belgium, in January 2007. The 19 revised full papers presented together with one...

This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of...

The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Francaise de Cybernetique Economique et Technique) and the Special Interest Group for Theoretical...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540133728Author M. P. ChytilFormat PaperbackPage Count 586Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin...

This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. The 33 revised papers presented together with 5 invited papers and one opening lecture were...

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Practice of Natural Computing, TPNC 2021, held in Tsukuba, Japan, in December 2021. The 9 full papers presented together with 3 invited talks, in this book...

This book constitutes the refereed proceedings of the 16th International Workshop on Algorithms in Bioinformatics, WABI 2016, held in Aarhus, Denmark. The 25 full papers together with 2 invited talks presented were carefully reviewed and selected from 54...

This book constitutes the proceedings of the 17th International Workshop on Algorithms and Models for the Web Graph, WAW 2020, held in Warsaw, Poland, in September 2020. The 12 full papers presented in this volume were carefully reviewed and selected...

The AI, Simulation and Planning in High Autonomy Systems (AIS) 2004 C- ference was held on Jeju Island, Korea, October 4-6, 2004. AIS 2004 was the thirteenth in the series ofbiennial conferences on AI and simulation.The conf-...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836431965Author Assistant Professor Andreas SchwabFormat PaperbackPage Count 104Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K...

It has been recognized that productivity improvement is an important issue of the 80' s. It is regarded as the most efficient way to improve national economy and to enrich the quality of life. The key to productivity improvement is advanced automation,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783038428732Author Mohammad HammoudehFormat PaperbackPage Count 192Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 422g

This book constitutes revised selected papers from the 19th International Conference on Membrane Computing (CMC19), CMC 2018, which was held in Dresden, Germany, in September 2018. The 15 papers presented in this volume were carefully reviewed and...

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725812813Author Qun LiFormat HardbackPage Count 170Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 572g

This book constitutes the refereed proceedings of the 14th BenchCouncil International Symposium on Benchmarking, Measuring, and Optimizing, Bench 2023, held in Sanya, China, during December 3–5, 2023. The 11 full papers included in this book were...

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