Polo SBN
Biblioteca Universitaria di Pisa
IT
EN
Help
Toggle navigation
Ricerca libera
Ricerca avanzata
Libro antico
Liste
Voci di autoritÃ
Ricerche effettuate
Preferiti
Periodici digitalizzati
Informazioni
Home
Risultati sintetici 1 : 10 (95)
Ricerca:
Titoli collegati = Pisa.
»
Tipo di materiale = testo a stampa
» Collezione = tr
Risultati:
1
-
10
di
95
Ordina per:
Titolo
Autore
Data (Ascendente)
Data (Discendente)
Max documenti :
10
20
30
50
|
|
1
|
2
|
3
|
4
|
5
|
»
|
»|
Visualizza selezionati
Visualizza Tutti
Stampa
mail
1.
Viry, Patrick
Elimination of conditions / Patrick Viry
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009272]
Rimuovi da preferiti
Aggiungi a preferiti
2.
Frangioni, Antonio
Generalized bundle methods / Antonio Frangioni
Pisa : Universita degli studi, Dipartimento di informatica, 2000
Monografia - Testo a stampa [PIS0009304]
Rimuovi da preferiti
Aggiungi a preferiti
3.
International workshop on meta programming in logic <4. ; 1994 ; Pisa>
Pre-proceedings of META 94 : fourth international workshop on Meta programming in logic : Pisa-Italy, Palazzo dei Congressi, June 20-21, 1994
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009191]
Rimuovi da preferiti
Aggiungi a preferiti
4.
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]
Rimuovi da preferiti
Aggiungi a preferiti
5.
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]
Rimuovi da preferiti
Aggiungi a preferiti
6.
Non-determinism in deductive databases / F. Giannotti ... [et al.]
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008408]
Rimuovi da preferiti
Aggiungi a preferiti
7.
Masini, Andrea <1958- >
2-Sequent calculus : intuitionism and natural deduction / Andrea Masini
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008413]
Rimuovi da preferiti
Aggiungi a preferiti
8.
Luccio, Fabrizio
Introducing spatial graphs updates version / Fabrizio Luccio, Linda Pagli
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009255]
Rimuovi da preferiti
Aggiungi a preferiti
9.
Semini, Laura
A riferiment calculus for Tuple spaces / L. Semini, C. Montangero
Pisa : Universita degli studi, Dipartimento di informatica, [1999]
Monografia - Testo a stampa [PIS0009302]
Rimuovi da preferiti
Aggiungi a preferiti
10.
Cappanera, Paola
On the airline erew rostering problem / Paola Cappanera, Giorgio Gallo
Pisa : Universita degli studi, Dipartimento di informatica, 2001
Monografia - Testo a stampa [PIS0009310]
Rimuovi da preferiti
Aggiungi a preferiti
Filtri
Livello bibliografico
monografia
(95)
Tipo di materiale
testo a stampa
(95)
Biblioteca
Biblioteca universitaria di Pisa
(91)
Autore
gallo, giorgio <1942- >
(10)
frangioni, antonio
(9)
scutella, maria grazia
(9)
luccio, fabrizio
(6)
cappanera, paola
(5)
»
Collezione
tr
(95)
universita degli studi di pisa, dipartimento di informatica
(95)
universita di pisa
(95)
Luogo di pubblicazione
pisa
(94)
pisa: universita degli studi, dipartimento di informatica
(1)
universita degli studi, dipartimento di informatica
(1)
Editore
universita degli studi, dipartimento di informatica
(88)
dipartimento di informatica, universita
(3)
dipartimento di informatica
(1)
dipartimento di informatica, universita di pisa
(1)
Anno di pubblicazione
1991
(28)
1994
(21)
1995
(21)
1996
(7)
1999
(7)
»
Lingua
inglese
(90)
italiano
(5)
Paese
italia
(95)
Visualizza selezionati
Visualizza Tutti
Stampa
mail