LEADER 01893nas 2200577-a 450 001 9910139155703321 005 20200605082151.5 035 $a(DE-599)ZDB2725102-0 035 $a(OCoLC)747936762 035 $a(CKB)2560000000077324 035 $a(CONSER)--2011243611 035 $a(EXLCZ)992560000000077324 100 $a20110808b20102013 --- - 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aCADTH technology overviews 210 $aOttawa $cCanadian Agency for Drugs and Technologies in Health$d2010-[2013] 311 $a1481-4501 517 1 $aTechnology overviews 517 1 $aCADTH technol. overv 531 $aCADTH TECHNOL OVERV 531 1 $aTechnol. overv. 606 $aPharmaceutical technology$vPeriodicals 606 $aMedical technology$xEvaluation$vPeriodicals 606 $aTechnology Assessment, Biomedical 606 $aMedical Laboratory Science 606 $aTechnology, Pharmaceutical 606 $aMedical technology$xEvaluation$2fast$3(OCoLC)fst01014750 606 $aPharmaceutical technology$2fast$3(OCoLC)fst01060211 607 $aCanada 608 $aElectronic journals. 608 $aPeriodical. 608 $aFulltext. 608 $aInternet Resources. 608 $aPeriodicals. 608 $aPeriodicals.$2fast 615 0$aPharmaceutical technology 615 0$aMedical technology$xEvaluation 615 12$aTechnology Assessment, Biomedical. 615 22$aMedical Laboratory Science. 615 22$aTechnology, Pharmaceutical. 615 7$aMedical technology$xEvaluation. 615 7$aPharmaceutical technology. 712 02$aCanadian Agency for Drugs and Technologies in Health. 906 $aJOURNAL 912 $a9910139155703321 996 $aCADTH technology overviews$92293044 997 $aUNINA LEADER 03793nam 22006255 450 001 996465457203316 005 20200705091632.0 010 $a3-030-41784-0 024 7 $a10.1007/978-3-030-41784-0 035 $a(CKB)4100000011232547 035 $a(DE-He213)978-3-030-41784-0 035 $a(MiAaPQ)EBC6198548 035 $a(PPN)248397397 035 $a(EXLCZ)994100000011232547 100 $a20200512d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCloud and Serverless Computing for Scientists$b[electronic resource] $eA Primer /$fby Juan A. Añel, Diego P. Montes, Javier Rodeiro Iglesias 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVI, 85 p. 18 illus., 5 illus. in color.) 311 $a3-030-41783-2 320 $aIncludes bibliographical references and index. 327 $aChapter1. Why This Book? -- Chapter2. Why the Cloud? -- Chapter3. From the beginning to the future -- Chapter4. Show me the money -- Chapter5. Tools in the Cloud -- Chapter6. Experiments in the Cloud -- Chapter7. Serverless Experiments in the Cloud -- Chapter8. Ethical and Legal Considerations of Cloud Computing -- Chapter9. You Are Outdated, We Are Already Updating this Book. 330 $aThis book offers an introduction to cloud computing and serverless computing for students, researchers and R&D organizations through several practical examples. Rather than focusing exclusively on the computational issues related to cloud computing, the authors focus on addressing the multidisciplinary applications of cloud computing for daily research work in public institutions and private companies in fields such as archaeology, geosciences, computer sciences, medicine and physics. The book also discusses the emergence of serverless computing over the last three years as a means to make computational infrastructures more apparent to users, avoiding the need to concern one's self with the type of server or computing machine needed to perform a computing task. These topics are presented from the perspective of users, researchers and decision-makers, and are approached based on the authors' collective experience on the use and adoption of cloud computing. 606 $aClient/server computing 606 $aEngineering?Data processing 606 $aApplication software 606 $aManagement information systems 606 $aServers$3https://scigraph.springernature.com/ontologies/product-market-codes/I29110 606 $aData Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/T11040 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 606 $aBusiness IT Infrastructure$3https://scigraph.springernature.com/ontologies/product-market-codes/522040 615 0$aClient/server computing. 615 0$aEngineering?Data processing. 615 0$aApplication software. 615 0$aManagement information systems. 615 14$aServers. 615 24$aData Engineering. 615 24$aComputer Applications. 615 24$aBusiness IT Infrastructure. 676 $a004.6782 700 $aAñel$b Juan A$4aut$4http://id.loc.gov/vocabulary/relators/aut$0877860 702 $aMontes$b Diego P$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aRodeiro Iglesias$b Javier$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465457203316 996 $aCloud and Serverless Computing for Scientists$91959989 997 $aUNISA LEADER 04982nam 22007815 450 001 996465417703316 005 20200704120455.0 010 $a3-540-46351-8 024 7 $a10.1007/3-540-53912-3 035 $a(CKB)1000000000233631 035 $a(SSID)ssj0000321130 035 $a(PQKBManifestationID)11255489 035 $a(PQKBTitleCode)TC0000321130 035 $a(PQKBWorkID)10263828 035 $a(PQKB)10808737 035 $a(DE-He213)978-3-540-46351-1 035 $a(PPN)155228528 035 $a(EXLCZ)991000000000233631 100 $a20121227d1991 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic Methods II: Theory, Tools and Applications$b[electronic resource] /$fedited by Jan A. Bergstra, Loe M.G. Feijs 205 $a1st ed. 1991. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991. 215 $a1 online resource (VIII, 436 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v490 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-53912-3 327 $aFormalizing informal requirements some aspects -- ViewPoint oriented software development: Methods and viewpoints in requirements engineering -- Using transformations to verify parallel programs -- Experiences with combining formalisms in VVSL -- A meta-environment for generating programming environments -- Introducing formal requirements into industry -- Where can I get gas round here? ? an application of a design methodology for distributed systems -- Transformations of designs -- Norman's database modularised in COLD-K -- POLAR a picture-oriented language for abstract representations -- Inheritance in COLD -- A process specification formalism based on static COLD -- Specification of the transit node in PSFd -- Design of a specification language by abstract syntax engineering -- From an ERAE requirements specification to a PLUSS algebraic specification: A case study. 330 $aThe proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v490 606 $aAlgebra 606 $aApplied mathematics 606 $aEngineering mathematics 606 $aData structures (Computer science) 606 $aSoftware engineering 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aAlgebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11000 606 $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aAlgebra. 615 0$aApplied mathematics. 615 0$aEngineering mathematics. 615 0$aData structures (Computer science). 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 14$aAlgebra. 615 24$aApplications of Mathematics. 615 24$aData Structures and Information Theory. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1/01/512 702 $aBergstra$b Jan A$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFeijs$b Loe M.G$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aEuropean Strategic Programme for Research and Development in Information Technology. 906 $aBOOK 912 $a996465417703316 996 $aAlgebraic methods II$91501947 997 $aUNISA