登入選單
Google圖書搜尋
Some a without explicit pointers
作者
Bengt Nordström
出版1978
ISBN
OCLC:257042307
An introduction to Martin-Löf's type theory
作者
Bengt Nordström
出版1986
ISBN
OCLC:1023317759
Some Concepts for Very High Level Languages Withou...
作者
Bengt Nordström
出版1978
ISBN
OCLC:186634597
Lisa - an Experimental Language with Simple Formal...
作者
Bengt Nordström
出版1978
ISBN
OCLC:185182835
Advances in Natural Language Processing
作者
Aarne Ranta / Bengt Nordström
出版Springer, 2008-08-28
ISBN
9783540852872 / 3540852875
主題
Computers
The Semantics of Module Specifications in Martin-L...
作者
Bengt Nordström / Kent Petersson
出版1987
ISBN
OCLC:254019971
Dynamic Texts in Fortran
作者
Bengt Nordström
出版1975
ISBN
OCLC:185182729
Types for Proofs and Programs
作者
Peter Dybjer / Bengt Nordström / Jan Smith
出版Springer Science & Business Media, 1995-10-18
ISBN
3540605797 / 9783540605799
主題
Computers
Terminating General Recursion
作者
Bengt Nordström
出版1988
ISBN
OCLC:185831971
主題
Recursion theory
Types and Specifications
作者
Bengt Nordström / Kent Petersson
出版1983
ISBN
OCLC:186377707
Assignments and High Level Data Types
作者
Bengt Nordström
出版1976
ISBN
OCLC:479078947
Martin-Löf's Type Theory as a Programming Logic
作者
Bengt Nordström
出版1986
ISBN
OCLC:17810009
主題
Mathematics
Influence on Sheet Anisotropy, Formation, Z-toughn...
作者
Bengt Nordström / Bo Norman
出版1993
ISBN
OCLC:186559984
Propositions and Specifications of Programs in Mar...
作者
Bengt Nordström / Jan Smith
出版1984
ISBN
OCLC:185417517
Description of a Simple Programming Language
作者
Bengt Nordström
出版1984
ISBN
OCLC:185499801
Programming in Martin-Löf's Type Theory
作者
Bengt Nordström / Kent Petersson / Jan M. Smith
出版Oxford University Press, USA, 1990
ISBN
UOM:39015018505134
主題
Computers
Programming with Abstract Data Types
作者
Bengt Nordström
出版1978
ISBN
OCLC:185182840
An Experiment with an Interactive Program Developm...
作者
Bengt Nordström / Åke Wikström
出版1980
ISBN
OCLC:185195016
Programming with Abstracts Data Types
作者
Bengt Nordström
出版1978
ISBN
OCLC:313558417
Two Parts of Preprocessor that Translates ANSI-FOR...
作者
Bengt Nordström
出版1973
ISBN
OCLC:931080930
Types for Proofs and Programs
出版1995
ISBN
OCLC:964312032
TYPES FOR PROOFS AND PROGRAMS
作者
Peter Dybjer / Bengt Nordstrom
出版1995
ISBN
OCLC:878758070
Effects of Headbox Design and Dewatering Condition...
作者
Bengt Nordström
出版1995
ISBN
OCLC:186774225
主題
Doktorsavhandlingar
Access to and Use of Video and Foreign TV Channels...
作者
Anders Gahlin / Bengt Nordström
出版1988
ISBN
OCLC:27762313
主題
Direct broadcast satellite television
Types for Proofs and Programs
出版1995
ISBN
OCLC:964312032
The Galaxy Disk in Cosmological Context (IAU S254)
作者
International Astronomical Union. Symposium / Bengt Strömgren
出版Cambridge University Press, 2009-04-16
ISBN
0521889855 / 9780521889858
主題
Science
Bengt-Rune Nordström
作者
Bengt-Rune Nordström / Galerie Æsthetica
出版1958
ISBN
OCLC:185273809
Energy and Economic Adjustment
作者
Lars Bergman / Karl-Göran Mäler / Tomas Nordström
出版Coronet Books Incorporated, 1983-01-01
ISBN
9172041862 / 9789172041868
主題
Energy policy
The Structure of the ISAC Model
作者
Leif Jansson / Tomas Nordström / Bengt-Christer Ysander
出版1981
ISBN
OCLC:937124825
Gerhard Nordström
作者
Bengt Olvång / Lunds konsthall
出版1995
ISBN
9188846008 / 9789188846006