登入選單
Google圖書搜尋
出版社 : Universitetet i Oslo. Institute of Informatics總數: gridview
Guaranteeing Liveness
作者
Universitetet i Oslo. Institute for Informatics / N. Soundararajan / S. Gadkari
出版1991
ISBN
8273680649 / 9788273680648
主題
Network analysis (Planning)
Computers and Language at Work: the Relevance of L...
作者
Universitetet i Oslo. Institute for Informatics
出版1989
ISBN
8273680304 / 9788273680303
主題
Programming languages (Electronic computers)
The Application Perspective is a Frame for Underst...
作者
G. Bjerknes / T. Bratteteig
出版1986
ISBN
8290230974 / 9788290230970
主題
Operating systems (Computers)
Entry to the FIRE Project
作者
Universitetet i Oslo. Institute for Informatics / Kristin Braa / T. Bratteteig / J. Kaasboll / L. Ogrim
出版1992
ISBN
OCLC:33258484
主題
Software engineering
An efficient implementation of Simula classes with...
作者
S. Krogdahl
出版1984
ISBN
8290230826 / 9788290230826
Empirical Studies of Software Maintenance
作者
Universitetet i Oslo. Institute for Informatics / Magne Jorgensen
出版1994
ISBN
8273680983 / 9788273680983
主題
Software engineering
Monitors Revisited
作者
Universitetet i Oslo. Institute for Informatics / O.-J. Dahl
出版1993
ISBN
8273680843 / 9788273680846
主題
Structured programming
Information Processes Vs. Data Processes
作者
Jens Kaasbøll
出版1985
ISBN
8290230907 / 9788290230901
主題
Business
Revised Report on the Programming and Specificatio...
作者
Dag F. Langmyhr / Olaf Owe
出版1978
ISBN
8290230338 / 9788290230338
An Approach to Program Reasoning Based on a First ...
作者
O. Owe
出版1985
ISBN
8290230885 / 9788290230888
主題
Abstract data types (Computer science)
An Axiomatic Semantics of Concurrent Processes and...
作者
S. Gjessing
出版1985
ISBN
8290230958 / 9788290230956
主題
Parallel processing (Electronic computers)
Axiomatic Treatment of Processes with Shared Varia...
作者
Universitetet i Oslo. Institute for Informatics / O. Owe
出版1990
ISBN
8273680460 / 9788273680464
主題
Reasoning
Formal Specification and Verification of SCI Cache...
作者
Universitetet i Oslo. Institute for Informatics / S. Gjessing / S. Krogdahl / E. Munthe-Kaas
出版1989
ISBN
OCLC:123328564