Jump to main content

yr 〜
yr

Search results 9

12th workshop on formal techniques for java-like programs 2010 : (FTfJP 10) : held in conjunction with ECOOP 2010 : Maribor, Slovenia : 22 June 2010. : 24th European conference on object-oriented programming : Jun 2010, Maribor, Slovenia.

12th workshop on formal techniques for java-like programs 2010 : (FTfJP 10) : held in conjunction with ECOOP 2010 : Maribor, Slovenia : 22 June 2010. : 24th European conference on object-oriented programming : Jun 2010, Maribor, Slovenia.
Paper図書
Association for Computing Machineryc2010.<M17-11-2730>
National Diet Library
  • Author HeadingPiessens, F. (Frank) Jacobs, Bart. International Workshop on For...

Introduction to coalgebra : towards mathematics of states and observation : hardback

Introduction to coalgebra : towards mathematics of states and observation : hardback
Paper図書
Bart JacobsCambridge University Press2017
Other Libraries in Japan

Formal methods for open object-based distributed systems 5 : 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. : Mar 2002, Enschede, the Netherlands. (IFIP ; 81)

Formal methods for open object-based distributed systems 5 : 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. : Mar 2002, Enschede, the Netherlands. (IFIP ; 81)
Paper図書
Kluwer Academicc2002.<M17-03-3415>
National Diet Library
  • Author HeadingJacobs, Bart. Rensink, Arend. International...

Origins of a Creole : the history of Papiamentu and its African ties

Origins of a Creole : the history of Papiamentu and its African ties
Paper図書
by Bart JacobsDe Gruyter Moutonc2012
Other Libraries in Japan

Categorical logic and type theory : hbk : pbk

Categorical logic and type theory : hbk : pbk
Paper図書
Bart JacobsElsevier Science2001, c1999
Other Libraries in Japan

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
Paper図書
edited by Bart Jacobs, Arend RensinkKluwer Academic Publishersc2002
Other Libraries in Japan

Categorical logic and type theory

Categorical logic and type theory
Paper図書
Bart JacobsElsevier Science1999
Other Libraries in Japan

Part development for OpenDoc

Part development for OpenDoc
Paper図書
Bart Jacob, Henri JubinIBM, International Technical Support Organizationc1997
Other Libraries in Japan

EPS : Earth, Planets and Space

EPS : Earth, Planets and Space
Paper雑誌雑誌タイトル
Terra Scientific Pub. Co<Z54-J298>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS