topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
ISBN: 9783540581406 / Angielski / Miękka / 1994 / 397 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.
The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi,... This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg...
|
cena:
200,77 |
 |
Automata Theory and its Applications
ISBN: 9780817642075 / Angielski / Twarda / 2001 / 432 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about 1950. Then in the 1950s there was the work of Kleene on representable events, of Myhill and Nerode on finite coset congruence relations on strings, of Rabin and Scott on power set automata. In the 1960s, there was the work of Btichi on automata on infinite strings and the second order theory of one...
The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. First, automata were introduced to repre...
|
cena:
200,77 |
 |
Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut
ISBN: 9783031116155 / Angielski / Miękka / 2023 / 452 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) The theory relating algebraic curves and Riemann surfaces exhibits the unity of mathematics: topology, complex analysis, algebra and geometry all interact in a deep way. This textbook offers an elementary introduction to this beautiful theory for an undergraduate audience.At the heart of the subject is the theory of elliptic functions and elliptic curves. A complex torus (or “donut”) is both an abelian group and a Riemann surface. It is obtained by identifying points on the complex plane. At the same time, it can be viewed as a complex algebraic curve, with addition of points given by a...
The theory relating algebraic curves and Riemann surfaces exhibits the unity of mathematics: topology, complex analysis, algebra and geometry all inte...
|
cena:
220,86 |
 |
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
ISBN: 9783540557074 / Angielski / Miękka / 1992 / 517 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint efort of scholars from both the former Soviet Union and the West, and indicates a new era of international co-operation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, and the Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of...
This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a ser...
|
cena:
200,77 |
 |
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ISBN: 9783642357213 / Angielski / Miękka / 2012 / 415 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem...
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego...
|
cena:
200,77 |
 |
Logic for Applications
ISBN: 9780387948935 / Angielski / Twarda / 1997 / 456 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re- cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem...
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to ...
|
cena:
562,23 |
 |
Hybrid Systems IV
ISBN: 9783540633587 / Angielski / Miękka / 1997 / 410 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Hybrid systems research focuses on modelling, design and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to the following topics: hybrid systems models; formal verification; computer simulation; goal reachability; algorithms for extracting hybrid control programs; and application models for avionics, highway traffic control and air traffic control.
Hybrid systems research focuses on modelling, design and validation of interacting systems (plants) and computer programs (control automata). This vol...
|
cena:
200,77 |
 |
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
ISBN: 9783540594871 / Angielski / Miękka / 1995 / 415 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently... This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic...
|
cena:
200,77 |
 |
Hybrid Systems
ISBN: 9783540573180 / Angielski / Miękka / 1993 / 476 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybrid systems, but due to the rapid development of processor and circuit technology modern cars and consumer electronics use software to control physical processes. The identifying characteristic of hybrid systems is that they incorporate both continuous components governed by differential equations and also digital components - digital computers, sensors, and actuators controlled by programs. This volume of...
Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturi...
|
cena:
200,77 |
 |
Hybrid Systems II
ISBN: 9783540604723 / Angielski / Miękka / 1995 / 575 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel.
Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of... This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It present...
|
cena:
200,77 |
 |
Logic for Applications
ISBN: 9781461268550 / Angielski / Miękka / 2012 / 456 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re- cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem...
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to ...
|
cena:
200,77 |
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
