You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 8th Scandinavian Workshop on Algorithm Theory, SWAT 2002, held in Turku, Finland, in July 2002. The 43 revised full papers presented together with two invited contributions were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections on scheduling, computational geometry, graph algorithms, robotics, approximation algorithms, data communication, computational biology, and data storage and manipulation.
This volume contains the proceedings of two recent conferences in the ?eld of electronic publishing and digital documents: – DDEP 2000, the 8th International Conference on Digital Documents and Electronic Publishing, the successor conference to the EP conference series; and – PODDP 2000, the 5th International Workshop on the Principles of Digital Document Processing. Both conferences were held at the Technische Universit ̈ at Munc ̈ hen, Munich, Germany in September 2000. DDEP 2000 was the eighth in a biennial series of international conferences organized to promote the exchange of novel ideas concerning the computer p- duction, manipulation and dissemination of documents. This confere...
J.UCS is the electronic journal that covers all areas of computer science. The high quality of all accepted papers is ensured by a strict review process and an international editorial board of distinguished computer scientists. The online journal J.UCS is a prototype for modern electronic publishing. Distributed via the Internet, it supports all the search and navigation tools of advanced online systems. This first annual print and CD-ROM archive edition contains all articles published online in J.UCS during 1995. It allows easy and durable access without logging onto the Internet. Uniform citation of papers is guaranteed by identical page numbering and layout of all versions. J.UCS is based on HyperWave (formerly Hyper-G), a networked hypermedia information system compatible with other systems.
This book constitutes the refereed proceedings of the Third International Symposium on Parallel and Distributed Processing and Applications, ISPA 2005, held in Nanjing, China in November 2005. The 90 revised full papers and 19 revised short papers presented together with 3 keynote speeches and 2 tutorials were carefully reviewed and selected from 645 submissions. The papers are organized in topical sections on cluster systems and applications, performance evaluation and measurements, distributed algorithms and systems, fault tolerance and reliability, high-performance computing and architecture, parallel algorithms and systems, network routing and communication algorithms, security algorithms and systems, grid applications and systems, database applications and data mining, distributed processing and architecture, sensor networks and protocols, peer-to-peer algorithms and systems, internet computing and Web technologies, network protocols and switching, and ad hoc and wireless networks.
This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph.D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic, computability, and cryptography. The appendix presents Professor Salomaa's curriculum vitae and lists the more than 300 papers and 9 books he published.
This book constitutes the refereed proceedings of the 9th International Conference on Parallel Computing Technologies, PaCT 2007, held in conjunction with the Russian-Taiwan symposium on Methods and Tools of Parallel Programming of Multicomputers. It covers models and languages, applications, techniques for parallel programming supporting, cellular automata, as well as methods and tools of parallel programming of multicomputers.
Proceedings -- Parallel Computing.
This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.
A selection of papers presented at the international conference `Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term `applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dyn...
This book constitutes the refereed proceedings of the 12th Annual European Symposium on Algorithms, ESA 2004, held in Bergen, Norway, in September 2004. The 70 revised full papers presented were carefully reviewed from 208 submissions. The scope of the papers spans the entire range of algorithmics from design and mathematical issues to real-world applications in various fields, and engineering and analysis of algorithms.