登入選單
Google圖書搜尋
出版社 : Aarhus Universitet. Department of Computer Science總數: gridview
Aarhus University
作者
Aarhus universitet
出版1992
ISBN
MINN:31951P001724864
Wiring Prometheus
作者
Peter J. Lyth / Helmuth Trischler
出版2004
ISBN
UCSC:32106017776086
主題
Business & Economics
Readm̲e
作者
Olga Goriunova / Alexei Shulgin
出版Aarhus University Press, 2004
ISBN
UOM:39015062845105
主題
Art
Inventing the Future
作者
Ib Johansen / Peter Rønnov-Jessen
出版1985
ISBN
STANFORD:36105040652641
主題
Kulturhistorie
Computer science in China
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / Sven Meiborg Sorensen
出版1978
ISBN
OCLC:4751825
主題
Computer industry
An investigation into different semantic approache...
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / K. Jensen
出版1976
ISBN
OCLC:257811111
The meaning of logical programs
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / B. H. Mayoh
出版1980
ISBN
OCLC:257888409
Sharing of Computations
作者
Aarhus Universitet. Regionale EDB-center / Torben Amtoft
出版1993
ISBN
OCLC:123337813
Verification of Pointers
作者
Aarhus Universitet. Regionale EDB-center / Nils Klarlund / Michael I. Schwartzbach
出版1994
ISBN
OCLC:123337836
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)
Systems development and trade union activities
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / M. Kyng / L. Mathiassen
出版1979
ISBN
OCLC:252695507
Parallelism in ADA: program design and meaning
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / B. Mayoh
出版1979
ISBN
OCLC:476017731
Firmware development systems
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / P. Kornerup
出版1980
ISBN
OCLC:476003978
On Type Definitions with Parameters
作者
M. Solomon / Aarhus universitet. Regionale EDB-center. Centre for Basic Research in Computer Science
出版1975
ISBN
OCLC:257872230
Annotated Type Systems for Program Analysis
作者
Aarhus Universitet. Regionale EDB-center / Kirsten Lackner Solberg
出版1995
ISBN
OCLC:123339717
Program Development on Graphical Workstations
作者
Aarhus Universitet. Regionale EDB-center / K. Normark
出版1984
ISBN
OCLC:123327384
Analysis of concurrent algorithms
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / J. Staunstrup
出版1981
ISBN
OCLC:257889377
A petri net definition of a system description lan...
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / K. Jensen / M. Kyng / O. L. Madsen
出版1979
ISBN
OCLC:473961846
Engaging the Citizens Through Collaborative, Mobil...
作者
Morten Bohøj
出版2011
ISBN
OCLC:782900138
Participants' Proceedings of the Workshop Types fo...
作者
Aarhus Universitet. Regionale EDB-center
出版1995
ISBN
OCLC:123339710
High Level Efficiency in Database Languages
作者
Aarhus Universitet. Regionale EDB-center / Kim S. Larsen
出版1993
ISBN
OCLC:123337800
Type and Behaviour Reconstruction for Higher-order...
作者
Aarhus Universitet. Regionale EDB-center / Torben Amtoft / Flemming Nielson / Hanne Riis Nielson
出版1995
ISBN
OCLC:123339715
Galleries and Institutions
作者
Aarhus Universitet. Regionale EDB-center / Brian H. Mayoh
出版1985
ISBN
OCLC:18318627
主題
Artificial intelligence
On the Finitary Bisimulation
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / Luca Aceto / Anna Ingolfsdottir
出版1995
ISBN
OCLC:123340258
Epsilon: a System Description Language
作者
Aarhus Universitet. Regionale EDB-center / K. Jensen / M. Kyng
出版1982
ISBN
OCLC:123317196
High-level Petri Nets
作者
Aarhus Universitet. Regionale EDB-center / K. Jensen
出版1982
ISBN
OCLC:123317198
Event Structure Semantics for CCS and Related Lang...
作者
Aarhus Universitet. Regionale EDB-center / G. Winskel
出版1983
ISBN
OCLC:123317204
Concurrent program schemes and their interpretatio...
作者
Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science / A. Mazurkiewicz
出版1977
ISBN
OCLC:257880256
Program Models: Meaning and Proof
作者
Aarhus Universitet. Regionale EDB-center / B. H. Mayoh
出版1983
ISBN
OCLC:123317203
Design, Analysis and Reasoning about Tools: Abstra...
作者
Aarhus universitet. Regionale EDB-center / Flemming Nielson
出版1992
ISBN
OCLC:27095513
主題
Computer programming