Polo SBN
Biblioteca Universitaria di Pisa

IT EN

Help

Scheda Dettagliata

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

←Ritorna alla lista dei risultati

|« « precedente

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	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: 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	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: 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	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: 24/28	Richiesta informazioni Permalink 24 Scarico Unimarc 24 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: 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	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: 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	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: 27/28	Richiesta informazioni Permalink 27 Scarico Unimarc 27 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: 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	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

|« « precedente

←Ritorna alla lista dei risultati