Author books / Книги автора Bart Jacobs (auth.) Richard J. Boulton Paul B. Jackson (eds.) » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Bart Jacobs (auth.) Richard J. Boulton Paul B. Jackson (eds.) » Page 2

book Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

pdf

Author: Bart Jacobs (auth.) Richard J. Boulton Paul B. Jackson (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

pdf

Author: Bart Jacobs (auth.) Elie Najm Uwe Nestmann Perdita Stevens (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

pdf

Author: Joachim van den Berg Marieke Huisman Bart Jacobs Erik Poll (auth.) Didier Bert Christine Choppy Peter D. Mosses (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Policies and Research in Identity Management: Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings

Policies and Research in Identity Management: Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings

pdf

Author: Gergely Alpár Bart Jacobs (auth.) Simone Fischer-Hübner Elisabeth de Leeuw Chris Mitchell (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

pdf

Author: Bart Jacobs (auth.) Cristian S. Calude Vladimiro Sassone (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

pdf

Author: Matthew Dwyer (auth.) Bart Jacobs Arend Rensink (eds.)
Language: English
Year: 2002

00

27.01.2024

0

0

book Categorical Logic and Type Theory

Categorical Logic and Type Theory

pdf

Author: Bart Jacobs
Language: English
Year: 1998

00

27.01.2024

0

0

book Categorical Logic and Type Theory

Categorical Logic and Type Theory

djvu

Author: Bart Jacobs
Language: English
Year: 1998

00

27.01.2024

0

0

book Categorical Logic and Type Theory

Categorical Logic and Type Theory

pdf

Author: Bart Jacobs
Language: English
Year: 1999

00

27.01.2024

0

0

book Categorical Logic and Type Theory

Categorical Logic and Type Theory

djvu

Author: Bart Jacobs
Language: English
Year: 1999

00

27.01.2024

0

0