By Steven Roman, Phd, Petrusha, Ron, Paul Lomax

£5.14 Elsewhere ~~£7.99~~ Save £2.85 (36%)

1

Language and Automata Theory and Applications (13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Carlos Martín-Vide, Alexander Okhotin, Dana Shapira

Language and Automata Theory and Applications (13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Carlos Martín-Vide, Alexander Okhotin, Dana Shapira

£45.08

Logic Programming (First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 AND Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991 - Proceedings (Lecture Notes in Computer Science / Le)

By Andrei Voronkov

Logic Programming (First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 AND Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991 - Proceedings (Lecture Notes in Computer Science / Le)

By Andrei Voronkov

£45.70

Perspectives of System Informatics (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju)

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

Perspectives of System Informatics (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju)

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

£45.04

Computer Science - Theory and Applications (13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings (Theoretical Computer Science and General Issues))

By Fedor V. Fomin, Vladimir V. Podolskii

Computer Science - Theory and Applications (13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings (Theoretical Computer Science and General Issues))

By Fedor V. Fomin, Vladimir V. Podolskii

£90.69

Computability, Complexity, and Languages (Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing))

By Davis, Martin (Courant Institute of Mathematical Sciences of New, Sigal, Ron, Elaine J. Weyuker

Computability, Complexity, and Languages (Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing))

By Davis, Martin (Courant Institute of Mathematical Sciences of New, Sigal, Ron, Elaine J. Weyuker

£42.37 Elsewhere ~~£49.99~~ Save £7.62 (15%)

31

Technology of Object-Oriented Languages, Systems and Architectures (Springer International Series in Engineering and Computer Science The)

By Theo D'Hondt

Technology of Object-Oriented Languages, Systems and Architectures (Springer International Series in Engineering and Computer Science The)

By Theo D'Hondt

£88.58

Technology of Object-oriented Languages, Systems and Architectures (The Springer International Series in Engineering and Computer Science)

By Theo D'Hondt

Technology of Object-oriented Languages, Systems and Architectures (The Springer International Series in Engineering and Computer Science)

By Theo D'Hondt

£82.83 Elsewhere ~~£89.99~~ Save £7.16 (8%)

Pristine Perspectives on Logic, Language and Computation (ESSLLI 2012 and ESSLLI 2013, Student Sessions, Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig

Pristine Perspectives on Logic, Language and Computation (ESSLLI 2012 and ESSLLI 2013, Student Sessions, Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig

£41.72

Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

£47.40

Computer Science – Theory and Applications (14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By René van Bevern, Gregory Kucherov

Computer Science – Theory and Applications (14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By René van Bevern, Gregory Kucherov

£45.02

Software Technology (Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer

Software Technology (Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer

£45.02

Perspectives of System Informatics (12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

Perspectives of System Informatics (12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

£45.06

Perspectives of Systems Informatics (5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manfred Broy, Alexandre V. Zamulin

Perspectives of Systems Informatics (5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manfred Broy, Alexandre V. Zamulin

£45.12

Software Engineering: Specification of Systems and Languages (Volume 2 (Texts in Theoretical Computer Science: An EATCS Series))

By Bjørner, Dines

Software Engineering: Specification of Systems and Languages (Volume 2 (Texts in Theoretical Computer Science: An EATCS Series))

By Bjørner, Dines

£45.61

Machines, Computations, and Universality (4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Maurice Margenstern

Machines, Computations, and Universality (4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Maurice Margenstern

£45.54

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

£45.03

Modular Programming Languages (Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings (Lecture Notes in Computer Science))

By Laszlo Boszormenyi, Peter Schojer

Modular Programming Languages (Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings (Lecture Notes in Computer Science))

By Laszlo Boszormenyi, Peter Schojer

£44.92

Parallel Computing Technologies (6th International Conference, Pact 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings: 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 - Proceedings (Lecture Notes in Computer Scie)

By Victor Malyshkin

Parallel Computing Technologies (6th International Conference, Pact 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings: 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 - Proceedings (Lecture Notes in Computer Scie)

By Victor Malyshkin

£45.09

Perspectives of System Informatics (4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : Revised Papers (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Alexandre Zamulin, A.P. Erashov

Perspectives of System Informatics (4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : Revised Papers (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Alexandre Zamulin, A.P. Erashov

£45.93

Evaluation of Cross-language Information Retrieval Systems (Second Workshop of the Cross-Language Evaluation Forum, Clef 2001, Darmstadt, Germany, September 3-4, 2001. Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelli)

By Martin Braschler, Julio Gonzalo, Julio A. Gonzalo, Michael Kluck

Evaluation of Cross-language Information Retrieval Systems (Second Workshop of the Cross-Language Evaluation Forum, Clef 2001, Darmstadt, Germany, September 3-4, 2001. Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelli)

By Martin Braschler, Julio Gonzalo, Julio A. Gonzalo, Michael Kluck

£88.75

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.08

Formal Methods in Programming and Their Applications (International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

Formal Methods in Programming and Their Applications (International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

£45.61

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.57

View:
Safe Search(?):