Computer Science

Mobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and support code mobility through the mobility of functions between remote sites. It aims to highlight the...

This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Web and Internet Economics, WINE 2014, held in Beijing, China, in December 2014. The 32 regular and 13 short papers were carefully reviewed and...

This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5-8, 2004. The LATIN series of symposia was launched in 1992 to foster interactions between the Latin...

Various applications in the field of pulmonary image analysis require a registration of CT images of the lung. For example, a registration-based estimation of the breathing motion is employed to increase the accuracy of dose distribution in radiotherapy...

It is becoming quite clear that there will be important technological advances in - bile and wireless connectivity, known as third-/fourth-generation (3G and 4G) mobile telecommunications systems. As a result we will be surrounded by ever-growing m-...

ICALP { the International Colloquium on Automata, Languages, and Progr- ming { is a series of annual conferences of the European Association for Th- retical Computer Science (EATCS). ICALP'99 was organized by the Institute of Computer Science of the...

Since the late 1980s, the CAiSE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the ?eld of Information Systems Engineering. CAiSE 2001 was the 13th conference in this series and...

During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their approximability. This textbook-like...

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Principles of Document Processing, PODP'96, held in Palo Alto, California, USA, in September 1996. The book contains 13 revised full papers...

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lubeck, Germany, in February/March 1997. The 46 revised full papers included were carefully selected from a total of...

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996. The volume presents 35 revised full papers selected from a total of 95...

This book constitutes the proceedings of the Second Annual International Conference on Computing and Combinatorics, COCOON '96, held in June 1996 in Hong Kong. The 44 papers presented in the book in revised version were carefully selected from a total of...

Mathematicians have long recognized the distinction between an argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new dimension of interest in constructivity, since a computer...

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

This book introduces readers to one of the first methods developed for the numerical treatment of boundary value problems on polygonal and polyhedral meshes, which it subsequently analyzes and applies in various scenarios. The BEM-based finite element...

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at...

The refereed proceedings of the 10th International Workshop on Quality of Service, IWQoS 2003, held in Berkeley, CA, USA, in June 2003. The 27 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are...

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were...

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725810673Author Adrian Sergiu DarabantFormat HardbackPage Count 526Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1324g

This book constitutes the refereed proceedings of the 8th Mexican Conference on Pattern Recognition, MCPR 2016, held in Guanajuato, Mexico, in June 2016. The 34 revised full papers presented were carefully reviewed and selected from 60 submissions. The...

Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Groebner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and...

This book constitutes the refereed proceedings of the 16th International Conference on Computational Methods in Systems Biology, CMSB 2018, held in BRNO, Czech Republic, in September 2018. The 15 full and 7 short papers presented together with 5 invited...

The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the Centre for Discrete Mathematics and Theoretical Computer Science and the Department of C- puter Science and Arti?cial Intelligence of...

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

This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general, as well as the future of High Performance Computing systems and...

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions...

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

Image motion processing is important to machine vision systems because it can lead to the recovery of 3D structure and motion. Author Amar Mitiche offers a comprehensive mathematical treatment of this key subject in visual systems research. Mitiche...

This volumecontainsthepaperspresentedattheSecondWorkshoponthePr- tical Applications of Declarative Languages (PADL'00) held in Boston, MA, USA, January 17{18, 2000. PADL'00 was co-located with the 27th ACM C- ference on the Principles of...

The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in...

The Symposium on Theoretical Aspects of Computer Science (STACS) is held annually, alternating between France and Germany. The current volume cons- tutes the proceedings of the 16th STACS conference, organized jointly by the Special Interest Group for...

ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical...

This book contains the presentations given at the Workshop on OpenMP App- cations and Tools, WOMPAT 2001. The workshop was held on July 30 and 31, 2001 at Purdue University, West Lafayette, Indiana, USA. It brought together designers, users, and...

This book presents works detailing the application of processing and visualization techniques for analyzing the Earth’s subsurface. The topic of the book is interactive data processing and interactive 3D visualization techniques used on subsurface data...

This book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23–26, 2023.The 12 Papers presented in this volume were carefully reviewed and selected from 21...

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

People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and...

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

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836449625Author Marco LohseFormat PaperbackPage Count 392Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 621g