Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 1 : 10 (89)

Ricerca: Collezione = studi » Luogo di pubblicazione = pisa » Editore = universita degli studi, dipartimento di informatica
Risultati: 1-10 di 89
 
| | 1 |2|3|4|5| » | »|
 
Antonelli, Silvano <matematico>
On the complexity of the mapping problem for massively parallel architectures /S. Antonelli, S. Pelagiotti
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008383]
Nguyen, Sang
Ipercammini attivi in reti di trasporto / S. Nguyen, S. Pallottino
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008385]
Brogi, Antonio <informatico>
Compositional model-theoretic semantics for logic programs / A. Brogi, E. Lamma, P. Mello
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008391]
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]
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]
Kakas, Antonis C.
Stable theories for logic programs / A. C. Kakas, P. Mancarella
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008404]
Non-determinism in deductive databases / F. Giannotti ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008408]
Lodi, Elena
Diagonal channel routing with vias at unit distance / E. Lodi, F. Luccio, L. Pagli
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008409]
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]
Filtri
  • Livello bibliografico
    • monografia (89)
  • Tipo di materiale
    • testo a stampa (89)
  • Biblioteca
  • Autore
  • Collezione
  • Luogo di pubblicazione
    • pisa (89)
  • Editore
    • universita degli studi, dipartimento di informatica (89)
  • Anno di pubblicazione
  • Lingua
  • Paese
    • italia (89)
| | 1 |2|3|4|5| » | »|
Risultati: 1-10 di 89