登入選單
Google圖書搜尋
出版社 : Swedish Institute of Computer Science (SICS)總數: gridview
GCLA
作者
Martin Aronsson
出版1993
ISBN
UCAL:B5037872
主題
Horn clauses
Tele
出版1992
ISBN
MINN:31951P005197594
主題
Telecommunication
Swedish Institute of Computer Science (SICS), Info...
ISBN
OCLC:44309704
Strategic Research Programme
作者
Swedish Institute of Computer Science
出版1995
ISBN
OCLC:187018724
The Swedish Core Language Engine
作者
Björn Gambäck / Manny Rayner / Swedish Institute of Computer Science
出版1992
ISBN
OCLC:186590450
主題
Computational linguistics
On the Verification of Open Distributed Systems
作者
Mads Dam / Lars-Åke Fredlund
出版1997
ISBN
OCLC:186063291
A Learning System for Fault Finding
作者
Swedish Institute of Computer Science / A. Tunevi
出版1989
ISBN
OCLC:123322394
Structural and Behavioural Equivalences of Network...
作者
Swedish Institute of Computer Science / J. Parrow
出版1990
ISBN
OCLC:27373134
主題
Computer networks
A Bibliography on Sketches from the Computer Scien...
作者
O. Permvall / Swedish Institute of Computer Science
出版1991
ISBN
OCLC:186058026
主題
Categories (Mathematics)
A Framework for Diagnosis and Remedial Feedback
作者
Lila Ghemri / Swedish Institute of Computer Science
出版1991
ISBN
OCLC:186440767
主題
Cognitive learning
On Adaptable Support for Cooperative Work
作者
Mads Dam
出版1994
ISBN
OCLC:186941453
Generating AND-parallel Execution Expressions
作者
Swedish Institute of Computer Science / A. Thomas Sjöland
出版1990
ISBN
OCLC:27373114
主題
Logic programming
A Compact Intermediate Format for SIMICS
作者
Peter Magnusson / David Samuelsson
出版1994
ISBN
OCLC:186941521
A Logic for Reasoning about Time and Reliability
作者
Swedish Institute of Computer Science / H. Hansson / B. Jonsson
出版1990
ISBN
OCLC:27373123
主題
Logic, Symbolic and mathematical
Knowledge Structures, Strategies and Learning Proc...
作者
Swedish Institute of Computer Science / A. Tunevi
出版1989
ISBN
OCLC:123322395
Implementation of a Verification Method to Communi...
作者
Swedish Institute of Computer Science / A. H. Khan
出版1989
ISBN
OCLC:123322397
Kernel Andorra Prolog and Its Computational Model
作者
Swedish Institute of Computer Science / S. Haridi / S. Janson
出版1990
ISBN
OCLC:123327787
EWAM: an Extension of WAM to Execute Functional Pr...
作者
Swedish Institute of Computer Science / P. Kreuger
出版1989
ISBN
OCLC:123324758
Compositional Specification and Verification of Di...
作者
Swedish Institute of Computer Science / B. Jonsson
出版1990
ISBN
OCLC:27373102
主題
Computer programs
SimGen
作者
Fredrik Larsson / Peter Magnusson / Bengt Werner
出版1997
ISBN
OCLC:186063264
Computer Aided Hardware Design by Space-time Mappi...
作者
Swedish Institute of Computer Science / A. Avatare
出版1989
ISBN
OCLC:123331709
Methodology and Programming Techniques in GCLA II
作者
Martin Aronsson / Swedish Institute of Computer Science
出版1992
ISBN
OCLC:33260874
主題
Artificial intelligence
Computer Network Security
作者
Bengt Ahlgren
出版1992
ISBN
OCLC:186463957
Informal and Formal Constructive Mathematics
作者
Clas Löfwall / Gunnar Sjödin
出版1997
ISBN
OCLC:186063208
Performance of Muse on Switch-based Multiprocessor...
作者
Khayri A. M. Ali / Roland Karlsson / Shyam Mudambi / Swedish Institute of Computer Science
出版1992
ISBN
OCLC:34909073
主題
Multiprocessors
SICS Protocol Implementation Measurement System
作者
E. Nordmark
出版1989
ISBN
OCLC:897681315
Lexical Acquisition
作者
Björn Gambäck / Swedish Institute of Computer Science
出版1992
ISBN
OCLC:34909060
主題
Computational linguistics
Implementing LOTOS as Asynchronously Communicating...
作者
Swedish Institute of Computer Science / Peter Sjödin
出版1990
ISBN
OCLC:37893406
主題
Machine theory
Preparation and Analysis of Multiple Source Indust...
作者
Daniel Gillblad / Swedish Institute of Computer Science
出版2005
ISBN
OCLC:185471928
The Aurora Or-parallel Prolog System
作者
Swedish Institute of Computer Science / E. Lusk / D. H. D. Warren / S. Haridi / R. Butler / T. Disz / R. Olson / R. Overbeek / R. Stevens / A. Calderwood / P. Szeredi / P. Brand / M. Carlsson / A. Ciepielewski / B. Hausman
出版1989
ISBN
OCLC:123325498