Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Scheda Dettagliata

Ricerca: Titoli collegati = Pisa. >> Collezione = universita degli studi di pisa, dipartimento di informatica >> Anno di pubblicazione = 1994
←Ritorna alla lista dei risultati
| |  |
 

Scheda: 1/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale International workshop on meta programming in logic <4. ; 1994 ; Pisa> [ scheda di autorità ]
Titolo Pre-proceedings of META 94 : fourth international workshop on Meta programming in logic : Pisa-Italy, Palazzo dei Congressi, June 20-21, 1994
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 1 v. ; 29 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 7/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] International workshop on meta programming in logic <4. ; 1994 ; Pisa> [ scheda di autorità ]
Identificativo record PIS0009191
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 40 000274104 PRE-PROCedings  consultazione e fotoriproduzione Servizi


Scheda: 2/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Baldelli, Laura [ scheda di autorità ]
Titolo Self-diagnosis of array processors / L. Baldelli, P. Maestrini
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 14 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Baldelli, Laura [ scheda di autorità ]
[Autore] Maestrini, Piero [ scheda di autorità ]
Identificativo record PIS0009183
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 34 000273514 SELF-DIAgnosis  consultazione, prestito, fotoriproduzione Servizi


Scheda: 3/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Chessa, Stefano <1969 dicembre 28- ; Sassari> [ scheda di autorità ]
Titolo Adaptive self-diagnosis of array processors / S. Chessa, P. Maestrini
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 12 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Chessa, Stefano <1969 dicembre 28- ; Sassari> [ scheda di autorità ]
[Autore] Maestrini, Piero [ scheda di autorità ]
Identificativo record PIS0009185
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 35 000273515 ADAPTIVE  consultazione, prestito, fotoriproduzione Servizi


Scheda: 4/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Sassone, Vladimiro [ scheda di autorità ]
Titolo Some remarks on concatenable processes / Vladimiro Sassone
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 19 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 6/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Sassone, Vladimiro [ scheda di autorità ]
Identificativo record PIS0009190
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 39 000273871 SOME REMarks  consultazione, prestito, fotoriproduzione Servizi


Scheda: 5/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Ferragina, Paolo [ scheda di autorità ]
Titolo Parallel dynamic edge deletion for MST / Paolo Ferragina
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 11 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 8/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Ferragina, Paolo [ scheda di autorità ]
Identificativo record PIS0009194
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 41 000274358 PARALLEL  consultazione e fotoriproduzione Servizi


Scheda: 6/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Titolo Oracle semantics for prolog / R. Barbuti ... [et al.]
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 38 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 5/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi Barbuti, Roberto [ scheda di autorità ]
Identificativo record PIS0009189
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 38 000273870 ORACLE  consultazione, prestito, fotoriproduzione Servizi


Scheda: 7/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Luccio, Fabrizio [ scheda di autorità ]
Titolo Introducing spatial graphs / Fabrizio Luccio, Linda Pagli
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 11 p. ; 21 cm
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 12/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Luccio, Fabrizio [ scheda di autorità ]
[Autore] Pagli, Linda [ scheda di autorità ]
Identificativo record PIS0009210
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 45 000275199 INTRODUCing  consultazione e fotoriproduzione Servizi


Scheda: 8/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Monti, Angelo [ scheda di autorità ]
Titolo A gap theorem for the anonymous torus / Angelo Monti, Alessandro Roncato
Pubblicazione Pisa : Universita degli studi, Dipartimento di Informatica, 1994
Descrizione fisica 9 p. ; 21 cm
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 17/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Monti, Angelo [ scheda di autorità ]
[Autore] Roncato, Alessandro [ scheda di autorità ]
Identificativo record PIS0009227
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 50 000275066 A GAP  consultazione, prestito, fotoriproduzione Servizi


Scheda: 9/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Gallo, Giorgio <1942- > [ scheda di autorità ]
Titolo Hamiltonian paths algorithms for disk scheduling / Giorgio Gallo, Federico Malucelli, Martina Marre
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 16 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 20/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Gallo, Giorgio <1942- > [ scheda di autorità ]
[Autore] Malucelli, Federico [ scheda di autorità ]
[Autore] Marre, Martina [ scheda di autorità ]
Identificativo record PIS0009238
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 53 000275068 HAMILTONian  consultazione, prestito, fotoriproduzione Servizi


Scheda: 10/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Balsamo, Simonetta [ scheda di autorità ]
Titolo Bound performance models of heterogeneous parallel processing systems / Simonetta Balsamo, Lorenzo Donatiello, N. Van Dijk
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 29 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 10/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Balsamo, Simonetta [ scheda di autorità ]
[Autore] Donatiello, Lorenzo [ scheda di autorità ]
[Autore] Dijk, Nico : van [ scheda di autorità ]
Identificativo record PIS0009200

Scheda: 11/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Guerrini, Stefano [ scheda di autorità ]
Titolo A linear algebra approach optimal L-Graph reduction / Stefano Guerrini
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 24 p. ; 21 cm
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 13/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Guerrini, Stefano [ scheda di autorità ]
Identificativo record PIS0009212
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 46 000275064 A LINEAR  consultazione, prestito, fotoriproduzione Servizi


Scheda: 12/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Gemignani, Luca [ scheda di autorità ]
Titolo Factorization of a polynomial by generalized LR algorithm / Luca Gemignani
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 17 p. ; 21 cm
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 14/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Gemignani, Luca [ scheda di autorità ]
Identificativo record PIS0009214
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 47 000275200 FACTORIZation  consultazione, prestito, fotoriproduzione Servizi


Scheda: 13/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Serra, Stefano [ scheda di autorità ]
Titolo On the extreme eigenvalues of Hermitian Toeplitz (and block Toeplitz) matrices / Stefano Serra
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 13 p. ; 21 cm
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 16/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Serra, Stefano [ scheda di autorità ]
Identificativo record PIS0009225
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 49 000275202 ON THE  consultazione, prestito, fotoriproduzione Servizi


Scheda: 14/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Roncato, Alessandro [ scheda di autorità ]
Titolo The Knowledge of the number of distinct inputs values in anonymous rings / Alessandro Roncato
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 20 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 18/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Roncato, Alessandro [ scheda di autorità ]
Identificativo record PIS0009228

Scheda: 15/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Maestrini, Piero [ scheda di autorità ]
Titolo Self-diagnosis of regularly interconnected systems based on a comparison model / P. Maestrini, P. Santi
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 13 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Maestrini, Piero [ scheda di autorità ]
[Autore] Santi, Paolo <1971- > [ scheda di autorità ]
Identificativo record PIS0009187
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 36 000273513 SELF-DIAgnosis  consultazione e fotoriproduzione Servizi


Scheda: 16/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Carraresi, Paolo [ scheda di autorità ]
Titolo Regional mass transit assignment with resource constraints / Paolo Carraresi, Federico Malucelli, Stefano Pallottino
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 16 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 11/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Carraresi, Paolo [ scheda di autorità ]
[Autore] Pallottino, Stefano [ scheda di autorità ]
[Autore] Malucelli, Federico [ scheda di autorità ]
Identificativo record PIS0009197
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 42 000274486 REGIONAL  consultazione e fotoriproduzione Servizi


Scheda: 17/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Balsamo, Simonetta [ scheda di autorità ]
Titolo Approximate response time distribution in fork and join systems / Simonetta Balsamo, Ivan Mura
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 30 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 9/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Balsamo, Simonetta [ scheda di autorità ]
[Autore] Mura, Ivan [ scheda di autorità ]
Identificativo record PIS0009199
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 43 000274656 APPROXIMate  consultazione, prestito, fotoriproduzione Servizi


Scheda: 18/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Roversi, Luca [ scheda di autorità ]
Titolo Curry-Howard isomorphism for intuitionistic linear logic : proof-theorist's and computer-scientist's perspectives / Luca Roversi
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 38 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 15/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Roversi, Luca [ scheda di autorità ]
Identificativo record PIS0009222
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 48 000275201 CURRY  consultazione, prestito, fotoriproduzione Servizi


Scheda: 19/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Carraresi, Paolo [ scheda di autorità ]
Titolo Partitioning the service period of a bus line into uniform travelling time shifts via network flow algorithms / Paolo Carraresi, Federico Malucelli, Claudio Sandi
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 9 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 21/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Carraresi, Paolo [ scheda di autorità ]
[Autore] Malucelli, Federico [ scheda di autorità ]
[Autore] Sandi, Claudio [ scheda di autorità ]
Identificativo record PIS0009240
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 54 000275069 PARTITIOning  consultazione, prestito, fotoriproduzione Servizi


Scheda: 20/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Sperduti, Alessandro [ scheda di autorità ]
Titolo Fixed length representation of terms in hybrid reasoning systems : report 1. : classification of ground terms / Alessandro Sperduti, Antonina Starita, Christoph Goller
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 24 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 19/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Sperduti, Alessandro [ scheda di autorità ]
[Autore] Starita, Antonina [ scheda di autorità ]
[Autore] Goller, Christoph [ scheda di autorità ]
Identificativo record PIS0009236
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 52 000275065 FIXED  consultazione, prestito, fotoriproduzione Servizi


Scheda: 21/21
Livello bibliografico Monografia
Tipo di materiale Testo a stampa
Autore principale Gallo, Giorgio <1942- > [ scheda di autorità ]
Titolo The satisfiability problem for the Schoenfinkel-Bernays fragment : partial instantiation and hipergraph algorithms / G. Gallo, G. Rago
Pubblicazione Pisa : Universita degli studi, Dipartimento di informatica, 1994
Descrizione fisica 32 p. ; 21 cm.
Collezione TR / Università degli studi di Pisa, Dipartimento di informatica ; 4/94 (ID Collana : CFI0390631)
Lingua di pubblicazione eng
Paese di pubblicazione it
Nomi [Autore] Gallo, Giorgio <1942- > [ scheda di autorità ]
[Autore] Rago, Gabriella [ scheda di autorità ]
Identificativo record PIS0009188
Posseduto
BibliotecaCollocazioneInventarioNote di esemplareNumero dei volumi o consistenze dei periodiciFruizione
Biblioteca universitariaCOLL.UNIV.Pisa 11 37 000273516 THE SATIsfiability  consultazione, prestito, fotoriproduzione Servizi


| |  |