Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 1 : 10 (95)

Ricerca: Titoli collegati = Pisa. » Collezione = tr
Risultati: 1-10 di 95
 
| | 1 |2|3|4|5| » | »|
 
Viry, Patrick
Elimination of conditions / Patrick Viry
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009272]
Frangioni, Antonio
Generalized bundle methods / Antonio Frangioni
Pisa : Universita degli studi, Dipartimento di informatica, 2000
Monografia - Testo a stampa [PIS0009304]
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]
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]
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]
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]
Luccio, Fabrizio
Introducing spatial graphs updates version / Fabrizio Luccio, Linda Pagli
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009255]
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]
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]
Filtri
  • Livello bibliografico
    • monografia (95)
  • Tipo di materiale
    • testo a stampa (95)
  • Biblioteca
  • Autore
  • Collezione
    • tr (95)
    • universita degli studi di pisa, dipartimento di informatica (95)
    • universita di pisa (95)
  • Luogo di pubblicazione
  • Editore
  • Anno di pubblicazione
  • Lingua
  • Paese
    • italia (95)
| | 1 |2|3|4|5| » | »|
Risultati: 1-10 di 95