Computer Science

This book constitutes the refereed proceedings of the 1997 International Conference on Spatial Information Theory, COSIT'97, held in Laurel Highlands, Pennsylvania, USA, in October 1997. The 31 revised full papers presented were carefully selected from a...

This book constitutes the refereed proceedings of the 5th International Workshop on Algorithms and Data Structures, WADS'97, held in Nova Scotia, Halifax, Canada, in August 1997. The 37 revised full papers presented were carefully selected from a total...

This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS '97, held in Bratislava, Slovakia, in August 1997. The 40 revised full papers presented were carefully selected from...

This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996. The volume presents 28 revised full...

This book presents the refereed proceedings of the Third International Conference on Intelligent Tutoring Systems, ITS '96, held in Montreal, Canada, in June 1996. The book contains 69 revised papers selected from a total of 128 submissions; also...

This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn, Germany, in July 1996. ICALP is an annual conference sponsored by the European Association on...

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual...

This volume presents the proceedings of the first French-Israeli Workshop on Algebraic Coding, which took place in Paris in July 1993. The workshop was a continuation of a French-Soviet Workshop held in 1991 and edited by the same board. The thoroughly...

The papers in this volume were presented at the Second Italian Conference onAlgorithms and Complexity, held in February 1994 in Rome. This biannual conference series is intended to present research contributions in theory and applications of sequential,...

This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development...

This volume collects the papers presented at the European Conference on Spatial Information Theory (COSIT '93) held on the island of Elba, Italy, inSeptember 1993. Spatial information theory includes disciplinary topics and interdisciplinary issues...

The 18th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '92) was held in Wiesbaden-Naurod, Germany, June 18-20, 1992. Itwas organized by the Department of Computer Science, Johann Wolfgang Goethe University, Frankfurt am Main...

C-XSC is a tool for the development of numerical algorithms delivering highly accurate and automatically verified results. It provides a large number of predefined numerical data types and operators. These types are implemented as C++ classes. Thus,...

This volume contains 10 invited papers and 40 short communications contributed for presentation at the 17th Symposium on Mathematical Foundations of Computer Science, held in Prague, Czechoslovakia, August 24-28, 1992. The series of MFCS symposia,...

This volume presents the proceedings of the 19th International Colloquium onAutomata, Languages, and Programming (ICALP 92) in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP is a broadly based...

This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer...

This volume contains the proceedings of the fifth International Workshop on Distributed Algorithms (WDAG '91) held in Delphi, Greece, in October 1991. The workshop provided a forum for researchers and others interested in distributed algorithms,...

This volume presents the proceedings of the first French-Soviet workshop on algebraic coding, held in Paris in July 1991. The idea for the workshop, born in Leningrad (now St. Petersburg) in 1990, was to bring together some of the best Soviet coding...

This book presents a selection of the papers presented at EUROCODE '90, the symposium on coding theory held in Udine, Italy, November 1990. It gives the state of the art on coding in Europe and ranges from theoretical top- ics like algebraic geometry and...

This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold:...

Computer aided systems theory is urgently needed for the design of software for CAD. New generation workstations together with the methods and tools of artificial intelligence allow the implementation of the powerful user-driven interactive systems...

This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer Science. They contain original research material not...

TheFirstSummerSchoolonTheoreticalAspectsonComputerSciencewasheld attheInstituteforStudiesinTheoreticalPhysicsandMathematics(IPM)from July3-10,2000. Theideaoforganizingasummerschoolwasoriginatedduringaconversation...

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held,...

This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2006. The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 36 submissions. The papers...

The papers in this volume were presented at the 14th Symposium on Fun- mentals of Computation Theory. The symposium was established in 1977 as a biennial event for researchers interested in all aspects of theoretical computer science, in particular in...

This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the "best" design. This follows a similar...

This book presents the refereed proceedings of the 12th Annual International Computing and Combinatorics Conference, COCOON 2006, held in Taipei, Taiwan, August 2006. The book offers 52 revised full papers presented together with abstracts of 2 invited...

This book constitutes the refereed proceedings of the 3rd European Semantic Web Conference, ESWC 2006. The book presents 48 revised full papers with abstracts of 3 invited talks. The papers are organized in topical sections on ontology alignment,...

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical...

This book combines material from our previous books FP (Fuzzy Probabilities: New Approach and Applications,Physica-Verlag, 2003) and FS (Fuzzy Statistics, Springer, 2004), plus has about one third new results. From FP we have material on basic fuzzy...

Web Personalization can be defined as any set of actions that can tailor the Web experience to a particular user or set of users. To achieve effective personalization, organizations must rely on all available data, including the usage and click-stream...

In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level...

This monograph describes new methods for intelligent pattern recognition using soft computing techniques including neural networks, fuzzy logic, and genetic algorithms. Hybrid intelligent systems that combine several soft computing techniques are needed...

This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics - SOFSEM 2005, held on January 22-28, 2005 in LiptovskyJ an, Slovakia. The series of SOFSEM conferences, organized...

This volume contains the ?nal proceedings of the MetaInformatics Symposium 2003 (MIS 2003). The event was held September 17-20 on the campus of the Graz University of Technology in Graz, Austria. As with previous events in the MIS series, MIS 2003...

The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from...

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

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

This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001. The 31 revised full papers presented were carefully selected and improved during two...