RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.206 secondi).
Carbon
2008-01-01 Padovani, Luca
FuSe - A simple library implementation of binary sessions
2015-01-01 Luca Padovani
GMetaDOM
2007-01-01 Claudio Sacerdoti Coen; Luca Padovani; Stefano Zacchiroli
Gnome DOM Engine
2003-01-01 Paolo Casarini; Luca Padovani
GtkMathView
2007-01-01 Luca Padovani
Hypha - Type Reconstruction for the Linear π-Calculus
2013-01-01 Luca Padovani
Path Expression Templates Library
2005-01-01 Padovani, Luca
PiDuce
2007-01-01 Samuele Carpineti; Cosimo Laneve; Leonardo Mezzina; Luca Padovani
SPAn - Session Progress Analyzer
2012-01-01 Federico Angaramo; Paolo Inaudi; Ines Margaria; Luca Padovani
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Carbon | 2008 | Padovani, Luca | |
FuSe - A simple library implementation of binary sessions | 2015 | Luca Padovani | |
GMetaDOM | 2007 | Claudio Sacerdoti Coen; Luca Padovani; Stefano Zacchiroli | |
Gnome DOM Engine | 2003 | Paolo Casarini; Luca Padovani | |
GtkMathView | 2007 | Luca Padovani | |
Hypha - Type Reconstruction for the Linear π-Calculus | 2013 | Luca Padovani | |
Path Expression Templates Library | 2005 | Padovani, Luca | |
PiDuce | 2007 | Samuele Carpineti; Cosimo Laneve; Leonardo Mezzina; Luca Padovani | |
SPAn - Session Progress Analyzer | 2012 | Federico Angaramo; Paolo Inaudi; Ines Margaria; Luca Padovani |
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.206 secondi).
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 07-ALTRO PRODOTTO SCIENTIFICO 9
- 07-ALTRO PRODOTTO SCIENTIFICO::07... 9
Data di pubblicazione
- 2010 - 2015 3
- 2003 - 2009 6
Editore
- Università di Bologna 3
- Università di Bologna, Università... 2
- Università di Torino 2
- Dipartimento di Informatica, Univ... 1
- Università di Urbino 1
Keyword
- functional programming 2
- Code Generators 1
- Compiler 1
- Document Object Model 1
- language bindings 1
- Libraries 1
- MathML 1
- Pi calculus 1
- rendering engine 1
- subschema relation 1
Lingua
- eng 9
Accesso al fulltext
- no fulltext 9