Mathematics

11447 books

Discrete Geometry, Combinatorics and Graph Theory: 7th China-Japan Conference, Cjcdgcgt 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China,

$89.08

Report copyright infringementby Jin Akiyama (Editor), William Y. C. Chen (Editor), Mikio Kano (Editor)This book constitutes the thoroughly refereed post-proceedings of the 7th China-Japan Conference on Discrete Geometry, Combinatorics and Graph Theory, CJCDGCGT 2005, held in Tianjin, China, as well as in Xi'an, China, in November 2005. The 30 revised full papers address all current issues in discrete algorithmic geometry, combinatorics and graph theory. Number of Pages: 289 ...

Algorithms and Complexity: 4th Italian Conference, Ciac 2000 Rome, Italy, March 1-3, 2000 Proceedings

$89.08

Report copyright infringementby Giancarlo Bongiovanni (Editor), Giorgio Gambosi (Editor), Rosella Petreschi (Editor)The papers in this volume were presented at the Fourth Italian Conference on Algorithms and Complexity (CIAC 2000). The conference took place on March 1-3, 2000, in Rome (Italy), at the conference center of the University of Rome \La Sapienza". This conference was born in 1990 as a national meeting to be held every three years for Italian researchers in algorithms, data structur...

Learning Classifier Systems: From Foundations to Applications

$89.08

Report copyright infringementby Pier L. Lanzi (Editor), Wolfgang Stolzmann (Editor), Stewart W. Wilson (Editor)Learning Classifier Systems (LCS) are a machine learning paradigm introduced by John Holland in 1976. They are rule-based systems in which learning is viewed as a process of ongoing adaptation to a partially unknown environment through genetic algorithms and temporal difference learning. This book provides a unique survey of the current state of the art of LCS and highlights some of ...

Integer Programming and Combinatorial Optimization: 7th International Ipco Conference, Graz, Austria, June 9-11, 1999, Proceedings

$89.08

