Jump to main content

yr 〜
yr

Search results 30

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.], eds. (Lecture notes in computer science)

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.], eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9524>
National Diet Library
  • Author HeadingHeering, J. International Workshop on Hi...

Language prototyping : an algebraic specification approach

Language prototyping : an algebraic specification approach
Paper図書
editors, Arie van Deursen, Jan Heering, Paul KlintWorld Scientificc1996
Other Libraries in Japan
  • Author HeadingDeursen, Arie van Heering, J Klint, Paul

Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Paper図書
Michael Hanus, Jan Heering, Karl Meinke, (eds.)Springer-Verlagc1997
Other Libraries in Japan
  • Author HeadingHanus, Michael Heering, J Meinke, K. (Karl) Internation...

Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers : gw : us

Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers : gw : us
Paper図書
Jan Heering ... [et al.] (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingHeering, J International Workshop on Hig...

Algebraic specification

Algebraic specification
Paper図書
edited by J.A. Bergstra, J. Heering, P. KlintACM Pressc1989
Other Libraries in Japan
  • Author HeadingBergstra, J. A. Heering, J Klint, Paul

International law in historical perspective v. 12. Index

International law in historical perspective v. 12. Index
Paper図書
by W.P. Heere, J.P.S. Offerhaus, J.H.W. VerzijlM. Nijhoffc1998
Other Libraries in Japan

Eternal love

Eternal love
Recording Media映像資料
Joseph M. Schenck presents an Ernst Lubitsch production ; United Artists Picture ; directed by Ernst Lubitsch ; adapted for the screen ... by Hans KralyImage Entertainment [distributor]c2001
Other Libraries in Japan

Geological investigations in East Wetar, Alor and Poera Besar (Eastern Lesser Soenda Islands)

Geological investigations in East Wetar, Alor and Poera Besar (Eastern Lesser Soenda Islands)
Paper図書
door Jan HeeringNoord-hollandsche uitg. mij.1941
Other Libraries in Japan
  • Author HeadingHeering, J

Corpus diplomaticum Neerlando-Indicum

Corpus diplomaticum Neerlando-Indicum
Paper図書
verzameld en toegelicht door F.W. StapelM. Nijhoff1955
Other Libraries in Japan

The discovery of Tasmania, 1642

The discovery of Tasmania, 1642
Paper図書
selections from Doctor J.E. Heeres', translation of Tasman's journal Aug.-Dec. 1642 ; [edited by John Reynolds][Minister for Lands and Works and Minister in Charge of Tasmanian Tercentenary Celebrations][1942]
Other Libraries in Japan

Corpus diplomaticum Neerlando-Indicum : verzameling van politieke contracten en verdere verdragen door de Nederlanders in het Oosten gesloten, van privilegebrieven, aan hen verleend, enz. / uitg. en toegelicht door J. E. Heeres. (Bijdragen tot de taal-, land- en volkendunde van Nederlandsch-Indië ; deel 57, 87, 91)

Corpus diplomaticum Neerlando-Indicum : verzameling van politieke contracten en verdere verdragen door de Nederlanders in het Oosten gesloten, van privilegebrieven, aan hen verleend, enz. / uitg. en toegelicht door J. E. Heeres. (Bijdragen tot de taal-, land- en volkendunde van Nederlandsch-Indië ; deel 57, 87, 91)
Paper図書
Nijnoff1907-34.<特19-064>
National Diet Library

Neerlands daden in Oost en West : beknopt geschied- en aardrijkskundig overzicht van onze bezittingen en koloniën / door Jacs M. Vos ; met een voorwoord van J.E. Heeres.

Neerlands daden in Oost en West : beknopt geschied- en aardrijkskundig overzicht van onze bezittingen en koloniën / door Jacs M. Vos ; met een voorwoord van J.E. Heeres.
Paper図書
Elsevier1905.<DC661-A4>
National Diet Library

De Oost-Indische Compagnie : ter herinnering, 20 maart 1602 / door J.E. Heeres.

De Oost-Indische Compagnie : ter herinnering, 20 maart 1602 / door J.E. Heeres.
Paper図書
M. Nijhoff1902.<特17-0659>
National Diet Library

Belang en minderwaardigheid : rede uitgesproken bij de aanvaarding van het hoogleeraarsambt aan de Rijks-Universiteit te Leiden den 1sten october 1902 / door J.E. Heeres.

Belang en minderwaardigheid : rede uitgesproken bij de aanvaarding van het hoogleeraarsambt aan de Rijks-Universiteit te Leiden den 1sten october 1902 / door J.E. Heeres.
Paper図書
E.J. Brill1902.<GE523-A51>
National Diet Library

De Consideratiën van van Imhoff

De Consideratiën van van Imhoff
Paper図書
door Mr. J. E. HeeresM. Nijhoff1912
Other Libraries in Japan

Discussiën naar aanleiding van de voordracht "Onze zeemacht"

Discussiën naar aanleiding van de voordracht "Onze zeemacht"
Paper図書
door den Heer J. van der ElstM. van der Beek1907
Other Libraries in Japan

Corpus diplomaticum Neerlando-Indicum : verzameling van Politieke contracten en verdere Verdragen door de Nederlanders in het Oosten gesloten, van Privilegebrieven, aan hen verleend, enz.

Corpus diplomaticum Neerlando-Indicum : verzameling van Politieke contracten en verdere Verdragen door de Nederlanders in het Oosten gesloten, van Privilegebrieven, aan hen verleend, enz.
Paper図書
uitgegeven en toegericht door J.E. HeeresM. Nijhoff1907-
Other Libraries in Japan

De Cost-Indische Compagnie : ter herinnering

De Cost-Indische Compagnie : ter herinnering
Paper図書
J.E. HeeresM. Nijhoff1902
Other Libraries in Japan

Het Aandeel der Nederlanders in de Ontdekking van Australië, 1606-1765 = The part borne by the Dutch in the discovery of Australia, 1606-1765

Het Aandeel der Nederlanders in de Ontdekking van Australië, 1606-1765 = The part borne by the Dutch in the discovery of Australia, 1606-1765
Paper図書
by J.E. HeeresBrill1899
Other Libraries in Japan

Bouwstoffen voor de geschiedenis der Nederlanders in den Maleischen Archipel

Bouwstoffen voor de geschiedenis der Nederlanders in den Maleischen Archipel
Paper図書
uitgegeven en toegelicht door P. A. TieleMartinus Nijhoff1886-1895
Other Libraries in Japan
RSS