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| » | »|
 
Serra, Stefano
Multi-interative methods : applications to (block) banded tolplitz linear systems / Stefano Serra
Pisa : Universita degli studi, Dipartimento di Informatica, 1992
Monografia - Testo a stampa [PIS0008499]
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]
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]
Gabbrielli, Maurizio
The semantics of logic programming as a programming language / M. Gabbrielli, G. Levi
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008393]
Manni, Carla
Lower bounds on the dimension of bivariate spline spaces and a conjecture of jia / C. Manni
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008396]
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]
Non-determinism in deductive databases / F. Giannotti ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008408]
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]
De Jaco, Bettina
Finding all the palindromes in a binary tree in linear time and space / B. De Jaco, F. Luccio
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008415]
Gallo, Giorgio <1942- >
A new algorithm for the propositional satisfiability problem / Giorgio Gallo, Daniele Pretolani
Pisa : Universita degli Studi, Dipartimento di Informatica, 1992
Monografia - Testo a stampa [PIS0008417]
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