Catalogo delle Biblioteca Universitaria di Pisa Ricerca: Titoli collegati = Pisa. >> Tipo di materiale = testo a stampa >> Collezione = tr >> Anno di pubblicazione = 1991 Scheda: -29/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Nguyen, Sang Titolo: Ipercammini attivi in reti di trasporto / S. Nguyen, S. Pallottino Editore,distributore, ecc.: Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Descrizione fisica: 16 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: ITALIANO Paese di pubblicazione: ITALIA Nomi: [Autore] Nguyen, Sang [Autore] Pallottino, Stefano Identificativo record: PIS0008385 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002691165 VMD 6/91 IPERCAMMini - A - 20060801 - 20060801 Scheda: -28/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Masini, Andrea <1958- > Titolo: 2-Sequent calculus : classical modal logic / A. Masini Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 31 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Masini, Andrea <1958- > Identificativo record: PIS0008398 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002694715 VMD 13 2-SEQUENt - A - 20060801 - 20060801 Scheda: -27/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Kakas, Antonis C. Titolo: Stable theories for logic programs / A. C. Kakas, P. Mancarella Editore,distributore, ecc.: Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Descrizione fisica: 22 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Kakas, Antonis C. [Autore] Mancarella, Paolo Forme varianti dei nomi: Mancarella , Paolo Maria Identificativo record: PIS0008404 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699945 VMD 18/91 STABLE - A - 20060801 - 20060801 Scheda: -26/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Masini, Andrea <1958- > Titolo: 2-Sequent calculus : intuitionism and natural deduction / Andrea Masini Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 28 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Masini, Andrea <1958- > Identificativo record: PIS0008413 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002700105 VMD 26/91 2-SEQUENt - A - 20060801 - 20060801 Scheda: -25/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Titolo: Non-determinism in deductive databases / F. Giannotti ... [et al.] Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 25 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: Giannotti, Fosca Identificativo record: PIS0008408 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699975 VMD 21/91 NON-DETErminism - A - 20060801 - 20060801 Scheda: -24/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Titolo: Modelling prolog control / R. Barbuti ... [et al.] Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 23 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: Barbuti, Roberto Identificativo record: PIS0008410 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699995 VMD 23/91 MODELLINg - A - 20060801 - 20060801 Scheda: -23/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Gabbrielli, Maurizio Titolo: Unfolding and fixpoint semantics of concurrent constraint logic programs / M. Gabbrielli, G. Levi Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 44 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Gabbrielli, Maurizio Levi, Giorgio <1942- > Identificativo record: PIS0008374 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002691145 VMD 2/91 UNFOLDINg - A - 20060801 - 20060801 Scheda: -22/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Grossi, Roberto Titolo: A simple solution for detecting mismatching palindromes in a string / R. Grossi Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 11 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Grossi, Roberto Identificativo record: PIS0008390 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002691175 VMD 7/91 A SIMPLE - A - 20060801 - 20060801 Scheda: -21/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Apt, Krzysztof R. <1949-> Titolo: Reasoning about termination of prolog programs / K. R. Apt, D. Pedreschi Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 45 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Apt, Krzysztof R. <1949-> [Autore] Pedreschi, Giancarlo Forme varianti dei nomi: Apt , K. Apt , K. R. Identificativo record: PIS0008399 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699915 VMD 14/91 REASONINg - A - 20060801 - 20060801 Scheda: -20/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Gruska, Damas P. Titolo: A timed process description language based on CCS / D. P. Gruska, A. Maggiolo-Schettini Editore,distributore, ecc.: Pisa: Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 30 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Gruska, Damas P. [Autore] Maggiolo Schettini, Andrea Mancini, Luigi V. Identificativo record: PIS0008392 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002692335 VMD 9/11 A TIMED - A - 20060801 - 20060801 Scheda: -19/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Bertossi, A. A. Titolo: Scheduling algorithms for fault-tolerance in hard-real-time systems / A. A. Bertossi, L. V. Mancini Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 20 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Bertossi, A. A. [Autore] Mancini, Luigi V. Forme varianti dei nomi: Bertossi , Alan A. Bertossi , Alan Albert Bertossi , A. Identificativo record: PIS0008401 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699905 VMD 15/91 SCHEDULIng - A - 20060801 - 20060801 Scheda: -18/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Bertossi, A. A. Titolo: Fault-tolerant task scheduling in multiprocessor systems / A. A. Bertossi, L. V. Mancini Editore,distributore, ecc.: Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Descrizione fisica: 20 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Bertossi, A. A. [Autore] Mancini, Luigi V. Forme varianti dei nomi: Bertossi , Alan A. Bertossi , Alan Albert Bertossi , A. Identificativo record: PIS0008402 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699925 VMD 16/91 FAULT-TOlerant - A - 20060801 - 20060801 Scheda: -17/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Titolo: Contributions to the semantics of open logic programs / A. Bossi ... [et al.] Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 25 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: Bossi, Annalisa Identificativo record: PIS0008403 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699935 VMD 17/91 CONTRIBUtions - A - 20060801 - 20060801 Scheda: -16/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Pallottino, Stefano Titolo: Strongly polynomial auction algorithms for shortest paths / Stefano Pallottino, Maria Grazia Scutella Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 12 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Pallottino, Stefano Scutella, Maria Grazia Identificativo record: PIS0008406 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699955 VMD 19/91 STrongly - A - 20060801 - 20060801 Scheda: -15/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Alpuente, Maria Titolo: Incremental constraint satisfaction for equational logic programming / M. Alpuente, M. Falaschi, G. Levi Editore,distributore, ecc.: Pisa ; Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 39 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Alpuente, Maria Falaschi, Moreno Levi, Giorgio <1942- > Identificativo record: PIS0008407 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699965 VMD 20/91 INCREMENtal - A - 20060801 - 20060801 Scheda: -14/28 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.] Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 20 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: Danelutto, Marco Identificativo record: PIS0008412 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002700095 VMD 25/91 A METHODology - A - 20060801 - 20060801 Scheda: -13/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Danelutto, Marco Titolo: TLwT : a temporal logic for concurrent programs / M. Danelutto, A. Masini Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 37 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Danelutto, Marco Masini, Andrea <1958- > Identificativo record: PIS0008414 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002700115 VMD 27/91 TLWT - A - 20060801 - 20060801 Scheda: -12/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Gabbrielli, Maurizio Titolo: Modeling answer constraints in constraint logic programs / M. Gabbrielli, G. Levi Editore,distributore, ecc.: Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Descrizione fisica: 19 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Gabbrielli, Maurizio Levi, Giorgio <1942- > Identificativo record: PIS0008380 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002692305 VMD 4/91 MODELING - A - 20060801 - 20060801 Scheda: -11/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Brogi, Antonio Titolo: Compositional model-theoretic semantics for logic programs / A. Brogi, E. Lamma, P. Mello Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 17 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Brogi, Antonio Lamma, Evelina <1960- > Mello, Antonio Forme varianti dei nomi: Brogi , A. Identificativo record: PIS0008391 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002692325 VMD 8/91 COMPOSITional - A - 20060801 - 20060801 Scheda: -10/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Gabbrielli, Maurizio Titolo: The semantics of logic programming as a programming language / M. Gabbrielli, G. Levi Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 22 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Gabbrielli, Maurizio Levi, Giorgio <1942- > Identificativo record: PIS0008393 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002694685 VMD TR/10 THE SEMAntic - A - 20060801 - 20060801 Scheda: -9/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Degano, Pierpaolo Titolo: Axiomatizing the algebra of net computations and processes / P. Degano, J. Meseguer, U. Montanari Editore,distributore, ecc.: Pisa : Dipartimento di Informatica, 1991 Descrizione fisica: 27 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Degano, Pierpaolo Meseguer, Jose Montanari, Ugo <1943- > Identificativo record: PIS0008348 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002691135 VMD 1/91 AXIOMATIzing - A - 20060801 - 20060801 Scheda: -8/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Lodi, Elena Titolo: Diagonal channel routing with vias at unit distance / E. Lodi, F. Luccio, L. Pagli Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 18 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Lodi, Elena [Autore] Luccio, Fabrizio [Autore] Pagli, Linda Identificativo record: PIS0008409 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699985 VMD 22/91 DIAGONAL - A - 20060801 - 20060801 Scheda: -7/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Bertossi, A. A. Titolo: Parallel string-matching with variable length don't cares / A. A. Bertossi, F. Logi Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 13 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Bertossi, A. A. [Autore] Logi, Francesca Forme varianti dei nomi: Bertossi , Alan A. Bertossi , Alan Albert Bertossi , A. Identificativo record: PIS0008411 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002700085 VMD 24/91 PARALLEL - A - 20060801 - 20060801 Scheda: -6/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: De Jaco, Bettina Titolo: Finding all the palindromes of a string in linear time and space / B. De Jaco, F. Luccio Editore,distributore, ecc.: Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Descrizione fisica: 5 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] De Jaco, Bettina [Autore] Luccio, Fabrizio Identificativo record: PIS0008377 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002691155 VMD 3/91 FINDING - A - 20060801 - 20060801 Scheda: -5/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Antonelli, Silvano Titolo: On the complexity of the mapping problem for massively parallel architectures /S. Antonelli, S. Pelagiotti Editore,distributore, ecc.: Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Descrizione fisica: 9 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Antonelli, Silvano Pelagatti, Susanna Identificativo record: PIS0008383 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002692315 VMD 5/91 ON THE Complexity - A - 20060801 - 20060801 Scheda: -4/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Manni, Carla Titolo: Lower bounds on the dimension of bivariate spline spaces and a conjecture of jia / C. Manni Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 16 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Manni, Carla Forme varianti dei nomi: Manni , C. Identificativo record: PIS0008396 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002694695 VMD 11 LOWER - A - 20060801 - 20060801 Scheda: -3/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Barbuti, Roberto Titolo: A general framework for semantics-based bottom-up abstract interpretation of logic programs / R. Barbuti, R. Giacobazzi, G. Levi Editore,distributore, ecc.: Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Descrizione fisica: 48 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Barbuti, Roberto [Autore] Levi, Giorgio <1942- > Giacobazzi, Roberto Identificativo record: PIS0008397 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002694705 VMD 12/91 A GENERAl - A - 20060801 - 20060801 Scheda: -2/28 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: De Jaco, Bettina Titolo: Finding all the palindromes in a binary tree in linear time and space / B. De Jaco, F. Luccio Editore,distributore, ecc.: Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Descrizione fisica: 7 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] De Jaco, Bettina [Autore] Luccio, Fabrizio Identificativo record: PIS0008415 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002700125 VMD 28/91 FINDING - A - 20060801 - 20060801