Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 21-30 of 2009 (Search time: 0.015 seconds).
Item hits:
PreviewIssue DateTitleContributor(s)
9783319467238.pdf.jpg2016Medical Image Computing and Computer-Assisted Intervention – MICCAI 2016Ourselin, Sebastien. ; editor. ;; Joskowicz, Leo. ; editor. ;; Sabuncu, Mert R. ; editor. ;; Unal, Gozde. ; editor. ;; Wells, William. ; editor. ;
2018Theoretical Aspects of Computing ?? ICTAC 2018Fischer, Bernd. ; (orcid)0000-0002-1815-218X ; http://orcid.org/0000-0002-1815-218X. ;; Uustalu, Tarmo. ; (orcid)0000-0002-1297-0579 ; http://orcid.org/0000-0002-1297-0579. ;
2018Foundations of Software Science and Computation StructuresBaier, Christel. ;; Dal Lago, Ugo. ;
2018Logic-Based Program Synthesis and TransformationFioravanti, Fabio. ;; Gallagher, John P. ;
9783662464854.pdf.jpg2015Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIIIHameurlain, Abdelkader.; Küng, Josef.; Wagner, Roland.; Decker, Hendrik.; Lhotska, Lenka.; Link, Sebastian.
2018Unconventional Computation and Natural ComputationStepney, Susan. ;; Verlan, Sergey. ;
2018Computer Aided VerificationChockler, Hana. ;; Weissenbacher, Georg. ;
2018Quantitative Evaluation of SystemsMcIver, Annabelle. ;; Horvath, Andras. ; (orcid)0000-0002-8210-545X ; http://orcid.org/0000-0002-8210-545X. ;
2018Conceptual ModelingTrujillo, Juan C. ; (orcid)0000-0003-0139-6724 ; http://orcid.org/0000-0003-0139-6724. ;; Davis, Karen C. ;; Du, Xiaoyong. ;; Li, Zhanhuai. ;; Ling, Tok Wang. ;; Li, Guoliang. ;; Lee, Mong Li. ;
2018Tools and Methods of Program AnalysisItsykson, Vladimir. ;; Scedrov, Andre. ;; Zakharov, Victor. ;