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 fo...Lasīt vairāk
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selecte...Lasīt vairāk
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected fr...Lasīt vairāk
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers wer...Lasīt vairāk
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. The 27 revised full paperswere carefully reviewed and selected from...Lasīt vairāk
(Izdošanas datums: 31-Jul-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781468402131)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical fo...Lasīt vairāk
(Izdošanas datums: 21-Nov-2012, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642357213)
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...Lasīt vairāk
Sērija : Progress in Computer Science and Applied Logic
(Izdošanas datums: 01-Nov-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461266457)
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, McCullo...Lasīt vairāk
(Izdošanas datums: 28-Sep-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461268550)
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional su...Lasīt vairāk
Sērija : Theoretical Computer Science and General Issues
(Izdošanas datums: 18-Dec-2008, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540926863)
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. This title presents 31 revised refereed papers that were selected by the...Lasīt vairāk
(Izdošanas datums: 25-May-2007, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540727323)
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspec...Lasīt vairāk
Sērija : Progress in Computer Science and Applied Logic
(Izdošanas datums: 08-Jun-2001, Hardback, Izdevniecība: Birkhauser Boston Inc, ISBN-13: 9780817642075)
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, McCullo...Lasīt vairāk
Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode, Shankar Sastry
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 24-Feb-1999, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540656432)
This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thoroug...Lasīt vairāk
Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 30-Jul-1997, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540633587)
This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous...Lasīt vairāk
(Izdošanas datums: 17-Jan-1997, Hardback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9780387948935)
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. While all the traditional sub...Lasīt vairāk
(Izdošanas datums: 02-Jul-1997, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540632559)
This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 97, held in Dagstuhl Castle, Germany, in July 1997.The volume presents 19 revised regular papers together with...Lasīt vairāk
(Izdošanas datums: 28-May-1997, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540630456)
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS97, held in Yaroslavl, Russia, in July 1997.The volume presents 42 revised refereed papers carefully selected by th...Lasīt vairāk
Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
Sērija : Lecture Notes in Computer Science
(Izdošanas datums: 09-Oct-1995, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540604723)
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 an...Lasīt vairāk
