OPAC - Polo SBN Biblioteca Universitaria di Pisa

Scheda Dettagliata

Ricerca: Titoli collegati = Pisa. >> Tipo di materiale = testo a stampa >> Collezione = tr >> Anno di pubblicazione = 1991

←Ritorna alla lista dei risultati

successivo» »|

Scheda: -29/28	Richiesta informazioni Permalink -29 Scarico Unimarc -29 Rimuovi da preferiti Aggiungi a preferiti
Livello bibliografico	Monografia
Tipo di materiale	Testo a stampa
Autore principale	Nguyen, Sang [ scheda di autorità ]
Titolo	Ipercammini attivi in reti di trasporto / S. Nguyen, S. Pallottino
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	ita
Paese di pubblicazione	it
Nomi	[Autore] Nguyen, Sang [ scheda di autorità ] [Autore] Pallottino, Stefano [ scheda di autorità ]
Identificativo record	PIS0008385

Posseduto

Biblioteca	Collocazione	Inventario	Note di esemplare	Numero dei volumi o consistenze dei periodici	Fruizione
Biblioteca universitaria	COLL.UNIV.Pisa 11 6/91	000269116	IPERCAMMini		consultazione, prestito, fotoriproduzione Servizi

Scheda: -28/28	Richiesta informazioni Permalink -28 Scarico Unimarc -28 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -27/28	Richiesta informazioni Permalink -27 Scarico Unimarc -27 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -26/28	Richiesta informazioni Permalink -26 Scarico Unimarc -26 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -25/28	Richiesta informazioni Permalink -25 Scarico Unimarc -25 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -24/28	Richiesta informazioni Permalink -24 Scarico Unimarc -24 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -23/28	Richiesta informazioni Permalink -23 Scarico Unimarc -23 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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/28	Richiesta informazioni Permalink -22 Scarico Unimarc -22 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -21/28	Richiesta informazioni Permalink -21 Scarico Unimarc -21 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -20/28	Richiesta informazioni Permalink -20 Scarico Unimarc -20 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -19/28	Richiesta informazioni Permalink -19 Scarico Unimarc -19 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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/28	Richiesta informazioni Permalink -18 Scarico Unimarc -18 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -17/28	Richiesta informazioni Permalink -17 Scarico Unimarc -17 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -16/28	Richiesta informazioni Permalink -16 Scarico Unimarc -16 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -15/28	Richiesta informazioni Permalink -15 Scarico Unimarc -15 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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/28	Richiesta informazioni Permalink -14 Scarico Unimarc -14 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -13/28	Richiesta informazioni Permalink -13 Scarico Unimarc -13 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -12/28	Richiesta informazioni Permalink -12 Scarico Unimarc -12 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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/28	Richiesta informazioni Permalink -11 Scarico Unimarc -11 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -10/28	Richiesta informazioni Permalink -10 Scarico Unimarc -10 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -9/28	Richiesta informazioni Permalink -9 Scarico Unimarc -9 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -8/28	Richiesta informazioni Permalink -8 Scarico Unimarc -8 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -7/28	Richiesta informazioni Permalink -7 Scarico Unimarc -7 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -6/28	Richiesta informazioni Permalink -6 Scarico Unimarc -6 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -5/28	Richiesta informazioni Permalink -5 Scarico Unimarc -5 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -4/28	Richiesta informazioni Permalink -4 Scarico Unimarc -4 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -3/28	Richiesta informazioni Permalink -3 Scarico Unimarc -3 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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: -2/28	Richiesta informazioni Permalink -2 Scarico Unimarc -2 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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

successivo» »|

←Ritorna alla lista dei risultati