Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 11 : 20 (33)

Ricerca: Titoli collegati = Pisa. » Anno di pubblicazione = 1991 » Lingua = inglese
Risultati: 11-20 di 33
 
|« | « | 1|2 |3|4| » | »|
 
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
Filtri
  • Livello bibliografico
    • monografia (33)
  • Tipo di materiale
    • testo a stampa (33)
  • Biblioteca
    • Biblioteca universitaria di Pisa (33)
  • Autore
  • Soggetto
  • Collezione
  • Luogo di pubblicazione
  • Editore
  • Anno di pubblicazione
    • 1991 (33)
  • Lingua
  • Paese
    • italia (33)
|« | « | 1|2 |3|4| » | »|
Risultati: 11-20 di 33