Polo SBN
Biblioteca Universitaria di Pisa
IT
EN
Help
Toggle navigation
Ricerca libera
Ricerca avanzata
Libro antico
Liste
Voci di autoritÃ
Ricerche effettuate
Preferiti
Periodici digitalizzati
Informazioni
Home
Risultati sintetici 11 : 20 (33)
Ricerca:
Titoli collegati = Pisa.
»
Anno di pubblicazione = 1991
» Lingua = inglese
Risultati:
11
-
20
di
33
Ordina per:
Titolo
Autore
Data (Ascendente)
Data (Discendente)
Max documenti :
10
20
30
50
|«
|
«
|
1
|
2
|
3
|
4
|
»
|
»|
Visualizza selezionati
Visualizza Tutti
Stampa
mail
11.
Apt, Krzysztof R. <1949->
Reasoning about termination of prolog programs / K. R. Apt, D. Pedreschi
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008399]
Rimuovi da preferiti
Aggiungi a preferiti
12.
Gruska, Damas P.
A timed process description language based on CCS / D. P. Gruska, A. Maggiolo-Schettini
Pisa: Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008392]
Rimuovi da preferiti
Aggiungi a preferiti
13.
Bertossi, A. A.
Scheduling algorithms for fault-tolerance in hard-real-time systems / A. A. Bertossi, L. V. Mancini
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008401]
Rimuovi da preferiti
Aggiungi a preferiti
14.
Bertossi, A. A.
Fault-tolerant task scheduling in multiprocessor systems / A. A. Bertossi, L. V. Mancini
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008402]
Rimuovi da preferiti
Aggiungi a preferiti
15.
Contributions to the semantics of open logic programs / A. Bossi ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008403]
Rimuovi da preferiti
Aggiungi a preferiti
16.
Pallottino, Stefano
Strongly polynomial auction algorithms for shortest paths / Stefano Pallottino, Maria Grazia Scutella
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008406]
Rimuovi da preferiti
Aggiungi a preferiti
17.
Alpuente, Maria
Incremental constraint satisfaction for equational logic programming / M. Alpuente, M. Falaschi, G. Levi
Pisa ; Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008407]
Rimuovi da preferiti
Aggiungi a preferiti
18.
A methodology for the development and the support of massively parallel programs / M. Danelutto ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008412]
Rimuovi da preferiti
Aggiungi a preferiti
19.
Danelutto, Marco
TLwT : a temporal logic for concurrent programs / M. Danelutto, A. Masini
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008414]
Rimuovi da preferiti
Aggiungi a preferiti
20.
Gabbrielli, Maurizio
Modeling answer constraints in constraint logic programs / M. Gabbrielli, G. Levi
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008380]
Rimuovi da preferiti
Aggiungi a preferiti
Filtri
Livello bibliografico
monografia
(33)
Tipo di materiale
testo a stampa
(33)
Biblioteca
Biblioteca universitaria di Pisa
(33)
Autore
levi, giorgio <1942- >
(5)
bertossi, a. a.
(3)
gabbrielli, maurizio
(3)
luccio, fabrizio
(3)
mancini, luigi v.
(3)
»
Soggetto
elaboratori elettronici - programmi - controllo di qualita i
(1)
Collezione
universita di pisa
(28)
tr
(27)
universita degli studi di pisa, dipartimento di informatica
(27)
del dipartimento di informatica della universita degli studi di pisa
(1)
scientific monograph sm
(1)
Luogo di pubblicazione
pisa
(30)
[s.l.]
(2)
pisa: universita degli studi, dipartimento di informatica
(1)
s.n.
(1)
universita degli studi, dipartimento di informatica
(1)
»
Editore
universita degli studi, dipartimento di informatica
(25)
ets
(2)
[s.n.]
(1)
dipartimento di informatica
(1)
istituto di linguistica computazionale
(1)
Anno di pubblicazione
1991
(33)
Lingua
inglese
(33)
italiano
(1)
Paese
italia
(33)
Visualizza selezionati
Visualizza Tutti
Stampa
mail