Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 21 : 30 (33)

Ricerca: Titoli collegati = Pisa. » Anno di pubblicazione = 1991 » Lingua = inglese
Risultati: 21-30 di 33
 
|« | « | 1|2|3 |4| » | »|
 
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]
Degano, Pierpaolo
Axiomatizing the algebra of net computations and processes / P. Degano, J. Meseguer, U. Montanari
Pisa : Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008348]
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]
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]
De Jaco, Bettina
Finding all the palindromes of a string in linear time and space / B. De Jaco, F. Luccio
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008377]
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]
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]
Barbuti, Roberto
A general framework for semantics-based bottom-up abstract interpretation of logic programs / R. Barbuti, R. Giacobazzi, G. Levi
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008397]
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]
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: 21-30 di 33