Jump to main content

yr 〜
yr

Search results 5

Formal techniques in real-time and fault-tolerant systems : 4th International symposium : Sep 1996, Uppsala, Sweden. (Lecture Notes in Computer Science ; 1135)

Formal techniques in real-time and fault-tolerant systems : 4th International symposium : Sep 1996, Uppsala, Sweden. (Lecture Notes in Computer Science ; 1135)
Paper図書
Springer1996.<M17-00-0374>
National Diet Library
  • Author HeadingUppsala University. Swedish Institute of Computer Science. Royal Institute of Technology...

AKL, a multiparadigm programming language : based on a concurrent constraint framework

AKL, a multiparadigm programming language : based on a concurrent constraint framework
Paper図書
by Sverker JansonComputing Science Dept., Uppsala University1994
Other Libraries in Japan

Design and implementation of an Or-parallel Prolog engine

Design and implementation of an Or-parallel Prolog engine
Paper図書
by Mats CarlssonThe Royal Institute of Technology (KTH), Department of Telecommunication and Computer Systems1990
Other Libraries in Japan

Proceedings of the International Conference on Dublin Core and Metadata Applications 2001 : DC-2001 Dublin Core and Metadata Applications 2001 : National Institute of Informatics October 24-26, 2001・Tokyo, Japan

Proceedings of the International Conference on Dublin Core and Metadata Applications 2001 : DC-2001 Dublin Core and Metadata Applications 2001 : National Institute of Informatics October 24-26, 2001・Tokyo, Japan
Paper図書
organized by: National Institute of Informatics [et al.]National Institute of Informatics2001.10<M18-B749>
National Diet Library

SICS dissertation series

SICS dissertation series
Paper図書
Swedish Institute of Computer Science
Other Libraries in Japan

Reached to the end of result.

RSS