Bart Jacobs: Z-Libraryで検索

Bart Jacobs [Jacobs, Bart]

年:

1999

言語:

english

ファイル:

PDF, 27.06 MB

0 / 0

english, 1999

Mastering MVVM With Swift: Updated for Xcode 9 and Swift 4

leanpub.com

Jacobs, Bart [Jacobs, Bart]

年:

2017

言語:

english

ファイル:

EPUB, 7.14 MB

0 / 0

english, 2017

Mastering Core Data With Swift: Update for Xcode 9 and Swift 4

leanpub.com

年:

2017

言語:

english

ファイル:

EPUB, 5.63 MB

0 / 0

english, 2017

Categorical Logic and Type Theory

Cambridge University Press

年:

2005

言語:

english

ファイル:

PDF, 28.63 MB

0 / 0

english, 2005

The Missing Manual for Swift Development

leanpub.com

Jacobs, Bart [Jacobs, Bart]

年:

2017

言語:

english

ファイル:

EPUB, 3.09 MB

0 / 0

english, 2017

Introduction to Coalgebra: Towards Mathematics of States and Observation

年:

2016

言語:

english

ファイル:

PDF, 2.63 MB

0 / 0

english, 2016

Categorical Logic and Type Theory

Bart D. Ehrman, Andrew S. Jacobs

年:

1999

言語:

english

ファイル:

DJVU, 4.63 MB

0 / 0

english, 1999

Christianity in Late Antiquity – 300-450 C.E.: A Reader

Oxford University Press

年:

2004

言語:

english

ファイル:

DJVU, 14.58 MB

0 / 0

english, 2004

Origins of a Creole: The History of Papiamentu and Its African Ties

De Gruyter Mouton

年:

2012

言語:

english

ファイル:

PDF, 1.99 MB

0 / 4.5

english, 2012

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding

Bart Jacobs, Christof Löding (eds.)

年:

2016

言語:

english

ファイル:

PDF, 12.37 MB

0 / 0

english, 2016

Learn the Four Swift Patterns I Swear By

Cambridge University Press

年:

2017

言語:

english

ファイル:

PDF, 2.06 MB

0 / 5.0

english, 2017

Introduction to Coalgebra: Towards Mathematics of States and Observation

年:

2016

言語:

english

ファイル:

PDF, 2.23 MB

0 / 0

english, 2016

Categorical logic and type theory

Elsevier,North-Holland

Jacobs, Bart

年:

1999

言語:

english

ファイル:

DJVU, 7.54 MB

0 / 0

english, 1999

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

Gergely Alpár, Bart Jacobs (auth.), Simone Fischer-Hübner, Elisabeth de Leeuw, Chris Mitchell (eds.)

年:

2013

言語:

english

ファイル:

PDF, 4.68 MB

0 / 0

english, 2013

Categorical Logic and Type Theory

年:

1998

言語:

english

ファイル:

DJVU, 21.54 MB

0 / 0

english, 1998

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

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

年:

2000

言語:

english

ファイル:

PDF, 3.26 MB

0 / 0

english, 2000

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

Bart Jacobs (auth.), Cristian S. Calude, Vladimiro Sassone (eds.)

年:

2010

言語:

english

ファイル:

PDF, 7.01 MB

0 / 0

english, 2010

Foundations of Software Science and Computation Structures, 19 conf., FOSSACS 2016

Springer

Bart Jacobs, Christof Löding

年:

2016

言語:

english

ファイル:

PDF, 6.74 MB

0 / 0

english, 2016

Introduction to Coalgebra. Towards Mathematics of States and Observations [draft]

年:

2012

言語:

english

ファイル:

PDF, 2.63 MB

0 / 0

english, 2012

Middle High German Legends in English Translation

Leiden University Press

Jef Jacobs, Kenny Louwen, Bart Veldhoen, Barend Verkerk

年:

2022

言語:

english

ファイル:

PDF, 16.46 MB

0 / 0

english, 2022

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

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

年:

2000

言語:

english

ファイル:

PDF, 4.34 MB

0 / 0

english, 2000

Decoding the iOS 6 SDK

Hammonds, Mark, Jacobs, Bart, Khan, Akiel, Crabtree, Aaron

年:

2013

言語:

english

ファイル:

EPUB, 10.71 MB

0 / 0

english, 2013

Introduction to Grid Computing

IBM Corp.

Bart Jacob

年:

2005

言語:

english

ファイル:

PDF, 3.31 MB

0 / 0

english, 2005

Origins of a Creole: The History of Papiamentu and Its African Ties

De Gruyter Mouton

年:

2012

言語:

english

ファイル:

PDF, 2.05 MB

0 / 0

english, 2012

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

Bart Jacobs (auth.), Richard J. Boulton, Paul B. Jackson (eds.)

年:

2001

言語:

english

ファイル:

PDF, 2.54 MB

0 / 0

english, 2001

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

Springer US

Matthew Dwyer (auth.), Bart Jacobs, Arend Rensink (eds.)

年:

2002

言語:

english

ファイル:

PDF, 12.45 MB

0 / 0

english, 2002

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

Bart Jacobs (auth.), Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)

年:

2003

言語:

english

ファイル:

PDF, 3.47 MB

0 / 0

english, 2003

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

Bart Jacobs (auth.), Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)

年:

2003

言語:

english

ファイル:

PDF, 4.29 MB

0 / 0

english, 2003

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