Search Results for Germany - Narrowed by: Computer Modelling. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dGermany$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2026-05-16T14:18:34Z Spatial Cognition X 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613330 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Barkowsky, Thomas. editor.&#160;Burte, Heather. editor.&#160;H&ouml;lscher, Christoph. editor.&#160;Schultheis, Holger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68189-4">https://doi.org/10.1007/978-3-319-68189-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612618 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616611 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Abate, Alessandro. editor.&#160;Geeraerts, Gilles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613342 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Paskevich, Andrei. editor.&#160;Wies, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72308-2">https://doi.org/10.1007/978-3-319-72308-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617034 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Reinecke, Philipp. editor.&#160;Di Marco, Antinisca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers ent://SD_ILS/0/SD_ILS:617556 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Pergl, Robert. editor.&#160;Lock, Russell. editor.&#160;Babkin, Eduard. editor. (orcid)0000-0003-2597-9043&#160;Molhanec, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68185-6">https://doi.org/10.1007/978-3-319-68185-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616183 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Abate, Alessandro. editor. (orcid)0000-0002-5627-9093&#160;Boldo, Sylvie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616190 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Feret, J&eacute;r&ocirc;me. editor.&#160;Koeppl, Heinz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67471-1">https://doi.org/10.1007/978-3-319-67471-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615970 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394&#160;Bortolussi, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods and Clinical Applications for Spine Imaging Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings ent://SD_ILS/0/SD_ILS:610910 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Vrtovec, Toma&#382;. editor.&#160;Yao, Jianhua. editor.&#160;Glocker, Ben. editor. (orcid)0000-0002-4897-9356&#160;Klinder, Tobias. editor.&#160;Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-41827-8">https://doi.org/10.1007/978-3-319-41827-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB &amp; DFT 2016, M&uuml;nster, Germany, April 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611725 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Remke, Anne. editor.&#160;Haverkort, Boudewijn R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615983 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Camara, Oscar. editor.&#160;Mansi, Tommaso. editor.&#160;Pop, Mihaela. editor.&#160;Rhode, Kawal. editor.&#160;Sermesant, Maxime. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-28712-6">https://doi.org/10.1007/978-3-319-28712-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Recognition 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616037 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Rosenhahn, Bodo. editor.&#160;Andres, Bjoern. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45886-1">https://doi.org/10.1007/978-3-319-45886-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Mobility with Open Data 2nd SUMO Conference 2014 Berlin, Germany, May 15-16, 2014 ent://SD_ILS/0/SD_ILS:529691 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Behrisch, Michael. editor.&#160;Weber, Melanie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15024-6">https://doi.org/10.1007/978-3-319-15024-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling ent://SD_ILS/0/SD_ILS:611231 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Sachse, Agnes. author.&#160;Nixdorf, Erik. author.&#160;Jang, Eunseon. author.&#160;Rink, Karsten. author. (orcid)0000-0001-9826-8221&#160;Fischer, Thomas. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-52809-0">https://doi.org/10.1007/978-3-319-52809-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets ent://SD_ILS/0/SD_ILS:613716 2026-05-16T14:18:34Z 2026-05-16T14:18:34Z Author&#160;Elsenbroich, Corinna. editor.&#160;Anzola, David. editor.&#160;Gilbert, Nigel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45169-5">https://doi.org/10.1007/978-3-319-45169-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>