top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Automated Reasoning with Analytic Tableaux and Related Methods [Risorsa elettronica] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert
Automated Reasoning with Analytic Tableaux and Related Methods [Risorsa elettronica] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2005
Collana Lecture Notes in Computer Science
ISBN 9783540318224
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009237540403321
Berlin ; Heidelberg : Springer, 2005
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Tests and Proofs [Risorsa elettronica] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle
Tests and Proofs [Risorsa elettronica] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2008
Collana Lecture Notes in Computer Science
ISBN 9783540791249
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009255710403321
Berlin ; Heidelberg : Springer, 2008
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Verification of Object-Oriented Software. The KeY Approach [Risorsa elettronica] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Verification of Object-Oriented Software. The KeY Approach [Risorsa elettronica] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2007
Collana Lecture Notes in Computer Science
ISBN 9783540690610
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009246090403321
Berlin ; Heidelberg : Springer, 2007
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui