Scheda: 1/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Titolo | An overview of work on semantic taxonomies in Pisa / A. Alonge ... [et al.] |
Pubblicazione | Pisa : Istituto di linguistica computazionale, 1991 |
Descrizione fisica | 9 p. ; 30 cm. |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | Alonge, A. [ scheda di autorità ] |
Identificativo record | PIS0005832 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL. 584 5 | 000278231 | AN OVERView of work | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 2/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Masini, Andrea <1958- > scheda di autorità ] | [
Titolo | 2-Sequent calculus : classical modal logic / A. Masini |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 31 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Masini, Andrea <1958- > [ scheda di autorità ] |
Identificativo record | PIS0008398 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 13 | 000269471 | 2-SEQUENt | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 3/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Kakas, Antonis C. scheda di autorità ] | [
Titolo | Stable theories for logic programs / A. C. Kakas, P. Mancarella |
Pubblicazione | Pisa : Universita degli studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 22 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Kakas, Antonis C. [
scheda di autorità
]
[Autore] Mancarella, Paolo [ scheda di autorità ] |
Forme varianti dei nomi | Mancarella , Paolo Maria -> Mancarella, Paolo |
Identificativo record | PIS0008404 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 18/91 | 000269994 | STABLE | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 4/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Masini, Andrea <1958- > scheda di autorità ] | [
Titolo | 2-Sequent calculus : intuitionism and natural deduction / Andrea Masini |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 28 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Masini, Andrea <1958- > [ scheda di autorità ] |
Identificativo record | PIS0008413 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 26/91 | 000270010 | 2-SEQUENt | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 5/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Titolo | Non-determinism in deductive databases / F. Giannotti ... [et al.] |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 25 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | Giannotti, Fosca [ scheda di autorità ] |
Identificativo record | PIS0008408 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 21/91 | 000269997 | NON-DETErminism | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 6/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Titolo | Modelling prolog control / R. Barbuti ... [et al.] |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 23 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | Barbuti, Roberto [ scheda di autorità ] |
Identificativo record | PIS0008410 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 23/91 | 000269999 | MODELLINg | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 7/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | International conference on Achieving quality in software <1991 ; Pisa> |
Titolo | International conference on Achieving quality in software: AQuIS '91 : Pisa, Italy, april 22-24, 1991 / edited by Paolo Ancilotti, Mario Fusani |
Pubblicazione | Pisa : ETS, stampa 1991 |
Descrizione fisica | XI, 559 p. : ill. ; 24 cm. |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Soggetti | Elaboratori elettronici - Programmi - Controllo di qualità (Soggettario di Firenze) |
Nomi | Ancilotti, Paolo [
scheda di autorità
]
Fusani, Mario [Autore] International conference on Achieving quality in software <1991 ; Pisa> |
Identificativo record | CFI0223379 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | NUM. 73908 | 000269041 | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 8/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Linzitto, Riccardo scheda di autorità ] | [
Titolo | Distributed simulation for system performance evaluation / R. Linzitto, S. Balsamo, L. Donatiello |
Pubblicazione | Pisa : Universita degli studi, Dipartimento di informatica, stampa 1991 |
Descrizione fisica | 78 p. ; 20 cm. |
Collezione | Scientific monograph SM / del Dipartimento di informatica della Universita degli studi di Pisa ; 2 (ID Collana : PIS0008342) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Linzitto, Riccardo [
scheda di autorità
]
[Autore] Donatiello, Lorenzo [ scheda di autorità ] [Autore] Balsamo, Simonetta [ scheda di autorità ] |
Identificativo record | PIS0008341 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11A 2 | 000270036 | DISTRIBUted simulation | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 9/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Gabbrielli, Maurizio scheda di autorità ] | [
Titolo | Unfolding and fixpoint semantics of concurrent constraint logic programs / M. Gabbrielli, G. Levi |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 44 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Gabbrielli, Maurizio [
scheda di autorità
]
Levi, Giorgio <1942- > |
Identificativo record | PIS0008374 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 2/91 | 000269114 | UNFOLDINg | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 10/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Grossi, Roberto <informatico> |
Titolo | A simple solution for detecting mismatching palindromes in a string / R. Grossi |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 11 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Grossi, Roberto <informatico> |
Identificativo record | PIS0008390 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 7/91 | 000269117 | A SIMPLE | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 11/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Apt, Krzysztof R. <1949-> scheda di autorità ] | [
Titolo | Reasoning about termination of prolog programs / K. R. Apt, D. Pedreschi |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 45 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Apt, Krzysztof R. <1949-> [
scheda di autorità
]
[Autore] Pedreschi, Giancarlo [ scheda di autorità ] |
Forme varianti dei nomi | Apt , K. <Krzysztof> -> Apt, Krzysztof R. <1949-> Apt , K. R. <Krzysztof R.> -> Apt, Krzysztof R. <1949-> |
Identificativo record | PIS0008399 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 14/91 | 000269991 | REASONINg | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 12/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Gruska, Damas P. scheda di autorità ] | [
Titolo | A timed process description language based on CCS / D. P. Gruska, A. Maggiolo-Schettini |
Pubblicazione | Pisa: Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 30 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Gruska, Damas P. [
scheda di autorità
]
[Autore] Maggiolo Schettini, Andrea [ scheda di autorità ] Mancini, Luigi V. [ scheda di autorità ] |
Identificativo record | PIS0008392 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 9/11 | 000269233 | A TIMED | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 13/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Bertossi, A. A. scheda di autorità ] | [
Titolo | Scheduling algorithms for fault-tolerance in hard-real-time systems / A. A. Bertossi, L. V. Mancini |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 20 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Bertossi, A. A. [
scheda di autorità
]
[Autore] Mancini, Luigi V. [ scheda di autorità ] |
Forme varianti dei nomi | Bertossi , Alan A. -> Bertossi, A. A. Bertossi , Alan Albert -> Bertossi, A. A. Bertossi , A. -> Bertossi, A. A. |
Identificativo record | PIS0008401 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 15/91 | 000269990 | SCHEDULIng | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 14/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Bertossi, A. A. scheda di autorità ] | [
Titolo | Fault-tolerant task scheduling in multiprocessor systems / A. A. Bertossi, L. V. Mancini |
Pubblicazione | Pisa : Universita degli studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 20 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Bertossi, A. A. [
scheda di autorità
]
[Autore] Mancini, Luigi V. [ scheda di autorità ] |
Forme varianti dei nomi | Bertossi , Alan A. -> Bertossi, A. A. Bertossi , Alan Albert -> Bertossi, A. A. Bertossi , A. -> Bertossi, A. A. |
Identificativo record | PIS0008402 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 16/91 | 000269992 | FAULT-TOlerant | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 15/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Titolo | Contributions to the semantics of open logic programs / A. Bossi ... [et al.] |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 25 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | Bossi, Annalisa [ scheda di autorità ] |
Identificativo record | PIS0008403 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 17/91 | 000269993 | CONTRIBUtions | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 16/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Pallottino, Stefano scheda di autorità ] | [
Titolo | Strongly polynomial auction algorithms for shortest paths / Stefano Pallottino, Maria Grazia Scutella |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 12 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Pallottino, Stefano [
scheda di autorità
]
Scutella, Maria Grazia [ scheda di autorità ] |
Identificativo record | PIS0008406 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 19/91 | 000269995 | STrongly | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 17/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Alpuente, Maria scheda di autorità ] | [
Titolo | Incremental constraint satisfaction for equational logic programming / M. Alpuente, M. Falaschi, G. Levi |
Pubblicazione | Pisa ; Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 39 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Alpuente, Maria [
scheda di autorità
]
Falaschi, Moreno [ scheda di autorità ] Levi, Giorgio <1942- > |
Identificativo record | PIS0008407 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 20/91 | 000269996 | INCREMENtal | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 18/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Titolo | A methodology for the development and the support of massively parallel programs / M. Danelutto ... [et al.] |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 20 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | Danelutto, Marco [ scheda di autorità ] |
Identificativo record | PIS0008412 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 25/91 | 000270009 | A METHODology | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 19/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Danelutto, Marco scheda di autorità ] | [
Titolo | TLwT : a temporal logic for concurrent programs / M. Danelutto, A. Masini |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 37 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Danelutto, Marco [
scheda di autorità
]
Masini, Andrea <1958- > [ scheda di autorità ] |
Identificativo record | PIS0008414 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 27/91 | 000270011 | TLWT | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 20/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Gabbrielli, Maurizio scheda di autorità ] | [
Titolo | Modeling answer constraints in constraint logic programs / M. Gabbrielli, G. Levi |
Pubblicazione | Pisa : Universita degli studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 19 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Gabbrielli, Maurizio [
scheda di autorità
]
Levi, Giorgio <1942- > |
Identificativo record | PIS0008380 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 4/91 | 000269230 | MODELING | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 21/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Brogi, Antonio <informatico> |
Titolo | Compositional model-theoretic semantics for logic programs / A. Brogi, E. Lamma, P. Mello |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 17 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Brogi, Antonio <informatico>
Lamma, Evelina <1960- > [ scheda di autorità ] Mello, Antonio [ scheda di autorità ] |
Forme varianti dei nomi | Brogi , A. <informatico> -> Brogi, Antonio <informatico> |
Identificativo record | PIS0008391 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 8/91 | 000269232 | COMPOSITional | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 22/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Gabbrielli, Maurizio scheda di autorità ] | [
Titolo | The semantics of logic programming as a programming language / M. Gabbrielli, G. Levi |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 22 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Gabbrielli, Maurizio [
scheda di autorità
]
Levi, Giorgio <1942- > |
Identificativo record | PIS0008393 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 TR/10 | 000269468 | THE SEMAntic | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 23/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Degano, Pierpaolo scheda di autorità ] | [
Titolo | Axiomatizing the algebra of net computations and processes / P. Degano, J. Meseguer, U. Montanari |
Pubblicazione | Pisa : Dipartimento di Informatica, 1991 |
Descrizione fisica | 27 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Degano, Pierpaolo [
scheda di autorità
]
Meseguer, Jose [ scheda di autorità ] Montanari, Ugo <1943- > [ scheda di autorità ] |
Identificativo record | PIS0008348 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 1/91 | 000269113 | AXIOMATIzing | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 24/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Lodi, Elena scheda di autorità ] | [
Titolo | Diagonal channel routing with vias at unit distance / E. Lodi, F. Luccio, L. Pagli |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 18 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Lodi, Elena [
scheda di autorità
]
[Autore] Luccio, Fabrizio [ scheda di autorità ] [Autore] Pagli, Linda [ scheda di autorità ] |
Identificativo record | PIS0008409 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 22/91 | 000269998 | DIAGONAL | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 25/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Bertossi, A. A. scheda di autorità ] | [
Titolo | Parallel string-matching with variable length don't cares / A. A. Bertossi, F. Logi |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 13 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Bertossi, A. A. [
scheda di autorità
]
[Autore] Logi, Francesca [ scheda di autorità ] |
Forme varianti dei nomi | Bertossi , Alan A. -> Bertossi, A. A. Bertossi , Alan Albert -> Bertossi, A. A. Bertossi , A. -> Bertossi, A. A. |
Identificativo record | PIS0008411 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 24/91 | 000270008 | PARALLEL | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 26/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | De Jaco, Bettina scheda di autorità ] | [
Titolo | Finding all the palindromes of a string in linear time and space / B. De Jaco, F. Luccio |
Pubblicazione | Pisa : Universita degli studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 5 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] De Jaco, Bettina [
scheda di autorità
]
[Autore] Luccio, Fabrizio [ scheda di autorità ] |
Identificativo record | PIS0008377 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 3/91 | 000269115 | FINDING | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 27/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Antonelli, Silvano <matematico> |
Titolo | On the complexity of the mapping problem for massively parallel architectures /S. Antonelli, S. Pelagiotti |
Pubblicazione | Pisa : Universita degli studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 9 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Antonelli, Silvano <matematico>
Pelagatti, Susanna [ scheda di autorità ] |
Identificativo record | PIS0008383 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 5/91 | 000269231 | ON THE Complexity | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 28/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Manni, Carla scheda di autorità ] | [
Titolo | Lower bounds on the dimension of bivariate spline spaces and a conjecture of jia / C. Manni |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 16 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Manni, Carla [ scheda di autorità ] |
Forme varianti dei nomi | Manni , C. -> Manni, Carla |
Identificativo record | PIS0008396 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 11 | 000269469 | LOWER | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 29/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Barbuti, Roberto scheda di autorità ] | [
Titolo | A general framework for semantics-based bottom-up abstract interpretation of logic programs / R. Barbuti, R. Giacobazzi, G. Levi |
Pubblicazione | Pisa : Universita degli studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 48 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Barbuti, Roberto [
scheda di autorità
]
[Autore] Levi, Giorgio <1942- > Giacobazzi, Roberto [ scheda di autorità ] |
Identificativo record | PIS0008397 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 12/91 | 000269470 | A GENERAl | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 30/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | De Jaco, Bettina scheda di autorità ] | [
Titolo | Finding all the palindromes in a binary tree in linear time and space / B. De Jaco, F. Luccio |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 7 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] De Jaco, Bettina [
scheda di autorità
]
[Autore] Luccio, Fabrizio [ scheda di autorità ] |
Identificativo record | PIS0008415 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 28/91 | 000270012 | FINDING | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 31/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Congresso Nazionale sulla Trasmissione del Calore <9. ; 1991 ; Pisa> |
Titolo | Atti del 9. Congresso nazionale sulla Trasmissione del calore : 13-14 Giugno 1991, Università degli studi di Pisa / [UIT] |
Pubblicazione | Pisa : ETS ; University of Pisa, 1991 |
Descrizione fisica | 520 p. ; 22 cm |
Lingua di pubblicazione | ita - eng |
Paese di pubblicazione | it |
Note | Sul front.: Tema A Termofluidodinamica dei sistemi monofase e multifase. Tema B Termofluidodinamica degli impianti nucleari e dei sistemi ambientali. Tema C Metodi sperimentali e nuove tecnologie nello scambio termico.
|
Nomi | Congresso Nazionale sulla Trasmissione del Calore <9. ; 1991 ; Pisa>
U.I.T. [ scheda di autorità ] |
Forme varianti dei nomi | Unione italiana di termofluidodinamica -> U.I.T. Unione italiana termofluidodinamica -> U.I.T. |
Identificativo record | MOD1572909 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | NUM. 73909 | 000269050 | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 32/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Pica, Angelo scheda di autorità ] | [
Titolo | Transient and pseudo-transient analysis of elasto-plastic mindlin plates / A. Pica, Dipartimento di Scienze dell'Informazione, Università di Pisa |
Pubblicazione | [S.l.] : [s.n.], [1991] |
Descrizione fisica | 13 c., [2], 7 c. di tav. ; 24 cm |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Pica, Angelo [ scheda di autorità ] |
Identificativo record | PIS0064255 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | MISC.C 521. 19 | 000269192 | consultazione, prestito, fotoriproduzione Servizi |
Scheda: 33/33 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Pica, Angelo scheda di autorità ] | [
Titolo | Pseudo-transient methods for the solution of algebraic systems of equations / Pica, A., Dipartimento di Informazione, Università di Pisa |
Pubblicazione | [S.l.] ; [s.n.], [1991] |
Descrizione fisica | 19 c. ; 24 cm |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Pica, Angelo [ scheda di autorità ] |
Identificativo record | PIS0064256 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | MISC.C 521. 20 | 000269191 | consultazione, prestito, fotoriproduzione Servizi |