» książki » Mathematics - Logic
topmenu
 |
Mathematical Foundations of Computer Science 1980: 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
ISBN: 9783540100270 / Angielski / Miękka / 726 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Grammar and L Forms: An Introduction
ISBN: 9783540102335 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,55 |
 |
Context-Free Grammars: Covers, Normal Forms, and Parsing
ISBN: 9783540102458 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,24 |
 |
Automata, Languages, and Programming: 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (Eatcs Sign). Proceedings
ISBN: 9783540133452 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
ISBN: 9783540133469 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of the International Symposium on the Semantics of Data Types.
Proceedings of the International Symposium on the Semantics of Data Types.
|
cena:
140,86 |
 |
Automata on Infinite Words: Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
ISBN: 9783540156413 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Automata, Languages and Programming: 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
ISBN: 9783540156505 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2: Research Contributions
ISBN: 9783540159841 / Angielski / Miękka / 662 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings
ISBN: 9783540167808 / Angielski / Miękka / 716 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,24 |
 |
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings
ISBN: 9783540172208 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87," held in Bordeaux, France, May 1987.
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87," held in Bordeaux, Fran...
|
cena:
140,86 |
 |
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
ISBN: 9783540182177 / Angielski / Miękka / 125 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).
This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deducti...
|
cena:
201,24 |
 |
Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
ISBN: 9783540184195 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way.
The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism,...
|
cena:
201,24 |
 |
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
ISBN: 9783540192428 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was the purpose of the workshop to put the results together, to present new, original contributions to the domain, and to discuss still unsolved issues. These contributions are reported in the proceedings. The main questions that have been addressed are the different semantics for conditional rewriting and...
The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together ...
|
cena:
201,24 |
 |
9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 23-26, 1988. Proceedings
ISBN: 9783540193432 / Angielski / Miękka / 776 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to...
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Lab...
|
cena:
402,53 |
 |
Topics in Orbit Equivalence
ISBN: 9783540226031 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume provides a self-contained introduction to some topics in orbit equivalence theory, a branch of ergodic theory. The first two chapters focus on that probability measure-preserving, ergodic actions of the integers are orbit equivalent and of the theorem of Connes-Feldman-Weiss identifying amenability and hyperfiniteness for non-singular equivalence relations. The presentation here is often influenced by descriptive set theory, and Borel and generic analogs of various results are discussed. The final chapter is a detailed account of Gaboriau's recent results on the theory of costs...
This volume provides a self-contained introduction to some topics in orbit equivalence theory, a branch of ergodic theory. The first two chapters focu...
|
cena:
152,93 |
 |
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
ISBN: 9783540510819 / Angielski / Miękka / 589 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class...
Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Com...
|
cena:
201,24 |
 |
Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings
ISBN: 9783540516316 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 star-height, concatenation hierarchies, and connections with logic and word problems. The last part presents a large variety of possible applications: number...
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 ...
|
cena:
201,24 |
 |
Automata, Languages and Programming: 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
ISBN: 9783540528265 / Angielski / Miękka / 788 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of...
This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Associ...
|
cena:
402,53 |
 |
On the Shape of Mathematical Arguments
ISBN: 9783540528494 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. The author stresses that the use of formalism is indispensible for achieving this.
This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show...
|
cena:
201,24 |
 |
Combinatorics on Traces
ISBN: 9783540530312 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This volume presents a comprehensive study of Mazurkiewicz' trace theory from an algebraic-combinatorial point of view. This theory is recognized as an important tool for a rigorous mathematical treatment of concurrent systems. The volume covers several different research areas, and contains not only known results but also various new results published nowhere else. Chapter 1 introduces basic...
Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concu...
|
cena:
201,24 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
