Risultati sintetici

                                                Catalogo delle Biblioteca Universitaria di Pisa
                   
Ricerca:  Titoli collegati = Pisa.  >> Collezione = universita degli studi di pisa, dipartimento di informatica
Risultati: 1-10 di (95)


1. Viry, Patrick       
 Elimination of conditions / Patrick Viry       
Pisa : Universita degli studi, Dipartimento di informatica, 1995       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0009272]
          
2. Frangioni, Antonio       
 Generalized bundle methods / Antonio Frangioni       
Pisa : Universita degli studi, Dipartimento di informatica, 2000       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0009304]
          
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       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0009191]
          
4. Nguyen, Sang       
 Ipercammini attivi in reti di trasporto / S. Nguyen, S. Pallottino       
Pisa : Universita degli studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008385]
          
5. Montangero, Carlo       
 Composing specifications for coordination / Montangero C., Semini L       
Pisa : Universita degli studi, Dipartimento di informatica, [1998?]       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0009297]
          
6. Cappanera, Paola       
 On the airline erew rostering problem / Paola Cappanera, Giorgio Gallo       
Pisa : Universita degli studi, Dipartimento di informatica, 2001       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0009310]
          
7. Baldelli, Laura       
 Self-diagnosis of array processors / L. Baldelli, P. Maestrini       
Pisa : Universita degli studi, Dipartimento di informatica, 1994       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0009183]
          
8. Luccio, Fabrizio       
 Introducing spatial graphs updates version / Fabrizio Luccio, Linda Pagli       
Pisa : Universita degli studi, Dipartimento di informatica, 1995       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0009255]
          
9. Masini, Andrea <1958- >       
 2-Sequent calculus : classical modal logic / A. Masini       
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008398]
          
10. Kakas, Antonis C.       
 Stable theories for logic programs / A. C. Kakas, P. Mancarella       
Pisa : Universita degli studi, Dipartimento di Informatica, 1991       
Collocazione:  R1COLL.UNIV.Pisa 11
Monografia - Testo a stampa [PIS0008404]