CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 84
Titolo Data di pubblicazione Autore(i) File
A Prolog environment within the Unix operating system 1-gen-1987 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A general model for an Abstract Prolog Machine 1-gen-1988 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Variables' lifetime, mode declarations and clause indexing in Prolog implementations 1-gen-1988 Domenici, Andrea; Lazzerini, Beatrice
Unificazione in Prolog: costi e valutazioni 1-gen-1988 Domenici, Andrea; Lazzerini, Beatrice
An abstract Prolog machine Vol. 11, No. 2, pp. 31-37 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Debugging logic programs at the implementation level 1-gen-1989 Domenici, Andrea
Compiling Prolog with a C compiler 1-gen-1989 Domenici, Andrea
A Synthetic trace generator for multiprocessor performance evaluation 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
An abstract Prolog machine 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A protocol for resource locking and deadlock detection in a multi-user environment 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
A protocol for resource locking and deadlock detection in a multi-user environment 1-gen-1989 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Introduction to Prolog computation model and its implementation 1-gen-1990 Domenici, Andrea; Lazzerini, Beatrice; Prete, COSIMO ANTONIO
Strumenti per lo studio di reti di Petri basati sulla programmazione logica 1-gen-1990 Domenici, Andrea
Petri nets in logic 1-gen-1990 Domenici, Andrea
Macchina Astratta di Warren e compilatore Prolog 1-gen-1993 Domenici, Andrea; Prete, COSIMO ANTONIO
Gondor: Goedel on Andorra 1-gen-1993 Domenici, Andrea
Introduzione alla programmazione ed elementi di strutture dati con il linguaggio C++ 1-gen-1996 Domenici, Andrea; Frosini, Graziano
The DASE Design Environment for Distributed Real-Time Analysis 1-gen-1999 M., DI NATALE; Domenici, Andrea; P., Ancilotti
Object-Oriented Thinking for the Internet 1-gen-1999 Domenici, Andrea
The DASE Tool: An Environment for the Development of Real-Time Applications 1-gen-1999 M., DI NATALE; Domenici, Andrea
Mostra risultati da 1 a 20 di 84
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile