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

Welcome to IOU Digital Library

Refine your Search

Useful Links

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

Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Subjects: Computer Sciences

Published in: 2023

By: Orna Kupferman & Pawel Sobocinski (Eds.)

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27–April 1, 2021, Proceedings
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27–April 1, 2021, Proceedings

Subjects: Computer Science

Published in: 2021

By: Stefan Kiefer & Christine Tasson (Eds.)

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Subjects: Computer science

Published in: 2019

By: Mikołaj Bojańczyk & Alex Simpson (Eds.)

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Subjects: Computer Science

Published in: 2019

By: Reiner Hähnle & Wil van der Aalst (Eds.)

Computer Aided Verification: 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings, Part I
Computer Aided Verification: 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings, Part I

Subjects: Computers

Published in: 2018

By: Hana Chockler ,  Georg Weissenbacher

An Elementary Introduction to Mathematical Finance (Third Edition)
An Elementary Introduction to Mathematical Finance (Third Edition)

Subjects: Mathematics

Published in: 2011

By: Sheldon M. Ross

China, the United States, and Southeast Asia: Contending perspectives on politics, security, and economics
China, the United States, and Southeast Asia: Contending perspectives on politics, security, and economics

Subjects: Interdisciplinary Studies

Published in: 2008

By: Evelyn Goh ,  Sheldon W. Simon

A Globalizing World Culture, Economics, Politics
A Globalizing World Culture, Economics, Politics

Subjects: Economics

Published in: 2004

By: David Held

Ethernet Networks: Design, Implementation, Operation, Management
Ethernet Networks: Design, Implementation, Operation, Management

Subjects: Computer Science

Published in: 2003

By: Gilbert Held

Extending Self-Esteem Theory and Research
Extending Self-Esteem Theory and Research

Subjects: Psychology

Published in: 2001

By: Timothy J. Owens & Sheldon Stryker & Norman Goodman

Fresh Arrivals