Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 41 : 50 (177)

Ricerca: Collana = studi » Tipo di materiale = testo a stampa » Livello bibliografico = monografia » Luogo di pubblicazione = pisa » Lingua = inglese
Risultati: 41-50 di 177
 
|« | « | 3|4|5 |6|7| » | »|
 
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]
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]
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]
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]
Luccio, Fabrizio
Introducing spatial graphs updates version / Fabrizio Luccio, Linda Pagli
Pisa : Universita degli studi, Dipartimento di informatica, 1995
Monografia - Testo a stampa [PIS0009255]
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]
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]
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]
Filtri
  • Livello bibliografico
    • monografia (177)
  • Tipo di materiale
    • testo a stampa (177)
  • Biblioteca
  • Autore
  • Soggetto
  • Collezione
  • Titolo uniforme
  • Luogo di pubblicazione
  • Editore
  • Codice Dewey
  • Anno di pubblicazione
  • Lingua
  • Paese
    • italia (177)
|« | « | 3|4|5 |6|7| » | »|
Risultati: 41-50 di 177