LEADER 00988nam2-2200337---450 001 990009800530403321 005 20181002135204.0 035 $a000980053 035 $aFED01000980053 035 $a(Aleph)000980053FED01 100 $a20131210d1962----km-y0itay50------ba 101 0 $afre 102 $aFR 105 $aa-------001yy 200 1 $a<<3.: >>Liants et bétons hydrocarbonés$fpar M. Duriez, J. Arrambide 205 $a2e éd. 210 $aParis$cDunod$d1962 215 $aXXV, 1543 p.$cill.$d28 cm 461 0$1001000980047$12001$aNouveau traité de matériaux de construction$v3 610 0 $aMateriali da costruzione 700 1$aDuriez,$bMarius$019070 701 1$aArrambide,$bJean$0521632 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009800530403321 952 $aL 4/28$b8983.3$fDINGE 952 $aL/35$b3670.3$fDINTR 959 $aDINGE 959 $aDINTR 996 $aLiants et bétons hydrocarbonés$9837041 997 $aUNINA LEADER 04375nam 22007575 450 001 9910495211403321 005 20250418010803.0 010 $a3-030-83007-1 024 7 $a10.1007/978-3-030-83007-6 035 $a(CKB)4100000011983332 035 $a(MiAaPQ)EBC6681014 035 $a(Au-PeEL)EBL6681014 035 $a(DE-He213)978-3-030-83007-6 035 $a(BIP)080794124 035 $a(PPN)258060786 035 $a(EXLCZ)994100000011983332 100 $a20210720d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware Technologies $e15th International Conference, ICSOFT 2020, Online Event, July 7?9, 2020, Revised Selected Papers /$fedited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (274 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1447 311 08$a3-030-83006-3 327 $aShared Autonomous Mobility on Demand: A Fuzzy-based Approach and Its Performance in the Presence of Uncertainty -- Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints -- R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture -- MLCA: A Model-Learning-Checking Approach for IoT Systems -- A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data -- On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment -- A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing -- Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach -- A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium -- Multilevel Readability Interpretation against Software Properties: A Data-centric Approach -- Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop -- A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States. 330 $aThis book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1447 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aComputer systems 606 $aMicroprogramming 606 $aComputer networks 606 $aComputer programming 606 $aSoftware Engineering 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer System Implementation 606 $aControl Structures and Microprogramming 606 $aComputer Communication Networks 606 $aProgramming Techniques 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aComputer systems. 615 0$aMicroprogramming. 615 0$aComputer networks. 615 0$aComputer programming. 615 14$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer System Implementation. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 676 $a005.1 700 $avan Sinderen$b Marten$0853406 701 $aMaciaszek$b Leszek A$0150192 701 $aFill$b Hans-Georg$0992900 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910495211403321 996 $aSoftware Technologies$92273627 997 $aUNINA LEADER 02046nam 22004093a 450 001 9910149670303321 005 20250203235647.0 024 7 $a10.15460/HUP.MFW.6.109 035 $a(CKB)3790000000064212 035 $a(OAPEN)1002416 035 $a(ScCtBLL)ca8f0191-e0fb-4a3e-954d-4ca2356b7d70 035 $a(OCoLC)1163836170 035 $a(oapen)doab30406 035 $a(EXLCZ)993790000000064212 100 $a20250203i20102020 uu 101 0 $aeng 135 $auuuuu---auuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAlbert Ballin (English edition)$fJohannes Gerhardt$hVolume 6.0 210 $aHamburg$cHamburg University Press$d2010 210 1$aHamburg :$cHamburg University Press,$d2010. 215 $a1 online resource (1 p.) 225 1 $aMäzene für Wissenschaft 311 08$a9783937816807 311 08$a3937816801 330 $aHis was an unprecedented rise to the top: from the thirteenth child of a poor Jewish emigrant agent to the "sovereign of shipping" and "friend" of the Kaiser. It is hardly surprising that Alfred Ballin was one of the foremost figures of Wilhelmine Empire. From the beginning, he attracted attention at Hamburg-Amerikanische Packetfahrt-Aktien-Gesellschaft, known as Hapag for short. Under its manager Ballin, Hapag became the largest shipping line in the world.From 1907 until his tragic death on November 9th 1918, Ballin belonged to the board of trustees of the Hamburg Scientific Fondation, to which he also contributed in a special way.Ballin's biography sketches the unusual life of this man, who personified perhaps more than any of his comtemporaries the prominence and power of the second German Empire but at the same time also experienced its limits and weaknesses. 606 $aHistory 615 0$aHistory. 700 $aGerhardt$b Johannes$0864649 801 0$bScCtBLL 801 1$bScCtBLL 906 $aBOOK 912 $a9910149670303321 996 $aAlbert Ballin (English edition)$92092711 997 $aUNINA