| Record ID | marc_loc_2016/BooksAll.2016.part41.utf8:125120687:3830 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part41.utf8:125120687:3830?format=raw |
LEADER: 03830cam a22005297i 4500
001 2013940617
003 DLC
005 20150725081421.0
008 130517t20132013gw a b 101 0 eng
010 $a 2013940617
016 7 $a101631239$2DNLM
020 $a9783642390876 (alk. paper)
020 $a3642390870 (alk. paper)
020 $z9783642390883 (e-ISBN)
020 $z3642390889 (e-ISBN)
035 $a(OCoLC)ocn846551585
040 $aNLM$beng$cNLM$erda$dYDXCP$dCDX$dBTCTA$dGSU$dOCLCF$dOHX$dDEBBG$dOCLCO$dN5L$dDLC
042 $anlmcopyc$alccopycat
050 00 $aR858.A2$bF48 2012
060 00 $a2014 E-857
060 10 $aW 26.5
072 7 $aR$2lcco
082 04 $a610.285$223
084 $aSS 4800$2rvk
111 2 $aFHIES (Symposium)$n(2nd :$d2012 :$cParis, France),$jauthor.
245 10 $aFoundations of health information engineering and systems :$bsecond International Symposium, FHIES 2012, Paris, France, August 27-28, 2012 : revised selected papers /$cJens Weber, Isabelle Perseil, editors.
246 3 $aFHIES 2012
264 1 $aHeidelberg :$bSpringer,$c[2013]
264 4 $c©2013
300 $ax, 221 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science,$x0302-9743 ;$v7789
490 1 $aLNCS sublibrary. SL 2, Programming and software engineering
504 $aIncludes bibliographical references and author index.
505 00 $tModelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets /$rAwatef Hicheur, Amel Ben Dhieb --$tVerification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets /$rCristiano Bertolini, Zhiming Liu, Jiří Srba --$tEnhancing Product Line Development by Safety Requirements and Verification /$rMichaela Huhn, Sara Bessling --$tDefining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability /$rAlessandro Carlini, Pierluigi Dalla Rosa --$tRegulated Software Development -- An Onerous Transformation /$rOisín Cawley, Xiaofeng Wang, Ita Richardson --$tAn Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange /$rRyan Crichton, Deshendran Moodley --$tO wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes /$rRokan Uddin Faruqui, Wendy MacCaull --$tTrustworthy Pervasive Healthcare Services via Multiparty Session Types /$rAnders S. Henriksen, Lasse Nielsen --$tA Grid Based Distributed Cooperative Environment for Health Care Research /$rFelipe Maia, Rafael Araújo --$tClosed-Loop Modeling of Cardiac Pacemaker and Heart /$rDominique Méry, Neeraj Kumar Singh --$tModel-Based Solution for Controlling Physiology /$rElthon Oliveira, Leandro Silva --$tAutomated Reviewing of Healthcare Security Policies /$rNafees Qamar, Johannes Faber, Yves Ledru --$tA Formal Diagrammatic Approach to Compensable Workflow Modelling /$rAdrian Rutle, Hao Wang, Wendy MacCaull --$tTowards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts /$rPieter Van Gorp, Irene Vanderfeesten.
650 0 $aMedical informatics$vCongresses.
650 12 $aMedical Informatics$vCongresses.
655 4 $aKongress$zParis$y2012.
650 7 $aMedical informatics.$2fast$0(OCoLC)fst01014175
655 7 $aConference proceedings.$2fast$0(OCoLC)fst01423772
650 07 $aGesundheitstelematik.$2gnd$0(DE-588)7542254-2
700 1 $aWeber, Jens$c(Professor of Software Engineering),$eeditor.
700 1 $aPerseil, Isabelle,$eeditor.
830 0 $aLecture notes in computer science ;$v7789.$x0302-9743
830 0 $aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.