Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 11 : 20 (28)

Ricerca: Titoli collegati = Pisa. » Tipo di materiale = testo a stampa » Collezione = tr » Anno di pubblicazione = 1991
Risultati: 11-20 di 28
 
|« | « | 1|2 |3| » | »|
 
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]
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]
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]
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.
Parallel string-matching with variable length don't cares / A. A. Bertossi, F. Logi
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008411]
Gabbrielli, Maurizio
Unfolding and fixpoint semantics of concurrent constraint logic programs / M. Gabbrielli, G. Levi
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008374]
Grossi, Roberto <informatico>
A simple solution for detecting mismatching palindromes in a string / R. Grossi
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008390]
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]
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]
Filtri
  • Livello bibliografico
    • monografia (28)
  • Tipo di materiale
    • testo a stampa (28)
  • Biblioteca
    • Biblioteca universitaria di Pisa (28)
  • Autore
  • Collezione
    • tr (28)
    • universita degli studi di pisa, dipartimento di informatica (28)
    • universita di pisa (28)
  • Luogo di pubblicazione
  • Editore
  • Anno di pubblicazione
    • 1991 (28)
  • Lingua
  • Paese
    • italia (28)
|« | « | 1|2 |3| » | »|
Risultati: 11-20 di 28