Report copyright infringementby Gerard Cornuejols (Editor), Rainer E. Burkard (Editor), Gerhard J. Woeginger (Editor)This volume contains the papers selected for presentation at IPCO VII, the Seventh Conference on Integer Programming and Combinatorial Optimization, Graz, Austria, June9{11,1999.Thismeetingisaforumforresearchersandpr- titioners working on various aspects of integer programming and combinatorial optimization. The aim is to present recent developments in theory, compu- tion, and ...

Computing and Combinatorics: 5th Annual International Conference, Cocoon'99, Tokyo, Japan, July 26-28, 1999, Proceedings

$89.08

Report copyright infringementby Takao Asano (Editor), Hiroshi Imai (Editor), D. T. Lee (Editor)The abstracts and papers in this volume were presented at the Fifth Annual International Computing and Combinatorics Conference (COCOON '99), which was held in Tokyo, Japan from July 26 to 28, 1999. The topics cover most aspects of theoretical computer science and combinatorics pertaining to computing. In response to the call for papers, 88 high-quality extended abstracts were submitted internationa...

Logical Aspects of Computational Linguistics: Second International Conference, Lacl'97, Nancy, France, September 22-24, 1997, Selected Papers

$89.08

Report copyright infringementby Alain Lecomte (Editor), Francois Lamarche (Editor), Guy Perrier (Editor)This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997.The 10 revised full papers presented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, vario...

Approximation Algorithms for Combinatorial Optimization: International Workshop Approx'98, Aalborg, Denmark, July 18-19, 1998, Proceedings

$89.08

Report copyright infringementby Klaus Jansen (Editor), Jose Rolim (Editor)This book constitutes the refereed proceedings of the International Workshop on Approximation Algorithms for Combinatorical Optimization, APPROX'98, held in conjunction with ICALP'98 in Aalborg, Denmark, in July 1998.The volume presents 14 revised full papers together with three invited papers selected from 37 submissions. The papers address the design and analysis of approximation algorithms, inapproximability results,...

Advances in Cryptology - Eurocrypt '98: International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - J

$89.08

Report copyright infringementby Kaisa Nyberg (Editor)This book constitutes the refereed proceedings of the 1998 International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT '98, held in Espoo, Finland, in May/June 1998.The book presents 44 revised full papers selected from a total of 161 submissions. The papers are organized in sections on distributed cryptography, complexity, cryptanalysis of block ciphers, computational algorithms, paradigms for symmetric sy...

Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings

$89.08

Report copyright infringementby Jacques Calmet (Editor), Jan Plaza (Editor)This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algeb...

Algorithms and Computation: 8th International Symposium, Isaac'97, Singapore, December 17-19, 1997, Proceedings.

$89.08

Report copyright infringementby Hon Wai Leong (Editor), Hiroshi Imai (Editor), Sanjay Jain (Editor)This book constitutes the refereed proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97, held in Singapore in December 1997. The 42 revised full papers presented were selected from a total of 98 submissions. The scope of the volume spans the whole area of algorithms from discrete mathematics and complexity theory to algorithms design and evaluation in a variety ...

Foundations of Inductive Logic Programming

$137.68

Report copyright infringementby Shan-Hwei Nienhuys-Cheng (Author), Ronald De Wolf (Author)Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area.In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming...

$89.08

Report copyright infringementby Peter Graf (Author)Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning system...

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

$89.08

Report copyright infringementby Peter Dybjer (Editor), Bengt Nordström (Editor), Jan Smith (Editor)This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theor...

Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, Aismc-2, Cambridge, United Kingdom, August

$89.08

Report copyright infringementby Jacques Calmet (Editor), John A. Campbell (Editor)This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994.The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together aga...

Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings

$89.08

Report copyright infringementby Peter A. Fritzson (Editor)The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are relate...

Orders, Algorithms and Applications: International Workshop Ordal '94, Lyon, France, July 4-8, 1994. Proceedings

$89.08

Report copyright infringementby Vincent Bouchitte (Editor), Michel Morvan (Editor)This volume is the proceedings of the first International Workshop on Orders, Algorithms, and Applications, held at Lyon, France in July 1994.Ordered sets and the more specifically algorithmic aspects of order theory are of increasing importance, for example in graph theory. They enjoy a recognized place in computer science as well as in mathematics, due to various new developments in the last few years. The nin...

Algorithmic Number Theory: First International Symposium, Ants-I, Ithaca, Ny, Usa, May 6 - 9, 1994. Proceedings

$89.08

Report copyright infringementby Leonard M. Adleman (Editor), Ming-Deh Huang (Editor)This volume presents the refereed proceedings of the First Algorithmic Number Theory Symposium, ANTS-I, held at Cornell University, Ithaca, NY in May 1994.The 35 papers accepted for inclusion in this book address many current issues of algorithmic, computational and complexity-theoretic aspects of number theory and thus report the state-of-the-art in this exciting area of research; the book also contributes es...

Logics in Artificial Intelligence: European Workshop Jelia '94, York, Uk, September 5-8, 1994. Proceedings

$89.08

Report copyright infringementby Craig Macnish (Editor), David Pearce (Editor), Luis M. Pereira (Editor)This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formal...

Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

$89.08

Report copyright infringementby Costas Courcoubetis (Editor)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 anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and to...

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

$89.08

Report copyright infringementby Gregor Von Bochmann (Editor), David K. Probst (Editor)This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparin...

Logics in AI: European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992. Proceedings

$89.08

Report copyright infringementby David Pearce (Editor), Gerd Wagner (Editor)This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of ...

Specifying Message Passing and Time-Critical Systems with Temporal Logic

$89.08

Report copyright infringementby Ron Koymans (Author)This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interp...

Latin '92: 1st Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, April 6-10, 1992. Proceedings

$89.08

Report copyright infringementby Imre Simon (Editor)This volume is the proceedings of LATIN '92, the first of an intended series of symposia on theoretical informatics in a Latin American context. It includes ten invited papers by distinguished guest lecturers as well as numerous selected contributions. Number of Pages: 547 Dimensions: 1.14 x 9.21 x 6.14 IN Illustrated: Yes Publication Date: March 11, 1992

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 8th International Conference, Aaecc-8, Tokyo, Japan, August 20-24, 1990. Proceedings

$89.08

Report copyright infringementby Shojiro Sakata (Editor)These are the proceedings of the 8th AAECC conference, held in Tokyo in August 1990. Researchers from around the world present new results of recent theoretical and application-oriented research on applied algebra, algebraic algorithms and error-correcting codes. Number of Pages: 393 Dimensions: 0.84 x 9.21 x 6.14 IN Publication Date: July 10, 1991

Geometry and Robotics: Workshop, Toulouse, France, May 26-28, 1988. Proceedings

$89.08

Report copyright infringementby Jean-Daniel Boissonnat (Editor), Jean-Paul Laumond (Editor) Number of Pages: 415 Dimensions: 0.86 x 9.61 x 6.69 IN Publication Date: October 11, 1989

Swat '90: 2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings

$89.08

Report copyright infringementby John R. Gilbert (Editor), Rolf Karlsson (Editor)Proceedings of the 2nd Scandinavian Workshop on Algorithm Theory, describing original research on algorithms and data structures in all areas, including combinatorics, computational geometry, parallel computing, and graph theory. Number of Pages: 417 Dimensions: 0.88 x 9.21 x 6.14 IN Publication Date: July 02, 1990

Graph-Theoretic Concepts in Computer Science: 16th International Workshop Wg '90, Berlin, Germany, June 20-22, 1990

$89.08

Report copyright infringementby Rolf H. Möhring (Editor)This volume gives the proceedings of WG '90, organized into sections on: Graph algorithms and complexity, VLSI layout, Multiprocessor systems and concurrency, Computational geometry, Graphs, languages and databases, Graph grammars. Number of Pages: 367 Dimensions: 0.78 x 9.21 x 6.14 IN Publication Date: April 24, 1991

Formal Properties of Finite Automata and Applications: Litp Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Procee

$89.08

Report copyright infringementby Jean E. Pin (Editor)The volume contains the proceedings of the 16th Spring School on Theoretical Computer Science held in Ramatuelle, France, in May 1988. It is a unique combination of research level articles on various aspects of the theory of finite automata and its applications. Advances made in the last five years on the mathematical foundations form the first part of the book. The second part is devoted to the important problems of the theory including sta...

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the Eacsl, Szeged, Hungary, September 25-29, 2006, Proceeding

$178.18

Report copyright infringementby Zoltán Ésik (Editor)This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal a...

Machine Translation: From Research to Real Users: 5th Conference of the Association for Machine Translation in the Americas, Amta 2002 Tiburon, Ca, Us

$89.08

Report copyright infringementby Stephen D. Richardson (Editor)AMTA 2002: From Research to Real Users Ever since the showdown between Empiricists and Rationalists a decade ago at TMI 92, MT researchers have hotly pursued promising paradigms for MT, including da- driven approaches (e.g., statistical, example-based) and hybrids that integrate these with more traditional rule-based components. During the same period, commercial MT systems with standard transfer archit- tures have evolved along a ...

Computational Geometry and Its Applications: CG '88 International Workshop on Computational Geometry Würzburg, Frg, March 24-25, 1988. Proceedings

$89.08

Report copyright infringementby Hartmut Noltemeier (Editor)The International Workshop CG '88 on "Computational Geometry" was held at the University of Würzburg, FRG, March 24-25, 1988. As the interest in the fascinating field of Computational Geometry and its Applications has grown very quickly in recent years the organizers felt the need to have a workshop, where a suitable number of invited participants could concentrate their efforts in this field to cover a broad spectrum of topics and to...

Conceptual Modeling - Er 2002: 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings

$89.08

Report copyright infringementby Stefano Spaccapietra (Editor), Salvatore March (Editor), Yahiko Kambayashi (Editor)For more than 20 years, the series of Conceptual Modeling - ER conferences has provided a forum for research communities and practitioners to present and - change research results and practical experiences in the ?elds of database design and conceptual modeling. Throughout the years, the scope of these conferences has extended from database design and speci?c topics of that area ...