Computer Science

This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linkoeping, Sweden, in April 1996. The 21 full revised papers presented were selected from 44 submissions; also...

This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995. The book contains eight invited papers and two abstracts of invited...

The lambda calculus was developed in the 1930s by Alonzo Church. The calculus turned out to be an interesting model of computation and became theprototype for untyped functional programming languages. Operational and denotational semantics for the...

This is the proceedings of the SIGAL International Symposium on Algorithms held at CSK Information Education Center, Tokyo, Japan, August 16-18, 1990. SIGAL (Special Interest Group on Algorithms) was organized within the Information Processing Society of...

The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones. Such partitions are of great...

This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressinthe applicationandtheoryofPetrinets. Typically, the...

On behalf of the organizerswe would like to welcome all participants to the "Robot Vision 2001" workshop. Our objective has been to bring together - searchersinrobotvision,andtopromoteinteractionanddebate. Participants...

This volume presents papers from the 2nd Scandinavian Workshop on Algorithm Theory. The contributions describe original research on algorithms and data structures, in all areas, including combinatorics, computational geometry, parallel computing, and...

This book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC '95, held in Cairns, Australia, in December 1995. The 45 revised full papers presented together with the abstracts of three invited talks...

The LES-method is rapidly developing in many practical applications in engineering The mathematical background is presented here for the first time in book form by one of the leaders in the fieldBook InformationISBN 9783540263166Author Luigi Carlo...

Mobile Learning through Digital Media Literacy proposes media literacy education as a conceptual framework for bridging mobile technologies in teaching and learning. As cell phones have become more advanced and applications more innovative and fitting,...

Mobile Learning through Digital Media Literacy proposes media literacy education as a conceptual framework for bridging mobile technologies in teaching and learning. As cell phones have become more advanced and applications more innovative and fitting,...

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai,...

Secure Electronic Voting is an edited volume, which includes chapters authored by leading experts in the field of security and voting systems. The chapters identify and describe the given capabilities and the strong limitations, as well as the current...

The research fields of "artificial intelligence and music" and "cognitive musicology" are relative newcomers to the many interdisciplinary groupings based around the centre of AI and cognitive science. They are concerned with the...

Computer Simulation and Computer Algebra. Starting from simple examples in classical mechanics, these introductory lectures proceed to simulations in statistical physics (using FORTRAN) and then explain in detail the use of computer algebra (by means of...

The focus of this monograph is on symmetry breaking problems in the message-passing model of distributed computing. In this model a communication network is represented by a n-vertex graph G = (V,E), whose vertices host autonomous processors. The...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9788793237964Author V PrithivirajFormat PaperbackImprint River PublishersPublisher River PublishersWeight(grams) 145g

The purpose of this book is to provide an up-to-date introduction to the time-domain finite element methods for Maxwell's equations involving metamaterials. Since the first successful construction of a metamaterial with both negative permittivity and...

This introductory book on quantum computing includes an emphasis on the development of algorithms. Appropriate for both university students as well as software developers interested in programming a quantum computer, this practical approach to modern...

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

Finally, we strongly believe that this year's conference continued the tra- tions of having a high scienti?c and technical quality as well as an extensive dialogue on key issues of service availability. May 2008 Fumihiro Maruyama Andras ' Pataricza...

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

Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and functioning of living cells and from their interactions in tissues or higher-order biological structures. The models considered,...

This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021. The 28 full papers were carefully reviewed and selected from 68 submissions. The papers cover a...

The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th...

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

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836467100Author Jan IttnerFormat PaperbackPage Count 240Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 390g

by Roberto Cencioni At the Lisbon Summit in March 2000, European heads of state and government set a new goal for the European Union - to become the most competitive knowled- based society in the world by 2010. As part of this objective, ICT (information...

Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many...

The 6th ESPRIT Conference is being held in Brussels from the 27th November to the 1 st December 1989. Well over 1500 participants from all over Europe are expected to attend the various events during the week. The Conference will offer the opportunity to...

This unique book deals with the migration of existing hard IP from one technology to another, using repeatable procedures. It will allow CAD practitioners to quickly develop methodologies that capitalize on the large volumes of legacy data available...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450317412Author Aosd 12 Conference CommitteeFormat PaperbackPage Count 286Imprint ACMPublisher ACMWeight(grams) 667g

This two-volume set of CCIS 307 and CCIS 308 constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications, ICICA 2012, held in Chengde, China, in September 2012. The 330 revised full papers...

This book offers an overview of the key ideas of Petri nets, how they were developed, and how they were applied in diverse applications. The chapters in the first part offer individual perspectives on the impact of Petri's work. The second part of the...

This book constitutes the refereed conference proceedings of the 11th International Conference on Bio-Inspired Information and Communications Technologies, held in Pittsburgh, PA, USA, in March 2019. The 13 revised full papers and 2 short papers were...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781632401113Author Tom HaltFormat HardbackPage Count 218Imprint Clanrye InternationalPublisher Clanrye InternationalWeight(grams) 798g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450335812Author Ics 25th Anniversary CommitteeFormat PaperbackPage Count 432Imprint ACMPublisher ACMWeight(grams) 993g

For manyyears,the idea of recon?gurablehardwaresystems hasrepresentedthe Holy Grail for computer systemdesigners.It has been recognizedfor a long time that the microprocessor provides high ?exibility but at a very low performance merit in terms of MIPS/W...

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and...