Computer Science

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9788412238037Author Miguel A RevillaFormat PaperbackPage Count 328Imprint Oj BooksPublisher Oj BooksWeight(grams) 585gDimensions(mm) 246mm * 189mm * 18mm

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036528175Author Goran ĆirovicFormat HardbackPage Count 312Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 871g

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22-24,2008.The annual workshop on hybrid systems focuses on researchin -...

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540084464Author W. CowellFormat PaperbackPage Count 542Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin and...

New Directions in Cognitive Information Retrieval presents an exciting new direction for research into cognitive oriented information retrieval (IR) research, a direction based on an analysis of the user's problem situation and cognitive behavior when...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540172192Author Franz J. BrandenburgFormat PaperbackPage Count 483Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag...

Despite five decades of research, parallel computing remains an exotic, frontier technology on the fringes of mainstream computing. Its much-heralded triumph over sequential computing has yet to materialize. This is in spite of the fact that the...

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450310178Author Sigite Conference CommitteeFormat PaperbackPage Count 338Imprint ACMPublisher ACMWeight(grams) 785g

This book concerns issues related to biomathematics, medicine, or cybernetics as practiced by engineers. Considered population dynamics models are still in the interest of researchers, and even this interest is increasing, especially now in the time of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848900981Author Thomas C O'ConnellFormat PaperbackPage Count 310Imprint College PublicationsPublisher College PublicationsWeight(grams)...

These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC'99) held December 17-20 in Calcutta, India. The meeting serves as a forum for presenting current work by researchers from around the world as well as...

This book constitutes the carefully refereed post-proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG '96, held in Cadenabbia, Italy, in June 1996.The 30 revised full papers presented in the volume were...

This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer...

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer...

This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and...

This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. Among the...

This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human centered information retrieval in...

Eugen Lamers explains the principle of simulation speed-up in general and shortly demonstrates the technique RESTART for the simulation of rare events. He introduces the Short-Term Dynamic Simulation concept, developed for the planning of mobile radio...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036599472Author Yu JiangFormat HardbackPage Count 462Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1188g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036572666Author Liliya DemidovaFormat HardbackPage Count 284Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 812gDimensions(mm) 244mm * 170mm * 24mm

This book constitutes the refereed proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2007, held in Ithaca, NY, USA, in June 2007. Among the topics addressed in the 36 revised full papers are...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783039283644Author Wei-Chiang HongFormat PaperbackPage Count 262Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 567g

The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.*The total of 260 full papers and 57 short...

This monograph provides a concise overview of the main theoretical and numerical tools to solve homogenization problems in solids with finite elements. Starting from simple cases (linear thermal case) the problems are progressively complexified to finish...

The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14-20, 2023. The 45 full...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725830947Author Saeid JafariFormat HardbackPage Count 222Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 694g

This book constitutes the proceedings of the 21th Annual Conference on Research in Computational Molecular Biology, RECOMB 2017, held in Hong Kong, China, in May 2017. The 22 regular papers presented in this volume were carefully reviewed and selected...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639016031Author Olivera JovanovicFormat PaperbackPage Count 92Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams)...

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2011, held in Rome, Italy, in January 2011. The 27 revised full papers...

This book features 13 papers presented at the Fifth International Symposium on Recurrence Plots, held August 2013 in Chicago, IL. It examines recent applications and developments in recurrence plots and recurrence quantification analysis (RQA) with...

Each year the Safety-critical Systems Symposium brings together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems. On this, the Symposium's...

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. It includes full papers or extended abstracts of the invited talks, refereed selected...

Link reversal is a versatile algorithm design technique that has been used in numerous distributed algorithms for a variety of problems. The common thread in these algorithms is that the distributed system is viewed as a graph, with vertices representing...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783038424963Author Lewis GriffinFormat PaperbackPage Count 206Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 449gDimensions(mm) 244mm * 170mm * 14mm

Quantum cohomology, the theory of Frobenius manifolds and the relations to integrable systems are flourishing areas since the early 90's. An activity was organized at the Max-Planck-Institute for Mathematics in Bonn, with the purpose of bringing together...

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected...

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

During its 30-year existence, the International Workshop on Graph-Theoretic Concepts in Computer Science has become a distinguished and high-quality computer science event. The workshop aims at uniting theory and practice by demonstrating how...