Polo SBN
Biblioteca Universitaria di Pisa

IT EN

Help

Risultati sintetici 1 : 50 (85)

Ricerca: Collezione = studi » Paese = italia » Livello bibliografico = monografia » Lingua = inglese » Editore = universita degli studi, dipartimento di informatica

Risultati: 1-50 di 85

1 2 » »|

Filtri

Livello bibliografico
- monografia (85)
Tipo di materiale
- testo a stampa (85)
Biblioteca
- Biblioteca universitaria di Pisa (82)
Autore
- frangioni, antonio (9)
- gallo, giorgio <1942- > (8)
- scutella, maria grazia (8)
- cappanera, paola (5)
- luccio, fabrizio (5)
  »
Collezione
- universita di pisa (85)
- tr (84)
- universita degli studi di pisa, dipartimento di informatica (84)
- del dipartimento di informatica della universita degli studi di pisa (1)
- scientific monograph sm (1)
Luogo di pubblicazione
- pisa (85)
Editore
- universita degli studi, dipartimento di informatica (85)
Anno di pubblicazione
- 1991 (25)
- 1994 (21)
- 1995 (18)
- 1999 (6)
- 1992 (5)
  »
Lingua
- inglese (85)
Paese
- italia (85)

1 2 » »|

Risultati: 1-50 di 85

	1.	Antonelli, Silvano <matematico> On the complexity of the mapping problem for massively parallel architectures /S. Antonelli, S. Pelagiotti Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008383] Rimuovi da preferiti Aggiungi a preferiti
	2.	Brogi, Antonio <informatico> Compositional model-theoretic semantics for logic programs / A. Brogi, E. Lamma, P. Mello Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008391] Rimuovi da preferiti Aggiungi a preferiti
	3.	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
	4.	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
	5.	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
	6.	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
	7.	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
	8.	Lodi, Elena Diagonal channel routing with vias at unit distance / E. Lodi, F. Luccio, L. Pagli Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008409] Rimuovi da preferiti Aggiungi a preferiti
	9.	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
	10.	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
	11.	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
	12.	Gallo, Giorgio <1942- > The satisfiability problem for the Schoenfinkel-Bernays fragment : partial instantiation and hipergraph algorithms / G. Gallo, G. Rago Pisa : Universita degli studi, Dipartimento di informatica, 1994 Monografia - Testo a stampa [PIS0009188] Rimuovi da preferiti Aggiungi a preferiti
	13.	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
	14.	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
	15.	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
	16.	Frangioni, Antonio Solving semidefinite quadratic problems within nonsmooth optimization algorithms / Antonio Frangioni Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009261] Rimuovi da preferiti Aggiungi a preferiti
	17.	Frangioni, Antonio A bundle type dual-ascent approach to linear multicommodity min cost flow problems / Antonio Frangioni, Giorgio Gallo Pisa : Universita degli studi, Dipartimento di informatica, 1996 Monografia - Testo a stampa [PIS0009275] Rimuovi da preferiti Aggiungi a preferiti
	18.	Petrini, Fabrizio K-ary N-trees : high performance networks for massively parallel architectures / Petrini Fabrizio, Vanneschi Marco Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009277] Rimuovi da preferiti Aggiungi a preferiti
	19.	Pedrotti, Alberto Combinatorial algorithms in the presence of random errors : 2. / Pedrotti Alberto Pisa : Universita degli studi, Dipartimento di informatica, 1996 Monografia - Testo a stampa [PIS0009289] Rimuovi da preferiti Aggiungi a preferiti
	20.	Farinaccio, Fernanda Evaluation of DEA validity as a MCDA/M tool : some problems and issues / Fernanda Farinaccio, Anna Ostanello Pisa : Universita degli studi, Dipartimento di informatica, 1999 Monografia - Testo a stampa [PIS0009299] Rimuovi da preferiti Aggiungi a preferiti
	21.	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
	22.	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
	23.	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
	24.	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
	25.	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
	26.	Bertossi, A. A. Parallel string-matching with variable length don't cares / A. A. Bertossi, F. Logi Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008411] Rimuovi da preferiti Aggiungi a preferiti
	27.	De Jaco, Bettina Finding all the palindromes in a binary tree in linear time and space / B. De Jaco, F. Luccio Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008415] Rimuovi da preferiti Aggiungi a preferiti
	28.	Sperduti, Alessandro Speed up learning and network optimization with entended back propagation / Alessandro Sperduti, Antonina Starita Pisa : Universita degli Studi, Dipartimento di Informatica, 1992 Monografia - Testo a stampa [PIS0008416] Rimuovi da preferiti Aggiungi a preferiti
	29.	Gallo, Giorgio <1942- > A new algorithm for the propositional satisfiability problem / Giorgio Gallo, Daniele Pretolani Pisa : Universita degli Studi, Dipartimento di Informatica, 1992 Monografia - Testo a stampa [PIS0008417] Rimuovi da preferiti Aggiungi a preferiti
	30.	Serra, Stefano Multi-interative methods : applications to (block) banded tolplitz linear systems / Stefano Serra Pisa : Universita degli studi, Dipartimento di Informatica, 1992 Monografia - Testo a stampa [PIS0008499] Rimuovi da preferiti Aggiungi a preferiti
	31.	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
	32.	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
	33.	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
	34.	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
	35.	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
	36.	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
	37.	Sperduti, Alessandro A note on the learning procedures for the RAAM family / Alessandro Sperduti, Antonina Starita Pisa : Universita degli studi, Dipartimento di informatica, 1995 Monografia - Testo a stampa [PIS0009242] Rimuovi da preferiti Aggiungi a preferiti
	38.	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
	39.	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
	40.	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
	41.	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
	42.	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
	43.	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
	44.	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
	45.	Manni, Carla Lower bounds on the dimension of bivariate spline spaces and a conjecture of jia / C. Manni Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008396] Rimuovi da preferiti Aggiungi a preferiti
	46.	Barbuti, Roberto A general framework for semantics-based bottom-up abstract interpretation of logic programs / R. Barbuti, R. Giacobazzi, G. Levi Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Monografia - Testo a stampa [PIS0008397] Rimuovi da preferiti Aggiungi a preferiti
	47.	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
	48.	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
	49.	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
	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 (85)

Polo SBN
Biblioteca Universitaria di Pisa