LEADER 01531oam  22004814a 450 
001 9910792674003321
005 20180817105023.0
010   $a0-8156-5075-2
035   $a(CKB)3710000000979114
035   $a(MiAaPQ)EBC5202518
035   $a(OCoLC)1016795207
035   $a(MdBmJHUP)muse56800
035   $a(EXLCZ)993710000000979114
100   $a20110615d2011      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aShadows in Winter$b[electronic resource] $eA Memoir of Loss and Love /$fEitan Fishbane ; with a foreword by Leon R. Kass
205   $a1st ed.
210  1$aSyracuse, New York :$cSyracuse University Press,$d2011.
215   $a1 online resource (xiv, 134 pages) $cillustrations
225 0 $aLibrary of modern Jewish literature
311   $a0-8156-0989-2 
410  0$aLibrary of modern Jewish literature.
606   $aLoss (Psychology)
606   $aBereavement$xPsychological aspects
606   $aGrief
606   $aWives$xDeath$xPsychological aspects
608   $aElectronic books. 
615  0$aLoss (Psychology)
615  0$aBereavement$xPsychological aspects.
615  0$aGrief.
615  0$aWives$xDeath$xPsychological aspects.
676   $a296.76092
700   $aFishbane$b Eitan P.$f1975-$01474839
801  0$bMdBmJHUP
801  1$bMdBmJHUP
906   $aBOOK
912   $a9910792674003321
996   $aShadows in Winter$93688739
997   $aUNINA

LEADER 03589nam  22007695  450 
001 9910349421703321
005 20251225203715.0
010   $a9783319961453
010   $a3319961454
024 7 $a10.1007/978-3-319-96145-3
035   $a(CKB)4100000005323162
035   $a(DE-He213)978-3-319-96145-3
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/34831
035   $a(PPN)229502555
035   $a(MiAaPQ)EBC31281887
035   $a(Au-PeEL)EBL31281887
035   $a(oapen)doab34831
035   $a(EXLCZ)994100000005323162
100   $a20180721d2018      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Aided Verification $e30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /$fedited by Hana Chockler, Georg Weissenbacher
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XIX, 703 p. 146 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10981
311 08$a9783319961446 
311 08$a3319961446 
330   $aThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10981
606   $aComputer science
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aMachine theory
606   $aAlgorithms
606   $aComputer simulation
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
606   $aComputer Modelling
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aMachine theory.
615  0$aAlgorithms.
615  0$aComputer simulation.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
615 24$aComputer Modelling.
676   $a005.1015113
702   $aChockler$b Hana$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWeissenbacher$b Georg$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349421703321
996   $aComputer Aided Verification$94409985
997   $aUNINA