LEADER 01769nam 2200409 n 450 001 996390762603316 005 20221108101116.0 035 $a(CKB)4940000000102392 035 $a(EEBO)2240873776 035 $a(UnM)99842202 035 $a(EXLCZ)994940000000102392 100 $a19910429d1584 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 04$aThe temporisour$b[electronic resource] $ethat is to say: the obseruer of time, or hee that changeth with the time. Compyled in Latin, by the excellent clarke, Wolfgang Musculus, and translated into French, by Maister Valleran Pulleyn. And out of French into English by R.P. 1555 210 $aImprinted at Edinburgh $cBy Thomas Vautroullier$d1584 215 $a[208] p 300 $aAn English translation, by Robert Pownall, of the French translation (by Vale?rand Poullain) of the Latin original of Wolfgang Musculus. 300 $aIncludes, with caption title: An excellent admonition, and resolution, of the godlie and famous learned man, Cælius Secundus Curio. 300 $aSignatures: A-N. 300 $aSome leaves stained, and cropped at head, affecting running titles. 300 $aReproduction of the original in the Folger Shakespeare Library. 330 $aeebo-0055 606 $aChristian life$vEarly works to 1800 615 0$aChristian life 700 $aMusculus$b Wolfgang$f1497-1563.$01001345 701 $aPoullain$b Vale?rand$fd. 1559 or 60.$01014367 701 $aPownall$b Robert$f1520-1571.$01009413 702 $aCurione$b Celio Secondo$f1503-1569.$4aut 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996390762603316 996 $aThe temporisour$92366757 997 $aUNISA LEADER 02147nas 2200637-a 450 001 9910140886603321 005 20210913213021.0 011 $a2344-4401 035 $a(OCoLC)762012900 035 $a(CKB)2670000000058892 035 $a(CONSER)--2012254066 035 $a(MiAaPQ)2026591 035 $a(DE-599)ZDB2612709-X 035 $a(EXLCZ)992670000000058892 100 $a20110228a20109999 --- - 101 0 $arum 135 $aur|n||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAerul ?i apa $ecomponente ale mediului 210 $aCluj-Napoca $cPresa Universitar? Clujean?$d2010- 300 $a"Dedicat? ZILEI MONDIALE A METEOROLOGIEI ?I ZILEI MONDIALE A APEI." 300 $aRefereed/Peer-reviewed 311 08$a2067-743X 517 3 $aAerul ?i apa : componente ale mediului 517 1 $aAir and water : components of the environment, 531 $aAERUL ?I APA 606 $aClimatic changes$vCongresses 606 $aWater-supply$xClimatic factors$vCongresses 606 $aWater quality$vCongresses 606 $aAir quality$vCongresses 606 $aPollution$vCongresses 606 $aAir quality$2fast$3(OCoLC)fst00802503 606 $aClimatic changes$2fast$3(OCoLC)fst00864229 606 $aPollution$2fast$3(OCoLC)fst01070069 606 $aWater quality$2fast$3(OCoLC)fst01171832 606 $aWater-supply$xClimatic factors$2fast$3(OCoLC)fst01172358 608 $aPeriodicals.$2fast 608 $aConference papers and proceedings.$2fast 615 0$aClimatic changes 615 0$aWater-supply$xClimatic factors 615 0$aWater quality 615 0$aAir quality 615 0$aPollution 615 7$aAir quality. 615 7$aClimatic changes. 615 7$aPollution. 615 7$aWater quality. 615 7$aWater-supply$xClimatic factors. 712 02$aUniversitatea "Babes?-Bolyai."$bFacultatea de Geografie. 712 12$aConferint?a Aerul s?i Apa Componente ale Mediului. 906 $aJOURNAL 912 $a9910140886603321 996 $aAerul ?i apa$92104886 997 $aUNINA LEADER 03311nam 22007575 450 001 9910483592903321 005 20251226203100.0 010 $a3-319-49052-4 024 7 $a10.1007/978-3-319-49052-6 035 $a(CKB)3710000000926190 035 $a(DE-He213)978-3-319-49052-6 035 $a(MiAaPQ)EBC6299266 035 $a(MiAaPQ)EBC5577959 035 $a(Au-PeEL)EBL5577959 035 $a(OCoLC)1066184819 035 $a(PPN)196323525 035 $a(EXLCZ)993710000000926190 100 $a20161031d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHardware and Software: Verification and Testing $e12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /$fedited by Roderick Bloem, Eli Arbel 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVI, 211 p. 60 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10028 311 08$a3-319-49051-6 327 $aPractice in verification -- Practice in testing -- Future directions of testing and verification for hardware, software, and complex hybrid systems. 330 $aThis book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v10028 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer networks 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aComputer Communication Networks 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aComputer Communication Networks. 676 $a005.1 702 $aBloem$b Roderick$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aArbel$b Eli$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483592903321 996 $aHardware and Software, Verification and Testing$9772242 997 $aUNINA