LEADER 01230nam--2200373---450- 001 990001562680203316 005 20050627181419.0 035 $a000156268 035 $aUSA01000156268 035 $a(ALEPH)000156268USA01 035 $a000156268 100 $a20040414d1972----km-y0itay0103----ba 101 0 $ager 102 $aDE 105 $a||||||||001yy 200 1 $a<> protestantismus und die romantik$ezur verstandigung uber die zeit und ihre gegensatze, ein manifest$fErnst Theodor Echtermeyer$gherausgegeben, kommentiert und mit einem vorwort versehen von Norbert Oellers 210 $aHildesheim$cGerstenberg$d1972 215 $aVIII, 146 p.$d27 cm 410 0$12001 454 1$12001 461 1$1001-------$12001 606 0 $aProtestantesimo e romanticismo 700 1$aECHTERMEYER,$bErnst Theodor$0467348 701 1$aRUGE,$bArnold$0385880 702 1$aOELLERS,$bNorbert 801 0$aIT$bsalbc$gISBD 912 $a990001562680203316 951 $aII.1.D. 2756 (IV C 2166)$b57053 L.M.$cIV C 959 $aBK 969 $aUMA 979 $aSIAV5$b10$c20040414$lUSA01$h1040 979 $aCOPAT4$b90$c20050627$lUSA01$h1814 996 $aProtestantismus und die romantik$9937687 997 $aUNISA LEADER 04172nam 22008295 450 001 996465407903316 005 20200703022420.0 010 $a3-642-41707-8 024 7 $a10.1007/978-3-642-41707-8 035 $a(CKB)3710000000024435 035 $a(SSID)ssj0001049646 035 $a(PQKBManifestationID)11555747 035 $a(PQKBTitleCode)TC0001049646 035 $a(PQKBWorkID)11034080 035 $a(PQKB)11479002 035 $a(DE-He213)978-3-642-41707-8 035 $a(MiAaPQ)EBC3093185 035 $a(PPN)176116834 035 $a(EXLCZ)993710000000024435 100 $a20131030d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting Software and Systems$b[electronic resource] $e25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /$fedited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XIV, 291 p. 84 illus.) 225 1 $aProgramming and Software Engineering ;$v8254 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-41706-X 327 $aModel-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging.   . 330 $aThis book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging. 410 0$aProgramming and Software Engineering ;$v8254 606 $aSoftware engineering 606 $aComputer communication systems 606 $aProgramming languages (Electronic computers) 606 $aSpecial purpose computers 606 $aComputer logic 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aProgramming languages (Electronic computers). 615 0$aSpecial purpose computers. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 676 $a005.14 702 $aYenigün$b Hüsnü$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYilmaz$b Cemal$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aUlrich$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465407903316 996 $aTesting software and systems$92088040 997 $aUNISA LEADER 01355nam 2200349 n 450 001 996385770703316 005 20221107225818.0 035 $a(CKB)1000000000602713 035 $a(EEBO)2240891872 035 $a(UnM)99853944 035 $a(EXLCZ)991000000000602713 100 $a19920707d1622 uy | 101 0 $alat 135 $aurbn||||a|bb| 200 10$aTheses philosophicae$b[electronic resource] $equas Dei opt. max. ductu, & auspiciis, ad diem 4. kal. Augusti, Edinburgi, in æde sacra australi, propugnabunt adolescentes magisterii candidati, ex academia Iacobi Regis, hoc anno 1622. cum laurea emittendi. Præside Iacobo Reido, primæ philosphiæ professore 210 $aEdinburgi $cExcudebant hæredes Andreæ Hart$d1622 215 $a[52] p 300 $aSignatures: [par.]² A-Fâ´. 300 $aFormerly STC 20859. 300 $aIdentified as STC 20859 on UMI microfilm reel 1556.. 300 $aImperfect; leaf [par.]¹ torn, affecting text on verso. 300 $aReproduction of the original in the Bodleian Library. 330 $aeebo-0014 700 $aReid$b James$cRegent of Edinburgh University.$097485 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996385770703316 996 $aTheses philosophicae$92300284 997 $aUNISA