LEADER 00884nam0-22003011i-450- 001 990006098820403321 005 19980601 035 $a000609882 035 $aFED01000609882 035 $a(Aleph)000609882FED01 035 $a000609882 100 $a19980601d1987----km-y0itay50------ba 105 $a--------00-yy 200 1 $aRepertori bibliografici del cinquecento$fMaria Cochetti ; con una premessa di Alfredo Serrai. 210 $aRoma$cBulzoni$d1987 215 $a152 p.$d24 cm 225 1 $a<>bibliotecario$v3 676 $a010.9 700 1$aCochetti,$bMaria$f<1935-1998>$0171405 702 1$aSerrai,$bAlfredo$f<1932- > 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006098820403321 952 $aXIX E 22 (3)$b19087*$fFGBC 959 $aFGBC 996 $aRepertori bibliografici del Cinquecento$9232203 997 $aUNINA DB $aGIU01 LEADER 02283nlm0 22006251i 450 001 990009255630403321 010 $a9783540789291 035 $a000925563 035 $aFED01000925563 035 $a(Aleph)000925563FED01 035 $a000925563 100 $a20100926d2008----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aHybrid Systems: Computation and Control$bRisorsa elettronica$e11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Magnus Egerstedt, Bud Mishra 210 $aBerlin ; Heidelberg$cSpringer$d2008 225 1 $aLecture Notes in Computer Science$x0302-9743$v4981 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aEgerstedt,$bMagnus 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aMattern,$bFriedemann 702 1$aMishra,$bBud 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPandu Rangan,$bC. 702 1$aSteffen,$bBernhard 702 1$aSudan,$bMadhu 702 1$aTerzopoulos,$bDemetri 702 1$aTygar,$bDoug 702 1$aVardi,$bMoshe Y. 702 1$aWeikum,$bGerhard 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-78929-1 901 $aEB 912 $a990009255630403321 961 $aComputation by Abstract Devices 961 $aComputer science 961 $aComputer Science 961 $aComputer simulation 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aProcessor Architectures 961 $aSimulation and Modeling 961 $aSoftware engineering 961 $aSoftware Engineering 961 $aSpecial Purpose and Application-Based Systems 996 $aHybrid Systems: Computation and Control$9773130 997 $aUNINA LEADER 01885nam0 2200385 i 450 001 CFI0212126 005 20251003044135.0 010 $a881403821X 020 $aIT$b93-71 100 $a20130827d1992 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aDeontica in von Wright$fPaolo Di Lucia 210 $aMilano$cA. Giuffrè$d1992 215 $a144 p.$d23 cm. 225 | $aQuaderni di filosofia analitica del diritto$fUniversità di Milano, Facoltà di giurisprudenza, Istituto di filosofia e sociologia del diritto$g[poi] Università di Milano, Facoltà di giurisprudenza, Dipartimento Cesare Beccaria, Sezione di filosofia e sociologia del diritto$v9 410 0$1001CFI0066825$12001 $aQuaderni di filosofia analitica del diritto$fUniversità di Milano, Facoltà di giurisprudenza, Istituto di filosofia e sociologia del diritto$g[poi] Università di Milano, Facoltà di giurisprudenza, Dipartimento Cesare Beccaria, Sezione di filosofia e sociologia del diritto$v9$171201$aUniversità degli studi di Milano$b : Istituto di filosofia e sociologia del diritto$3CFIV007440 606 $aWright, Georg Henrik : von$xLogica$2FIR$3CFIC061541$9I 676 $a160$9LOGICA$v21 676 $a160$9Logica$v22 676 $a340$9DIRITTO$v12 696 $aLogica filosofica 699 $aLogica$yLogica filosofica 700 1$aDi Lucia$b, Paolo$3CFIV118440$4070$0184515 801 3$aIT$bIT-000000$c20130827 850 $aIT-BN0095 901 $bNAP 01$cD $n$ 912 $aCFI0212126 950 0$aBiblioteca Centralizzata di Ateneo$d 01D (AR) 24 665$e 01AR 7002466655 VMA A4(0009 v. 9$fY $h19990225$i20181217 977 $a 01 996 $aDeontica in von Wright$9687113 997 $aUNISANNIO