Polo SBN
Biblioteca Universitaria di Pisa

IT EN

Help

Risultati sintetici 1 : 50 (95)

Ricerca: Titoli collegati = Pisa. » Collezione = universita degli studi di pisa, dipartimento di informatica

Risultati: 1-50 di 95

1 2 » »|

Visualizza selezionati
Visualizza Tutti
Stampa
mail

Filtri

Livello bibliografico
- monografia (95)
Tipo di materiale
- testo a stampa (95)
Biblioteca
- Biblioteca universitaria di Pisa (91)
Autore
- gallo, giorgio <1942- > (10)
- frangioni, antonio (9)
- scutella, maria grazia (9)
- luccio, fabrizio (6)
- cappanera, paola (5)
  »
Collezione
- tr (95)
- universita degli studi di pisa, dipartimento di informatica (95)
- universita di pisa (95)
Luogo di pubblicazione
Editore
Anno di pubblicazione
- 1991 (28)
- 1994 (21)
- 1995 (21)
- 1996 (7)
- 1999 (7)
  »
Lingua
- inglese (90)
- italiano (5)
Paese
- italia (95)

Visualizza selezionati
Visualizza Tutti
Stampa
mail

1 2 » »|

Risultati: 1-50 di 95

	1.	Viry, Patrick Elimination of conditions / Patrick Viry Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009272] Rimuovi da preferiti Aggiungi a preferiti
	2.	Frangioni, Antonio Generalized bundle methods / Antonio Frangioni Pisa : Universita degli studi, Dipartimento di informatica, 2000 Monografia - Testo a stampa [PIS0009304] Rimuovi da preferiti Aggiungi a preferiti
	3.	International workshop on meta programming in logic <4. ; 1994 ; Pisa> Pre-proceedings of META 94 : fourth international workshop on Meta programming in logic : Pisa-Italy, Palazzo dei Congressi, June 20-21, 1994 Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009191] Rimuovi da preferiti Aggiungi a preferiti
	4.	Nguyen, Sang Ipercammini attivi in reti di trasporto / S. Nguyen, S. Pallottino Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008385] Rimuovi da preferiti Aggiungi a preferiti
	5.	Montangero, Carlo Composing specifications for coordination / Montangero C., Semini L Pisa : Universita degli studi, Dipartimento di informatica, [1998?] Monografia - Testo a stampa [PIS0009297] Rimuovi da preferiti Aggiungi a preferiti
	6.	Cappanera, Paola On the airline erew rostering problem / Paola Cappanera, Giorgio Gallo Pisa : Universita degli studi, Dipartimento di informatica, 2001 Monografia - Testo a stampa [PIS0009310] Rimuovi da preferiti Aggiungi a preferiti
	7.	Baldelli, Laura Self-diagnosis of array processors / L. Baldelli, P. Maestrini Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009183] Rimuovi da preferiti Aggiungi a preferiti
	8.	Luccio, Fabrizio Introducing spatial graphs updates version / Fabrizio Luccio, Linda Pagli Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009255] Rimuovi da preferiti Aggiungi a preferiti
	9.	Masini, Andrea <1958- > 2-Sequent calculus : classical modal logic / A. Masini Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008398] Rimuovi da preferiti Aggiungi a preferiti
	10.	Kakas, Antonis C. Stable theories for logic programs / A. C. Kakas, P. Mancarella Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008404] Rimuovi da preferiti Aggiungi a preferiti
	11.	Masini, Andrea <1958- > 2-Sequent calculus : intuitionism and natural deduction / Andrea Masini Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008413] Rimuovi da preferiti Aggiungi a preferiti
	12.	Chessa, Stefano <1969 dicembre 28- ; Sassari> Adaptive self-diagnosis of array processors / S. Chessa, P. Maestrini Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009185] Rimuovi da preferiti Aggiungi a preferiti
	13.	Sassone, Vladimiro Some remarks on concatenable processes / Vladimiro Sassone Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009190] Rimuovi da preferiti Aggiungi a preferiti
	14.	Ferragina, Paolo Parallel dynamic edge deletion for MST / Paolo Ferragina Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009194] Rimuovi da preferiti Aggiungi a preferiti
	15.	Viry, Patrick Rewriting modulo a rewrite system / Patrick Viry Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009274] Rimuovi da preferiti Aggiungi a preferiti
	16.	Cambini, Riccardo Flows on hypergraphs / Cambini Riccardo, Gallo Giorgio, Scutella Maria Grazia Pisa : Universita degli studi, Dipartimento di informatica, 1996 Monografia - Testo a stampa [PIS0009280] Rimuovi da preferiti Aggiungi a preferiti
	17.	Semini, Laura A riferiment calculus for Tuple spaces / L. Semini, C. Montangero Pisa : Universita degli studi, Dipartimento di informatica, [1999] Monografia - Testo a stampa [PIS0009302] Rimuovi da preferiti Aggiungi a preferiti
	18.	Cappanera, Paola A survey on obnoxius facility location problems / Paola Cappanera Pisa : Universita degli studi, Dipartimento di informatica, [1999] Monografia - Testo a stampa [PIS0009309] Rimuovi da preferiti Aggiungi a preferiti
	19.	Non-determinism in deductive databases / F. Giannotti ... [et al.] Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008408] Rimuovi da preferiti Aggiungi a preferiti
	20.	Modelling prolog control / R. Barbuti ... [et al.] Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008410] Rimuovi da preferiti Aggiungi a preferiti
	21.	Oracle semantics for prolog / R. Barbuti ... [et al.] Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009189] Rimuovi da preferiti Aggiungi a preferiti
	22.	Luccio, Fabrizio Introducing spatial graphs / Fabrizio Luccio, Linda Pagli Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009210] Rimuovi da preferiti Aggiungi a preferiti
	23.	A combined transportation and scheduling problem / Luisa Equi ... [et al.] Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009249] Rimuovi da preferiti Aggiungi a preferiti
	24.	Arenas-Sanchez, Puri Minimal set unification / Puri Arenas-Sanchez, Agostino Dovier Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009250] Rimuovi da preferiti Aggiungi a preferiti
	25.	Gabbrielli, Maurizio Unfolding and fixpoint semantics of concurrent constraint logic programs / M. Gabbrielli, G. Levi Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008374] Rimuovi da preferiti Aggiungi a preferiti
	26.	Grossi, Roberto <informatico> A simple solution for detecting mismatching palindromes in a string / R. Grossi Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008390] Rimuovi da preferiti Aggiungi a preferiti
	27.	Apt, Krzysztof R. <1949-> Reasoning about termination of prolog programs / K. R. Apt, D. Pedreschi Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008399] Rimuovi da preferiti Aggiungi a preferiti
	28.	Monti, Angelo A gap theorem for the anonymous torus / Angelo Monti, Alessandro Roncato Pisa : Universita degli studi, Dipartimento di Informatica, 1994 Monografia - Testo a stampa [PIS0009227] Rimuovi da preferiti Aggiungi a preferiti
	29.	Gallo, Giorgio <1942- > Hamiltonian paths algorithms for disk scheduling / Giorgio Gallo, Federico Malucelli, Martina Marre Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009238] Rimuovi da preferiti Aggiungi a preferiti
	30.	Balsamo, Simonetta Bound performance models of heterogeneous parallel processing systems / Simonetta Balsamo, Lorenzo Donatiello, N. Van Dijk Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009200] Rimuovi da preferiti Aggiungi a preferiti
	31.	Guerrini, Stefano A linear algebra approach optimal L-Graph reduction / Stefano Guerrini Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009212] Rimuovi da preferiti Aggiungi a preferiti
	32.	Gemignani, Luca Factorization of a polynomial by generalized LR algorithm / Luca Gemignani Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009214] Rimuovi da preferiti Aggiungi a preferiti
	33.	Serra, Stefano On the extreme eigenvalues of Hermitian Toeplitz (and block Toeplitz) matrices / Stefano Serra Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009225] Rimuovi da preferiti Aggiungi a preferiti
	34.	Roncato, Alessandro The Knowledge of the number of distinct inputs values in anonymous rings / Alessandro Roncato Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009228] Rimuovi da preferiti Aggiungi a preferiti
	35.	Sperduti, Alessandro Dynamical neural networks construction for processing of labeled structures / Alessandro Sperduti, Antonina Starita Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009241] Rimuovi da preferiti Aggiungi a preferiti
	36.	Bacci, Bruno On the implementation of the MAP paradigm on a 2D-mesh / Bruno Bacci, Susanna Pelagatti Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009243] Rimuovi da preferiti Aggiungi a preferiti
	37.	Balsamo, Simonetta Analytical and simulative methodologies in hierarchical system performance modeling / Simonetta Balsamo, Lorenzo Donatiello, Raffaella Mirandola Pisa : Universita degli studi, Dipartimento di informatica, 1992 Monografia - Testo a stampa [PIS0009262] Rimuovi da preferiti Aggiungi a preferiti
	38.	Gallo, Giorgio <1942- > The hypergraph simplex approach : some experimental results / Giorgio Gallo, Ferdinando Licheri, Maria Grazia Scutella Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009265] Rimuovi da preferiti Aggiungi a preferiti
	39.	Pallottino, Stefano Dual algorithms for the Shortest Path Tree Problem / Pallottino Stefano, Scutella M. Grazia Pisa : Universita degli studi, Dipartimento di informatica, 1996 Monografia - Testo a stampa [PIS0009279] Rimuovi da preferiti Aggiungi a preferiti
	40.	Gruska, Damas P. A timed process description language based on CCS / D. P. Gruska, A. Maggiolo-Schettini Pisa: Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008392] Rimuovi da preferiti Aggiungi a preferiti
	41.	Bertossi, A. A. Scheduling algorithms for fault-tolerance in hard-real-time systems / A. A. Bertossi, L. V. Mancini Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008401] Rimuovi da preferiti Aggiungi a preferiti
	42.	Bertossi, A. A. Fault-tolerant task scheduling in multiprocessor systems / A. A. Bertossi, L. V. Mancini Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008402] Rimuovi da preferiti Aggiungi a preferiti
	43.	Contributions to the semantics of open logic programs / A. Bossi ... [et al.] Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008403] Rimuovi da preferiti Aggiungi a preferiti
	44.	Pallottino, Stefano Strongly polynomial auction algorithms for shortest paths / Stefano Pallottino, Maria Grazia Scutella Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008406] Rimuovi da preferiti Aggiungi a preferiti
	45.	Alpuente, Maria Incremental constraint satisfaction for equational logic programming / M. Alpuente, M. Falaschi, G. Levi Pisa ; Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008407] Rimuovi da preferiti Aggiungi a preferiti
	46.	A methodology for the development and the support of massively parallel programs / M. Danelutto ... [et al.] Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008412] Rimuovi da preferiti Aggiungi a preferiti
	47.	Danelutto, Marco TLwT : a temporal logic for concurrent programs / M. Danelutto, A. Masini Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008414] Rimuovi da preferiti Aggiungi a preferiti
	48.	Pretolani, Daniele A linear time algorithm for unique Horn satisfiability / Daniele Pretolani Pisa : Universita degli studi, Dipartimento di Informatica, 1992 Monografia - Testo a stampa [PIS0008752] Rimuovi da preferiti Aggiungi a preferiti
	49.	Maestrini, Piero Self-diagnosis of regularly interconnected systems based on a comparison model / P. Maestrini, P. Santi Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009187] Rimuovi da preferiti Aggiungi a preferiti
	50.	Carraresi, Paolo Regional mass transit assignment with resource constraints / Paolo Carraresi, Federico Malucelli, Stefano Pallottino Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009197] Rimuovi da preferiti Aggiungi a preferiti

Polo SBN Biblioteca Universitaria di Pisa

Risultati sintetici 1 : 50 (95)

Polo SBN
Biblioteca Universitaria di Pisa