登入選單
Google圖書搜尋
Implementation Conditions for Delay Insensitive Ci...
作者
Anders Gammelgaard / Flemming Nielson / Aarhus Universitet. Det naturvidenskabelige fakultet
出版1991
ISBN
OCLC:873952733
On Course for Adventure
作者
Flemming Nielsen
出版iUniverse, 2011-03-23
ISBN
9781462000173 / 1462000177
主題
Biography & Autobiography
Principles of Program Analysis
作者
Flemming Nielson / Hanne R. Nielson / Chris Hankin
出版Springer Science & Business Media, 2004-12-10
ISBN
3540654100 / 9783540654100
主題
Computers
Abstract Interpretation
作者
Neil D. Jones / Flemming Nielson
出版1993
ISBN
OCLC:246111790
主題
Computer programming
מדידות חום סגולי ב-ASO4 ...CSH2
出版1973
ISBN
OCLC:762350938
Type And Effect Systems: Behaviours For Concurrenc...
作者
Torben Amtoft / Hanne Riis Nielson / Flemming Nielson
出版World Scientific, 1999-03-12
ISBN
9781783262113 / 1783262117
主題
Computers
The Tragedy in History
作者
Flemming A. J. Nielsen
出版Bloomsbury Publishing, 1997-11-01
ISBN
9780567187031 / 0567187039
主題
Religion
DAIMI PB.
作者
Flemming Nielson
出版1981
ISBN
OCLC:912832946
Formal Methods
作者
Flemming Nielson / Hanne Riis Nielson
出版Springer, 2019-07-16
ISBN
9783030051563 / 3030051560
主題
Computers
Semantic foundations of data flow analysis
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / F. Nielson
出版1981
ISBN
OCLC:22266730
主題
Programming languages (Electronic computers)
Strictness Analysis and Denotational Abstract Inte...
作者
Flemming Nielson
出版1986
ISBN
OCLC:475862520
A denotational framework for data flow analysis
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / F. Nielson
出版1981
ISBN
OCLC:15790656
主題
Programming languages (Electronic computers)
Strictness Analysis and Detonational Abstract Inte...
作者
Flemming Nielson
出版1986
ISBN
OCLC:471537404
ML with Concurrency
作者
Flemming Nielson
出版Springer Science & Business Media, 1997
ISBN
0387948759 / 9780387948751
主題
Computers
Tensor Products Generalize the Relational Data Flo...
作者
Flemming Nielson
出版1985
ISBN
OCLC:473897952
R
作者
Flemming Nielson
出版1986
ISBN
OCLC:912877967
Semantics with Applications: An Appetizer
作者
Hanne Riis Nielson / Flemming Nielson
出版Springer Science & Business Media, 2007-04-18
ISBN
9781846286926 / 1846286921
主題
Computers
Two-Level Functional Languages
作者
Flemming Nielson / Hanne Riis Nielson
出版Cambridge University Press, 1992-07-16
ISBN
9780521403849 / 0521403847
主題
Computers
DAIMI PB.
出版1998
ISBN
OCLC:935759125
DAIMI PB.
作者
Flemming Nielson
出版1981
ISBN
OCLC:912744061
Teoretiske Aspekter Af Semantik-baseret Sprog-impl...
作者
Flemming Nielson
出版1990
ISBN
OCLC:246748794
主題
Programming languages (Electronic computers)
Design, Analysis and Reasoning about Tools: Abstra...
作者
Aarhus universitet. Regionale EDB-center / Flemming Nielson
出版1992
ISBN
OCLC:27095513
主題
Computer programming
Two-level Semantics and Code Generation
作者
Aalborg Universitetscenter. Institut for Elektroniske Systemer / F. Nielson / H. R. Nielson
出版1987
ISBN
OCLC:19103214
主題
Coding theory
R
作者
Flemming Nielson
出版1985
ISBN
OCLC:912769734
DAIMI PB.
出版1994
ISBN
OCLC:912564852
Finiteness Conditions for Strictness Analysis
作者
Flemming Nielson / Hanne Riis Nielson
出版1993
ISBN
OCLC:257785532
Strictness and Totality Analysis
作者
Kirsten Lackner Solberg / Hanne Riis Nielson / Flemming Nielson
出版1994
ISBN
OCLC:475781085
Interprocedural Control Flow Analysis (extended Ve...
作者
Flemming Nielson / Hanne Riis Nielson
出版1998
ISBN
OCLC:51715232
Principles of Security and Trust
作者
David Sands / Flemming Nielson
出版2020-10-08
ISBN
1013271297 / 9781013271298
主題
Computers
Semantics with Applications
作者
Hanne Riis Nielson / Flemming Nielson
出版1996
ISBN
OCLC:475760198