Logic for Applications (Texts in Computer Science)

By Nerode, Anil, Shore, Richard A.

Logic for Applications (Texts in Computer Science)

By Nerode, Anil, Shore, Richard A.

£118

Automata Theory and Its Applications (Progress in Computer Science and Applied Logic (Pcs))

By Bakhadyr M. Khoussainov, Anil Nerode

Automata Theory and Its Applications (Progress in Computer Science and Applied Logic (Pcs))

By Bakhadyr M. Khoussainov, Anil Nerode

£45.10

Automata Theory and its Applications (Progress in Computer Science and Applied Logic)

By Bakhadyr M. Khoussainov, Anil Nerode

Automata Theory and its Applications (Progress in Computer Science and Applied Logic)

By Bakhadyr M. Khoussainov, Anil Nerode

£45.05

Logic for Applications (Texts in Computer Science)

By Nerode, Anil, Shore, Richard A.

Logic for Applications (Texts in Computer Science)

By Nerode, Anil, Shore, Richard A.

£45.07

Logical Foundations of Computer Science (International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science (International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Sergei Artemov, Anil Nerode

£51.96

Logical Foundations of Computer Science (International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings (Lecture Notes in Computer Science))

By Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science (International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings (Lecture Notes in Computer Science))

By Sergei Artemov, Anil Nerode

£64.81

Algebraic Curves and Riemann Surfaces for Undergraduates (The Theory of the Donut)

By Nerode Anil Nerode, Greenberg Noam Greenberg

Algebraic Curves and Riemann Surfaces for Undergraduates (The Theory of the Donut)

By Nerode Anil Nerode, Greenberg Noam Greenberg

£37.70 Elsewhere ~~£39.99~~ Save £2.29 (6%)

Logic and Computer Science (Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-28, 1988: 1988 (Lecture Notes in Mathematics / C.I.M.E. Foundation Subseries))

By Piergiorgio Odifreddi, S. Homer, Anil Nerode, R.A. Platek

Logic and Computer Science (Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-28, 1988: 1988 (Lecture Notes in Mathematics / C.I.M.E. Foundation Subseries))

By Piergiorgio Odifreddi, S. Homer, Anil Nerode, R.A. Platek

£23.60

Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (2nd: Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings (Lecture Notes in Computer Science))

By Anil Nerode, Mikhail Taitslin

Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (2nd: Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings (Lecture Notes in Computer Science))

By Anil Nerode, Mikhail Taitslin

£45.07

Hybrid Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

Hybrid Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

£45.05

Logical Foundations of Computer Science: Proceedings (3rd: International Symposium, LFCS '94, St.Petersburg, Russia, July 11-14, 1994 - Proceedings (Lecture Notes in Computer Science))

By Anil Nerode, IUrii V. Matiiasevich, Yuri Matiyasevich

Logical Foundations of Computer Science: Proceedings (3rd: International Symposium, LFCS '94, St.Petersburg, Russia, July 11-14, 1994 - Proceedings (Lecture Notes in Computer Science))

By Anil Nerode, IUrii V. Matiiasevich, Yuri Matiyasevich

£45.56

Logic Programming and Nonmonotonic Reasoning (Third International Conference, Lpnmr '95, Lexington, Ky, USA, June 26 - 28, 1995. Proceedings: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 - Proceedings (Lecture Notes in C)

By Wiktor Marek, Anil Nerode, Mirek Truszczynski

Logic Programming and Nonmonotonic Reasoning (Third International Conference, Lpnmr '95, Lexington, Ky, USA, June 26 - 28, 1995. Proceedings: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 - Proceedings (Lecture Notes in C)

By Wiktor Marek, Anil Nerode, Mirek Truszczynski

£45.59

Hybrid Systems (v. 2 (Lecture Notes in Computer Science))

By Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry

Hybrid Systems (v. 2 (Lecture Notes in Computer Science))

By Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry

£45.11

Logical Foundations of Computer Science (4th International Symposium, Lfcs '97, Yaroslavl, Russia, July, 6 - 12, 1997 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Sergei Adian, Anil Nerode

Logical Foundations of Computer Science (4th International Symposium, Lfcs '97, Yaroslavl, Russia, July, 6 - 12, 1997 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Sergei Adian, Anil Nerode

£45.03

Logic Programming and Nonmonotonic Reasoning (Fourth International Conference, Lpnmr '97, Dagstuhl Castle, Germany, July 28-31, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ulrich Furbach, Anil Nerode, Ulrich Fuhrbach

Logic Programming and Nonmonotonic Reasoning (Fourth International Conference, Lpnmr '97, Dagstuhl Castle, Germany, July 28-31, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ulrich Furbach, Anil Nerode, Ulrich Fuhrbach

£45.04

Hybrid Systems IV (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Panos J. Antsaklis, Wolf Kohn, Anil Nerode, S. Sastry

Hybrid Systems IV (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Panos J. Antsaklis, Wolf Kohn, Anil Nerode, S. Sastry

£45.01

Hybrid Systems (v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode

Hybrid Systems (v. 5 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode

£45.03

Logical Foundations of Computer Science (International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 ; Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science (International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 ; Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Sergei Artemov, Anil Nerode

£45.10

Logical Foundations of Computer Science (International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science (International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Sergei Artemov, Anil Nerode

£45.08

Logical Foundations of Computer Science (International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science (International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Sergei Artemov, Anil Nerode

£45.03

Logical Foundations of Computer Science (International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science (International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Sergei Artemov, Anil Nerode

£47.33

Logical Foundations of Computer Science (International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Lecture Notes in Computer Science))

By Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science (International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Lecture Notes in Computer Science))

By Sergei Artemov, Anil Nerode

£47.13

View:
Safe Search(?):