IOU 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)

<< < 1 > >>

Welcome to IOU Digital Library

Refine your Search

Useful Links

Fresh Arrivals