LEADER 01416nam0-22004811i-450- 001 990003052990403321 005 20121112180954.0 010 $a0-444-01609-0 035 $a000305299 035 $aFED01000305299 035 $a(Aleph)000305299FED01 035 $a000305299 100 $a20121112d1991----km-y0itay50------ba 101 0 $aeng 102 $aNL 105 $aa-------001yy 200 1 $aDynamic optimization$ethe calculus of variations and optimal control in economics and management$fMorton I. Kamien, Nancy L. Schwartz 205 $a2nd ed. 210 $aAmsterdam ; New York$cNorth-Holland$dc1991 215 $aXVII, 369 p.$d24 cm 225 1 $aAdvanced textbooks in economics$v31 610 0 $aEconomia$aMatematica 610 0 $aOttimizzazione matematica$aCalcolo delle variazioni 610 0 $aTeoria del controllo 676 $a629.831 2 676 $a519.3 700 1$aKamien,$bMorton I.$0104567 701 1$aSchwartz,$bNancy Lou$0104568 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003052990403321 952 $aXV I 301$fDTE 952 $aB/3.0 KAM$b12630$fSES 952 $a10 D III 633$b2675 DIS$fDINEL 952 $aZA-4-TB$b3990 DEA$fECA 952 $a02 49 C 86$b8216$fFINBN 959 $aSES 959 $aDINEL 959 $aDTE 959 $aECA 959 $aFINBN 996 $aDynamic optimization$943886 997 $aUNINA LEADER 03003nam 2200637 a 450 001 9910456152703321 005 20200520144314.0 010 $a1-282-75747-4 010 $a9786612757471 010 $a981-283-729-9 035 $a(CKB)2490000000001780 035 $a(EBL)731063 035 $a(OCoLC)670429608 035 $a(SSID)ssj0000412391 035 $a(PQKBManifestationID)12101019 035 $a(PQKBTitleCode)TC0000412391 035 $a(PQKBWorkID)10367413 035 $a(PQKB)10093998 035 $a(MiAaPQ)EBC731063 035 $a(WSP)00007122 035 $a(Au-PeEL)EBL731063 035 $a(CaPaEBR)ebr10422652 035 $a(CaONFJC)MIL275747 035 $a(EXLCZ)992490000000001780 100 $a20100419d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated database applications testing$b[electronic resource] $especification representation for automated reasoning /$fRana Farid Mikhail, Donald Berndt & Abraham Kandel 210 $aSingapore ;$aHackensack, NJ $cWorld Scientific$dc2010 215 $a1 online resource (212 p.) 225 1 $aSeries in machine perception and artificial intelligence ;$vv. 76 300 $aDescription based upon print version of record. 311 $a981-283-728-0 320 $aIncludes bibliographical references (p. 185-192) and index. 327 $aPreface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index 330 $aThis book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code. 410 0$aSeries in machine perception and artificial intelligence ;$vv. 76. 606 $aComputer software$xTesting$xAutomation 606 $aDatabase design 608 $aElectronic books. 615 0$aComputer software$xTesting$xAutomation. 615 0$aDatabase design. 676 $a005.1/4 700 $aMikhail$b Rana Farid$0984765 701 $aBerndt$b Donald J$0984766 701 $aKandel$b Abraham$028590 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910456152703321 996 $aAutomated database applications testing$92250266 997 $aUNINA LEADER 03138nam 2200709 a 450 001 9910789772703321 005 20200520144314.0 010 $a1-283-23391-6 010 $a9786613233912 010 $a1-61148-013-2 035 $a(CKB)2670000000113057 035 $a(EBL)753246 035 $a(OCoLC)747410601 035 $a(SSID)ssj0000537806 035 $a(PQKBManifestationID)12216579 035 $a(PQKBTitleCode)TC0000537806 035 $a(PQKBWorkID)10554519 035 $a(PQKB)11606359 035 $a(MiAaPQ)EBC753246 035 $a(Au-PeEL)EBL753246 035 $a(CaPaEBR)ebr10493731 035 $a(CaONFJC)MIL323391 035 $a(EXLCZ)992670000000113057 100 $a20100115d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aImagining modernity in the Andes$b[electronic resource] /$fPriscilla Archibald 210 $aLewisburg [Pa.] $cBucknell University Press$d2011 215 $a1 online resource (207 p.) 300 $aDescription based upon print version of record. 311 $a1-61148-012-4 320 $aIncludes bibliographical references and index. 327 $aIntroduction: Andean modernities -- Decolonizing the aristocratic republic -- Literary indigenismo -- Science in the Andes -- Andean cosmopolitanism: the city as the female grotesque -- Urban transculturations: -- Conclusion : film, indigenous video and indigeneity in the Andes. 330 $aThis interdisciplinary work deals with the intersection of projects of modernity with constructions of race and ethnicity in the Andes. The book analyzes indigenista writings, the multidisciplinary work of ose? Mari?a Arguedas, and the anthropological experiments of the nineteen-fifties. It addresses the relevance of transculturation theory in a transnational age and analyzes the emergence of new visual media in a cultural context long defined by the oral-textual divide. 606 $aPeruvian literature$y20th century$xHistory and criticism 606 $aPeruvian literature$xIndian authors$xHistory and criticism 606 $aModernism (Literature)$zPeru 606 $aIndigenous peoples in literature 606 $aEthnicity in literature 606 $aNational characteristics, Peruvian, in literature 606 $aIndians of South America$zPeru$xEthnic identity 607 $aPeru$xIn literature 607 $aPeru$xIntellectual life$y20th century 615 0$aPeruvian literature$xHistory and criticism. 615 0$aPeruvian literature$xIndian authors$xHistory and criticism. 615 0$aModernism (Literature) 615 0$aIndigenous peoples in literature. 615 0$aEthnicity in literature. 615 0$aNational characteristics, Peruvian, in literature. 615 0$aIndians of South America$xEthnic identity. 676 $a860.9/985 700 $aArchibald$b Priscilla$f1961-$01478089 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910789772703321 996 $aImagining modernity in the Andes$93693644 997 $aUNINA