OPAC - Polo SBN Biblioteca Universitaria di Pisa

Scheda Dettagliata

Ricerca: Titoli collegati = Pisa. >> Anno di pubblicazione = 1991 >> Lingua = inglese

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

Posseduto

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	Richiesta informazioni Permalink 2 Scarico Unimarc 2 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: 3/33	Richiesta informazioni Permalink 3 Scarico Unimarc 3 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: 4/33	Richiesta informazioni Permalink 4 Scarico Unimarc 4 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: 5/33	Richiesta informazioni Permalink 5 Scarico Unimarc 5 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: 6/33	Richiesta informazioni Permalink 6 Scarico Unimarc 6 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: 7/33	Richiesta informazioni Permalink 7 Scarico Unimarc 7 Rimuovi da preferiti Aggiungi a preferiti
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

Posseduto

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

Posseduto

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	Richiesta informazioni Permalink 9 Scarico Unimarc 9 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: 10/33	Richiesta informazioni Permalink 10 Scarico Unimarc 10 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/33	Richiesta informazioni Permalink 11 Scarico Unimarc 11 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: 12/33	Richiesta informazioni Permalink 12 Scarico Unimarc 12 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: 13/33	Richiesta informazioni Permalink 13 Scarico Unimarc 13 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/33	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	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: 15/33	Richiesta informazioni Permalink 15 Scarico Unimarc 15 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: 16/33	Richiesta informazioni Permalink 16 Scarico Unimarc 16 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: 17/33	Richiesta informazioni Permalink 17 Scarico Unimarc 17 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/33	Richiesta informazioni Permalink 18 Scarico Unimarc 18 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: 19/33	Richiesta informazioni Permalink 19 Scarico Unimarc 19 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: 20/33	Richiesta informazioni Permalink 20 Scarico Unimarc 20 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: 21/33	Richiesta informazioni Permalink 21 Scarico Unimarc 21 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/33	Richiesta informazioni Permalink 22 Scarico Unimarc 22 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: 23/33	Richiesta informazioni Permalink 23 Scarico Unimarc 23 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: 24/33	Richiesta informazioni Permalink 24 Scarico Unimarc 24 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: 25/33	Richiesta informazioni Permalink 25 Scarico Unimarc 25 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: 26/33	Richiesta informazioni Permalink 26 Scarico Unimarc 26 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

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

Posseduto

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

Posseduto

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

Posseduto

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

←Ritorna alla lista dei risultati