Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 1 : 50 (85)

Ricerca: Collezione = Studi » Lingua = inglese » Editore = universita degli studi, dipartimento di informatica
Risultati: 1-50 di 85
 
| | 1 |2| » | »|
 
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]
De Jaco, Bettina
Finding all the palindromes of a string in linear time and space / B. De Jaco, F. Luccio
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008377]
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]
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]
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]
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]
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]
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]
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]
Montangero, Carlo
Composing specifications for coordination / Montangero C., Semini L
Pisa : Universita degli studi, Dipartimento di informatica, [1998?]
Monografia - Testo a stampa [PIS0009297]
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]
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]
Baldelli, Laura
Self-diagnosis of array processors / L. Baldelli, P. Maestrini
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009183]
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]
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]
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]
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]
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]
Carraresi, Paolo
Partitioning the service period of a bus line into uniform travelling time shifts via network flow algorithms / Paolo Carraresi, Federico Malucelli, Claudio Sandi
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009240]
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]
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]
Luccio, Fabrizio
Introducing spatial graphs updates version / Fabrizio Luccio, Linda Pagli
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009255]
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]
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]
Viry, Patrick
Elimination of conditions / Patrick Viry
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009272]
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]
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]
Masini, Andrea <1958- >
2-Sequent calculus : classical modal logic / A. Masini
Pisa : Universita degli Studi, Dipartimento di Informatica, 1991
Monografia - Testo a stampa [PIS0008398]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
Sassone, Vladimiro
Some remarks on concatenable processes / Vladimiro Sassone
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009190]
Ferragina, Paolo
Parallel dynamic edge deletion for MST / Paolo Ferragina
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009194]
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]
Balsamo, Simonetta
Approximate response time distribution in fork and join systems / Simonetta Balsamo, Ivan Mura
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009199]
Roversi, Luca
Curry-Howard isomorphism for intuitionistic linear logic : proof-theorist's and computer-scientist's perspectives / Luca Roversi
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009222]
Sperduti, Alessandro
Fixed length representation of terms in hybrid reasoning systems : report 1. : classification of ground terms / Alessandro Sperduti, Antonina Starita, Christoph Goller
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009236]
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]
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]
Max Horn SAT and the minimum cut problem in directed hypergraphs / Giorgio Gallo ... [et al.]
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009264]
Petrini, Fabrizio
K-ary N-trees : high performance networks for massively parallel architectures / Fabrizio Petrini, Marco Vanneschi
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009269]
Viry, Patrick
Rewriting modulo a rewrite system / Patrick Viry
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009274]
Filtri
  • Livello bibliografico
    • monografia (85)
  • Tipo di materiale
    • testo a stampa (85)
  • Biblioteca
  • Autore
  • Collezione
  • Luogo di pubblicazione
    • pisa (85)
  • Editore
    • universita degli studi, dipartimento di informatica (85)
  • Anno di pubblicazione
  • Lingua
    • inglese (85)
  • Paese
    • italia (85)
| | 1 |2| » | »|
Risultati: 1-50 di 85