Titel | Art | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Automata Theory and its Applications | Hardcover | | 978-0-8176-4207-5 | 2001 | Bakhadyr Khoussainov |
Hybrid Systems | Taschenbuch | | 978-3-540-57318-0 | 2008 | Hans Rischel · Robert L. Grossman · Anders P. Ravn |
Hybrid Systems | Paperback | | 978-0-387-57318-2 | 1993 | Robert L. Grossman · Anders P. Ravn |
Hybrid Systems II | " | | 978-3-662-17988-8 | 2014 | Panos Antsaklis · Wolf Kohn |
Hybrid Systems II | Taschenbuch | | 978-3-540-60472-3 | 2008 | Shankar Sastry · Wolf Kohn · Panos Antsaklis |
Hybrid Systems IV | " | | 978-3-540-63358-7 | 2008 | Shankar Sastry · Wolf Kohn · Panos Antsaklis |
Hybrid Systems V | " | | 978-3-540-65643-2 | 2008 | Shankar Sastry · Michael Lemmon · Wolf Kohn · Panos J. Antsaklis |
Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings | " | | 978-3-540-63045-6 | 2008 | Sergei Adian |
Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings | " | | 978-3-540-72732-3 | 2009 | Sergei N. Artemov |
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings | " | | 978-3-540-92686-3 | 2008 | Sergei Artemov |
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings | " | | 978-3-642-35721-3 | 2012 | " |
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings | " | | 978-3-319-27682-3 | 2015 | " |
Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings | " | | 978-3-319-72055-5 | 2017 | " |
Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings | " | | 978-3-030-36754-1 | 2020 | " |
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings | " | | 978-3-540-58140-6 | 2008 | Yu.V. Matiyasevich |
Logical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings | Paperback | | 978-0-387-58140-8 | 1994 |
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings | Taschenbuch | | 978-3-540-55707-4 | 2008 | Mikhail Taitslin |
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992: Proceedings | Paperback | | 978-0-387-55707-6 | 1992 |
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo held at Montecatini Terme, ... Mathematics / C.I.M.E. Foundation Subseries) | Taschenbuch | | 978-3-540-52734-3 | 2009 | Steven Homer · Richard A. Platek · Gerald E. Sacks · Andre Scedrov |
Logic for Applications | Hardcover | | 978-0-387-94893-5 | 1997 | Richard A. Shore |
Logic for Applications | " | | 978-0-387-94129-5 | 1993 | " |
Logic for Applications | Gebunden | | 978-3-540-94129-3 | 1993 | " |
Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings | Taschenbuch | | 978-3-540-63255-9 | 2008 | Ulrich Fuhrbach · J??rgen Dix |
Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop | Paperback | | 978-0-262-64027-5 | 1991 | Wiktor Marek · V. S. Subrahmanian |
Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993 | " | | 978-0-262-66083-9 | 1993 | Luis Moniz Pereira |
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings | Taschenbuch | | 978-3-540-59487-1 | 2008 | Miroslaw Truszcynski · V. Wiktor Marek |
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995: Proceedings | Paperback | | 978-0-387-59487-3 | 1995 | Ky.) Lpnmr 9 (1995 Lexington · V. W. Marek · Mirosaw Truszczynski |
Recursion Theory | Hardcover | | 978-0-8218-1447-5 | 1985 |