LEADER 03647nam 22007575 450 001 996465880903316 005 20230406070528.0 010 $a3-642-19835-X 024 7 $a10.1007/978-3-642-19835-9 035 $a(CKB)2670000000076061 035 $a(SSID)ssj0000541991 035 $a(PQKBManifestationID)11351457 035 $a(PQKBTitleCode)TC0000541991 035 $a(PQKBWorkID)10509710 035 $a(PQKB)10773359 035 $a(DE-He213)978-3-642-19835-9 035 $a(MiAaPQ)EBC3066551 035 $a(PPN)151589615 035 $a(EXLCZ)992670000000076061 100 $a20110314d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTools and Algorithms for the Construction and Analysis of Systems$b[electronic resource] $e17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /$fedited by Parosh Aziz Abdulla, K. Rustan M. Leino 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (XVI, 394 p. 134 illus., 30 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6605 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-19834-1 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26?April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6605 606 $aSoftware engineering 606 $aComputer science 606 $aComputer networks 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aComputer programming 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Communication Networks 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 606 $aProgramming Techniques 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputer networks. 615 0$aCompilers (Computer programs). 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Communication Networks. 615 24$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 676 $a005.1 702 $aAbdulla$b Parosh Aziz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLeino$b K. Rustan M$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465880903316 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNISA LEADER 01787nam0 22003733i 450 001 NAP0924242 005 20251003044301.0 010 $a9788820769383 100 $a20220812d2022 ||||0itac50 ba 101 | $aita$cita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aIngranaggi ad alto scorrimento (HSG)$efondamenti teorici per la progettazione di ingranaggi cilindrici con dentature ad evolvente a medio ed alto scorrimento$fMariano Migliaccio, Marianna Migliaccio, Alessio De Stefano$gprefazione di Francesco Timpone 210 $aNapoli$cLiguori$d2022 215 $a189 p.$cill.$d24 cm 500 10$aIngranaggi ad alto scorrimento (HSG)$3NAP0924243$9BVEV015809$93090878 606 $aIngranaggi cilindrici$xProgettazione$2FIR$3NAPC325190$9I 696 $aRuote dentate cilindriche 699 $aIngranaggi cilindrici$yRuote dentate cilindriche 700 1$aMigliaccio$b, Mariano$3BVEV015809$4070$0331015 701 1$aMigliaccio$b, Marianna$3NAPV207548$4070$01351160 701 1$aDe Stefano$b, Alessio$3NAPV207549$4070$01351159 702 1$aTimpone$b, Francesco$d $3BVEV227557$4080 801 3$aIT$bIT-000000$c20220812 850 $aIT-BN0095 $aIT-NA0079 901 $bNAP BN$cMAGAZZINO $nmagazzini correnti divisi per anni 901 $bNAP 01$cBCA $nComprende monografie e periodici di diritto, testi di ingegneria, di scienze e tecnologia di nuova acquisizione. 912 $aNAP0924242 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01BCA SC. TECNOL 310$e 01 0000127595 VMA 1 v.$fA $h20230921$i20230926 977 $a 01$a BN 996 $aIngranaggi ad alto scorrimento (HSG)$93090878 997 $aUNISANNIO