Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	006.33 Sei f
Collection Type	Indeks Artikel LNCS
Title	Abstract state machines: an overview of the project, (LNCS-Lecture Notes in Computer Science 2942)Hal. 6-13
Author	Yuri Gurevich;
Publisher	Springer, 2004
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
006.33 Sei f		TERSEDIA

Tidak ada review pada koleksi ini: 40616

This is an extended abstract of an invited talk at the third International symposium on foundations of information and knowledge systems to be held in Vienna. Austria, in February 2004. We quickly survey the ASM project, from its foundational roots to industrial applications

Latest Collection

SATELIT-SATELIT AMATEUR RADIO YANG MENGGUNAKAN SISTEM DIGITAL

Type: Indeks Artikel prosiding/Sem

CAKAR JAYA (CATUR KARSA JALA RAYA)

Type: Indeks Artikel prosiding/Sem

UPGRADING OF RADIO TRANSMISSION LINKS OF THE JASIPAKTA NETWORK

Type: Indeks Artikel prosiding/Sem

STATUS JASIPAKTA DAN MANFAATNYA SAAT INI

Type: Indeks Artikel prosiding/Sem

SUPPLYING COMMUNICATIONS FOR THE DEVELOPING WORLD: SOME THOUGHTS ON THE PROBLEM OF INFORMATION IN DEVELOPING COUNTRIES

Type: Indeks Artikel prosiding/Sem

PEMANFAATAN PROTOKOL SMTP UNTUK PENGIRIMAN DATA MULTIMEDIA PADA SISTEM JARINGAN KOMPUTER PAKET DATA

Type: Indeks Artikel prosiding/Sem

THE IMPLEMENTATION OF PACKET RADIO WIDE AREA NETWORK IN INDONESIA

Type: Indeks Artikel prosiding/Sem

DEVELOPMENT OF BANDUNG PACKET RADIO NETWORK

Type: Indeks Artikel prosiding/Sem

JARINGAN KOMPUTER UNTUK KEPERLUAN LINGKUNGAN INDUSTRI

Type: Indeks Artikel prosiding/Sem

A Satellite Interconnect System for Internetworking of local and Regional Networks

Type: Indeks Artikel prosiding/Sem

Favorite