Skip to content
Register Sign in Wishlist
Computer science

Logic in Computer Science

When

20 June – 23 June 2017

Where

Rejkyavik, Iceland

The conference discount for the following titles is no longer available.

Available titles

Results

Refine results

Refine results

Clear all

Series

Format

Rating

  • (2)
  • (0)
  • (0)
  • (0)
  • (0)

Show me

Subscribe now

Save 20% on your next online purchase

Receive email alerts on new books, offers and news in Logic in Computer Science.

Results

Listing Grid
Found 57 Results
Page 1 of 3
  • Introduction to Property Testing

    Goldreich, Oded
    Published: November 2017

    Hardback

    View product
  • Hardback

    View product
  • A Formal Theory of Commonsense Psychology

    How People Think People Think

    Gordon, Andrew S.
    Hobbs, Jerry R.
    Published: September 2017

    Hardback

    View product
  • Paperback

    View product
  • Groups, Languages and Automata

    Holt, Derek F.
    Rees, Sarah
    Röver, Claas E.
    Published: April 2017

    Paperback

    View product
  • An Introduction to Description Logic

    Baader, Franz
    Horrocks, Ian
    Lutz, Carsten
    (+ 1 other)
    Published: April 2017

    Paperback

    View product
  • Introduction to Coalgebra

    Towards Mathematics of States and Observation

    Jacobs, Bart
    Published: December 2016

    Hardback

    View product
  • Temporal Logics in Computer Science

    Finite-State Systems

    Demri, Stéphane
    Goranko, Valentin
    Lange, Martin
    Published: December 2016

    Hardback

    View product
  • Programming in Haskell

    textbook

    Hutton, Graham
    Published: September 2016
    2nd Edition

    (1 reviews)
  • Knowledge Engineering

    Building Cognitive Assistants for Evidence-based Reasoning

    Tecuci, Gheorghe
    Marcu, Dorin
    Boicu, Mihai
    (+ 1 other)
    Published: September 2016

  • Set Theory

    A First Course

    textbook

    Cunningham, Daniel W.
    Published: July 2016

  • The Banach–Tarski Paradox

    Tomkowicz, Grzegorz
    Wagon, Stan
    Published: June 2016
    2nd Edition

    Hardback

    View product
  • The Once and Future Turing

    Computing the World

    Cooper, S. Barry
    Hodges, Andrew
    Published: April 2016

    Hardback

    View product
  • Practical Foundations for Programming Languages

    Harper, Robert
    Published: April 2016
    2nd Edition

  • Logic and Algebraic Structures in Quantum Computing

    Chubb, Jennifer
    Eskandarian, Ali
    Harizanov, Valentina
    Published: February 2016

    Hardback

    View product
  • Computation, Proof, Machine

    Mathematics Enters a New Age

    Dowek, Gilles
    Guillot, Pierre
    Roman, Marion
    Published: May 2015

    Paperback

    View product
  • Pure Inductive Logic

    Paris, Jeffrey
    Vencovská, Alena
    Published: April 2015

    Hardback

    View product
  • Type Theory and Formal Proof

    An Introduction

    Nederpelt, Rob
    Geuvers, Herman
    Published: December 2014

    Hardback

    View product
  • Thinking Functionally with Haskell

    Bird, Richard
    Published: December 2014

    Paperback

    View product
  • Alan M. Turing

    Centenary Edition

    Turing, Sara
    Published: November 2014

    Paperback

    View product
Found 57 Results
Page 1 of 3

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon
×

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.

Cancel

Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

×
Please fill in the required fields in your feedback submission.
×