Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 21 : 30 (94)

Ricerca: Collezione = studi » Luogo di pubblicazione = pisa » Collezione = tr
Risultati: 21-30 di 94
 
|« | « | 1|2|3 |4|5| » | »|
 
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]
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]
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]
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]
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]
Luccio, Fabrizio
Introducing spatial graphs / Fabrizio Luccio, Linda Pagli
Pisa : Universita degli studi, Dipartimento di informatica, 1994
Monografia - Testo a stampa [PIS0009210]
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]
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]
Filtri
  • Livello bibliografico
    • monografia (94)
  • Tipo di materiale
    • testo a stampa (94)
  • Biblioteca
  • Autore
  • Collezione
    • tr (94)
    • universita degli studi di pisa, dipartimento di informatica (94)
    • universita di pisa (94)
  • Luogo di pubblicazione
  • Editore
  • Anno di pubblicazione
  • Lingua
  • Paese
    • italia (94)
|« | « | 1|2|3 |4|5| » | »|
Risultati: 21-30 di 94