Search Results for Computer-aided engineering. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer-aided$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-14T23:56:38ZPrinciples of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIent://SD_ILS/0/SD_ILS:6059872026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part Ient://SD_ILS/0/SD_ILS:6059882026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIent://SD_ILS/0/SD_ILS:6090232026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FPGA EDA Design Principles and Implementationent://SD_ILS/0/SD_ILS:6024812026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Augmented Reality Where We Will All Liveent://SD_ILS/0/SD_ILS:6139782026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Peddie, Jon. author. (orcid)0000-0002-3941-1822 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54502-8">https://doi.org/10.1007/978-3-319-54502-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159812026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Product Lifecycle Management for a Global Market 11th IFIP WG 5.1 International Conference, PLM 2014, Yokohama, Japan, July 7-9, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4873812026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Fukuda, Shuichi. editor. Bernard, Alain. editor. (orcid)0000-0002-7037-2980 Gurumoorthy, Balan. editor. Bouras, Abdelaziz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45937-9">https://doi.org/10.1007/978-3-662-45937-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3350812026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335081.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41263-9">http://dx.doi.org/10.1007/978-3-642-41263-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3350822026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335082.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41266-0">http://dx.doi.org/10.1007/978-3-642-41266-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350892026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Kovács, George L. editor. Kochan, Detlef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335089.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41329-2">http://dx.doi.org/10.1007/978-3-642-41329-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Finite Element Method: Theory, Implementation, and Applicationsent://SD_ILS/0/SD_ILS:3336892026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Larson, Mats G. author. Bengzon, Fredrik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333689.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33287-6">http://dx.doi.org/10.1007/978-3-642-33287-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Domain Decomposition Methods in Science and Engineering XXent://SD_ILS/0/SD_ILS:3339572026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333957.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35275-1">http://dx.doi.org/10.1007/978-3-642-35275-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347052026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Zhang, Jianlong. editor. Sun, Chengyu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334705.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38974-0">http://dx.doi.org/10.1007/978-3-642-38974-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cooperative Design, Visualization, and Engineering 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350152026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335015.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40840-3">http://dx.doi.org/10.1007/978-3-642-40840-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:3352192026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335219.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-53856-8">http://dx.doi.org/10.1007/978-3-642-53856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:3352202026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335220.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-53862-9">http://dx.doi.org/10.1007/978-3-642-53862-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346822026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE(334682.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The History of Visual Magic in Computers How Beautiful Images are Made in CAD, 3D, VR and ARent://SD_ILS/0/SD_ILS:3311012026-03-14T23:56:38Z2026-03-14T23:56:38ZAuthor Peddie, Jon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331101.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4932-3">http://dx.doi.org/10.1007/978-1-4471-4932-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>