Welcome, Guest.Sign in for full access to IOU Digital Library's resources.

Welcome to IOU Digital Library

Page 1 | Results on this page: 7 | Digital Books: 7 | Physical Books: 0

Adapting Proofs-as-Programs: The Curry–Howard Protocol

Subjects: Theoretical computer science

Published in: 2005

Availability: 1 of 1(eBook)

By: Iman Hafiz Poernomo & John Newsome Crossley & Martin Wirsing

Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday

Subjects: Theoretical computer science

Published in: 2012

Availability: 1 of 1(eBook)

By: Jozef Kelemen & Alica Kelemenová (eds.)

Design Theory and Computer Science

Subjects: Cambridge Tracts in Theoretical Computer Science (No. 15)

Published in: 101

Availability: 1 of 1(eBook)

By: Subrata Dasgupta

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006: IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, ... in Information and Communication Technology)

Subjects: ISBN-13: 9780387346335

Published in: 2006

Availability: 1 of 1(eBook)

By: Gonzalo Navarro Leopoldo Bertossi Yoshiharu Kohayakawa

Gheorghe Paun, Arto Salomaa-Current Trends in Theoretical Computer Science

Subjects:

Published in: 101

Availability: 1 of 1(eBook)

By: Entering the 21st Century (2001)

Logic, Computation

Subjects: Logic theoretical computer science

Published in: 101

Availability: 1 of 1(eBook)

By: Thomas Forster

Theoretical Aspects of Computing – ICTAC 2008

Subjects: Theoretical computer science

Published in: 2008

Availability: 1 of 1(eBook)

By: John S. Fitzgerald & Anne E. Haxthausen & Husnu Yenigun (Editors)

Fresh Arrivals