OPAC - Polo SBN Biblioteca Universitaria di Pisa

Filtri

Livello bibliografico
- monografia (32)
- collezione (3)
- periodico (1)
Tipo di materiale
- testo a stampa (36)
Biblioteca
- Biblioteca universitaria di Pisa (33)
Autore
- universita degli studi <pisa> : dipartimento di informatica (23)
- universita di pisa : dipartimento di informatica (13)
- albano, antonio (2)
- frangioni, antonio (2)
- vanneschi, marco (2)
  »
Soggetto
- informatica - aspetti giuridici i (1)
- informatica - periodici i (1)
Collezione
- dottorato di ricerca in informatica (7)
- universita di pisa (7)
Luogo di pubblicazione
- pisa (36)
Editore
- universita, dipartimento di informatica (10)
- seu-servizio editoriale universitario (8)
- seu (5)
- universita, dipartimento di informatica : seu (5)
- servizio editoriale universitario (2)
  »
Anno di pubblicazione
- 2000 (10)
- 2004 (9)
- 1998 (6)
- 1999 (3)
- 2005 (2)
  »
Lingua
- inglese (24)
- italiano (9)
Paese
- italia (36)

	1.	*Appunti di calcolo numerico / Roberto Bevilacqua... [et al.] Pisa : SEU, [2005] Monografia - Testo a stampa [BP00018384] Rimuovi da preferiti Aggiungi a preferiti
	2.	Vanneschi, Marco *Appunti di architetture parallele e distribuite / Marco Vanneschi Pisa : SEU, [2004] Monografia - Testo a stampa [BP00018377] Rimuovi da preferiti Aggiungi a preferiti
	3.	Albano, Antonio *Appunti delle lezioni di : basi di dati e sistemi informativi 2 / Antonio Albano Pisa : SEU, 2000 Monografia - Testo a stampa [BP00035161] Rimuovi da preferiti Aggiungi a preferiti
	4.	Baldan, Paolo *Modelling concurrent computations : from contextual Petri nets to graph grammars / Paolo Baldan Pisa : Università, Dipartimento di Informatica : Seu, 2000 Monografia - Testo a stampa [BP00017016] Rimuovi da preferiti Aggiungi a preferiti
	5.	Ancona, Davide *Modular formal frameworks for module system / David Ancona Pisa : Università, Dipartimento di Informatica, 1998 Monografia - Testo a stampa [BP00017035] Rimuovi da preferiti Aggiungi a preferiti
	6.	Pistore, Marco *History dependent automata / Marco Pistore Pisa : Università, Dipartimento di Informatica Monografia - Testo a stampa [BP00017418] Rimuovi da preferiti Aggiungi a preferiti
	7.	Spoto, Nicola Fausto *Analysis of logic programs through linear rifenement / Nicola Fausto Spoto Pisa : Università, Dipartimento di Informatica, 2000 Monografia - Testo a stampa [BP00017545] Rimuovi da preferiti Aggiungi a preferiti
	8.	Lenisa, Marina *Themes in finale semantics / Marina Lenisa Pisa : Università, Dipartimento di Informatica, 1998 Monografia - Testo a stampa [BP00016958] Rimuovi da preferiti Aggiungi a preferiti
	9.	Moreno, René A semantic framework for analysis and verification of concurrent constraint programming / Renè Moreno Pisa : Università, Dipartimento di Informatica ; Seu, 2000 Monografia - Testo a stampa [BP00017120] Rimuovi da preferiti Aggiungi a preferiti
	10.	Renso, Chiara *Mechanism for semantic integration of deductive databases / Chiara Renso Pisa : Università, Dipartimento di Informatica, 1998 Monografia - Testo a stampa [BP00017132] Rimuovi da preferiti Aggiungi a preferiti

Polo SBN Biblioteca Universitaria di Pisa

Risultati sintetici 1 : 10 (36)

Polo SBN
Biblioteca Universitaria di Pisa