登入選單
Google圖書搜尋
Euro-Par '95
作者
Seif Haridi / Khayri Ali / Peter Magnusson
出版2014-01-15
ISBN
3662192284 / 9783662192283
Concepts, Techniques, and Models of Computer Progr...
作者
Peter Van Roy / Seif Haridi
出版MIT Press, 2004-02-20
ISBN
9780262220699 / 0262220695
主題
Computers
OR-parallel Prolog Made Efficient on Shared Memory...
作者
Bogumil Hausman / Andrzej Ciepielewski / Seif Haridi / Swedish Institute of Computer Science
出版1987
ISBN
OCLC:186541497
Global Garbage Collection for Distributed Heap Sto...
作者
International Business Machines Corporation. Research Division / K. M. Ali / Seif Haridi
出版1985
ISBN
OCLC:16953854
主題
Algorithms
Global Garbage Collection for Distributed Heap Sto...
作者
Swedish Institute of Computer Science / K. A. M. Ali / S. Haridi
出版1987
ISBN
OCLC:123328124
OR-parallel Prolog Made Efficient on Shard Memory ...
作者
Bogumil Hausman / Andrzej Ciepielewski / Seif Haridi
出版1987
ISBN
OCLC:1478026443
The Use of SIMON in Multiprocess Based Programs
作者
Seif Haridi
出版1978
ISBN
OCLC:186879702
Programming Paradigms of the Andorra Kernel Langua...
作者
Swedish Institute of Computer Science / S. Janson / Seif Haridi
出版1991
ISBN
OCLC:25601226
主題
Logic programming
Execution of Bagof on the OR-parallel Token Machin...
作者
Andrzej Ciepielewski / Seif Haridi
出版1984
ISBN
OCLC:475956263
Atomic Ring Maintenance for Distributed Hash Table...
作者
Ali Ghodsi / Seif Haridi / Swedish Institute of Computer Science
出版2007
ISBN
OCLC:466633958
Kernel Andorra Prolog and Its Computational Model
作者
Swedish Institute of Computer Science / S. Haridi / S. Janson
出版1990
ISBN
OCLC:123327787
Logic Programming Based on a Natural Deduction Sys...
作者
Seif Haridi
出版1981
ISBN
OCLC:186906630
Control of Activities in the OR-parallel Token Mac...
作者
Andrzej Ciepielewski / Seif Haridi
出版1984
ISBN
OCLC:475956272
Kernel Andorra Prolog and Its Computation Model
作者
Seif Haridi
出版1990
ISBN
OCLC:23270766
主題
Logic programming
A Framework for Structured Peer-to-peer Overlay Ne...
作者
Luc Onana Alima / Ali Ghodsi / Seif Haridi / Swedish Institute of Computer Science
出版2004
ISBN
OCLC:185186578
An Abstact Machine for LPLO Part 1 and Part 2$h
作者
Seif Haridi / Dan Sahlin
出版1984
ISBN
OCLC:1289324963
An Or-parallel Token Machine
作者
Seif Haridi / Andrzej Ciepielewski
出版1983
ISBN
OCLC:475969591
A Symmetric Replication Scheme for Increased Secur...
出版2004
ISBN
OCLC:936684146
EURO-PAR '95: Parallel Processing
作者
Seif Haridi / Khayri Ali / Peter Magnusson
出版Springer, 1995-08-16
ISBN
354060247X / 9783540602477
主題
Computers
Garbage Collection for Prolog Based on WAM.
作者
Swedish Institute of Computer Science / Thomas J. Watson IBM Research Center / K. Appleby / S. Haridi / D. Sahlin
出版1986
ISBN
OCLC:123328118
主題
Algorithms
EQUALOG: an Experimental Prolog-based Equation Sol...
作者
International Business Machines Corporation. Research Division / P. B. Sheridan / Seif Haridi / D. Sahlin
出版1988
ISBN
OCLC:18418591
主題
Interpreters (Computer programs)
OR-parallel Prolog Made Efficient on Shared Memory...
作者
Bogumil Hausman / Andrzej Ciepielewski / Swedish Institute of Computer Science / Seif Haridi
出版1987
ISBN
OCLC:20144944
主題
Multiprocessors
Garbage Collpection for Prolog Based on WAM
作者
Karen Appleby / Mats Carlsson / Seif Haridi
出版1986
ISBN
OCLC:1477883395
An Intuitionistic Predicate Logic Theorem Prover
作者
D. Sahlin / Torkel Franzén / Swedish Institute of Computer Science / Seif Haridi
出版1989
ISBN
OCLC:20947745
主題
Automatic theorem proving
ForestCast
作者
Ali Ghodsi / Seif Haridi / Swedish Institute of Computer Science
出版2007
ISBN
OCLC:466633971
An Abstract Machine for LPLO. Part I and
作者
Kungl. Tekniska högskolan. Department of Telecommunication and Computer Systems. Computer Systems Architecture Laboratory / S. Haridi / D. Sahlin
出版1984
ISBN
OCLC:123315688
The Cache Coherence Protocol of the Data Diffusion...
作者
Erik Hagersten / Swedish Institute of Computer Science / Seif Haridi
出版1989
ISBN
OCLC:20947751
主題
Multiprocessors
An Executable Specification of Equality Theorem Pr...
作者
International Business Machines Corporation. Research Division / Seif Haridi / P. B. Sheridan / E. P. Stabler (Jr) / D. W. L. Teeple
出版1986
ISBN
OCLC:15496919
主題
Logic, Symbolic and mathematical
Concepts, Techiques, and Models of Computer Progra...
出版2004
ISBN
958816270X / 9789588162706
EURO-PAR '95 parllel processing
作者
Seif Haridi / Khayri Ali
出版1995
ISBN
OCLC:878756195