Logo Biblioteca

Polo SBN
Biblioteca Universitaria di Pisa

 
IT EN
Help

Risultati sintetici 11 : 20 (186)

Ricerca: Nomi = Pisa » Lingua = inglese » Anno di pubblicazione = 2000
Risultati: 11-20 di 186
 
|« | « | 1|2 |3|4|5| » | »|
 
Moreno, René
A semantic framework for analysis and verification of concurrent constraint programming / Renè Moreno
Pisa : Università, Dipartimento di Informatica ; Seu, 2000
Monografia - Testo a stampa [BP00017120]
Raffaeta, Alessandra
*Spatio-temporal knowledge bases in a constraint logic programming frame work with multiple theories / Alessandra Raffaetà
Pisa : Università, Dipartimento di Informatica : Seu, 2000
Monografia - Testo a stampa [BP00017135]
Santi, Paolo
*Evaluation of a self-diagnosis algo-rithm for regular structures / Paolo Santi
Pisa : Università, Dipartimento di Informatica : Seu, 2000
Monografia - Testo a stampa [BP00017237]
Bodei, Chiara
*Security issues in process calculi / Chiara Bodei.
Pisa : Università, Dipartimento di Informatica : SEU, 2000
Monografia - Testo a stampa [BP00017486]
Simone, Tini
*Structural operational semantics for synchronous languages / Simone, Tini
Pisa : Università, Dipartimento di Informatica, 2000
Monografia - Testo a stampa [BP00017508]
Spataro, Luca
The choice of retiring in Italy: an application and extension of the option value model / Luca spataro
Pisa : Università, Dipartimento di scienze economiche, 2000
Monografia - Testo a stampa [BP00017544]
*Paleontological and palaetnological localities along the Jordan Cost (Aquaba) / Landini Walter
Pisa : Università, Dipartimento di Scienze della Terra, 2000
Monografia - Testo a stampa [BP00017881]
Lanciotti, Agostino
*fatigue resistance of AISI 301 Spot welded Joints / Agostino Lanciotti
Pisa : Università, Dipartimento di Ingegneria aereospaziale : ETS, 2000
Monografia - Testo a stampa [BP00017767]
Zavanella, Andrea
*Skeletons and BSP : performance portability for parallel programming / Andrea Zavanella.
Pisa : Università, Dipartimento di informatica : Seu, 2000
Monografia - Testo a stampa [BP00017624]
International symposium on lattice field theory <17. ; 1999 ; Pisa>
Lattice 99 : proceedings of the 17. International symposium on lattice field theory, Pisa, Italy 29 June-3 July 1999 / edited by Massimo Campostrini ... et al.!
Amsterdam : North-Holland, 2000
Fa parte di: Nuclear physics. B, Proceedings supplements
Monografia - Testo a stampa [UFI0340766]
Filtri
  • Livello bibliografico
    • monografia (186)
  • Tipo di materiale
    • testo a stampa (186)
  • Biblioteca
    • Biblioteca universitaria di Pisa (186)
  • Autore
  • Soggetto
  • Luogo di pubblicazione
  • Editore
  • Anno di pubblicazione
    • 2000 (186)
  • Lingua
  • Paese
|« | « | 1|2 |3|4|5| » | »|
Risultati: 11-20 di 186