Search Results for Methods engineering. - Narrowed by: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMethods$002bengineering.$0026qf$003dSUBJECT$002509Konu$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?
2025-12-28T10:28:28Z
Methods and Experimental Techniques in Computer Engineering
ent://SD_ILS/0/SD_ILS:485382
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Amigoni, Francesco. editor. Schiaffonati, Viola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-00272-9">https://doi.org/10.1007/978-3-319-00272-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mechanics, Models and Methods in Civil Engineering
ent://SD_ILS/0/SD_ILS:195699
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Frémond, Michel. editor. Maceri, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24638-8">http://dx.doi.org/10.1007/978-3-642-24638-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods and Data Engineering Proceedings of ICCMDE 2021
ent://SD_ILS/0/SD_ILS:526782
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Asari, Vijayan K. editor. Singh, Vijendra. editor. Rajasekaran, Rajkumar. editor. Patel, R. B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-3015-7">https://doi.org/10.1007/978-981-19-3015-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
ent://SD_ILS/0/SD_ILS:482889
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484770
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
ent://SD_ILS/0/SD_ILS:399448
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Le, Nguyen-Thinh. editor. van Do, Tien. editor. Nguyen, Ngoc Thanh. editor. Thi, Hoai An Le. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61911-8">https://doi.org/10.1007/978-3-319-61911-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402522
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
ent://SD_ILS/0/SD_ILS:529912
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Le Thi, Hoai An. editor. Nguyen, Ngoc Thanh. editor. Do, Tien Van. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17996-4">https://doi.org/10.1007/978-3-319-17996-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)
ent://SD_ILS/0/SD_ILS:488158
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Do, Tien. editor. Thi, Hoai An Le. editor. Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06569-4">https://doi.org/10.1007/978-3-319-06569-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ent://SD_ILS/0/SD_ILS:334841
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
ent://SD_ILS/0/SD_ILS:196468
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197437
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets: Selected Methods and Applications in Management and Engineering
ent://SD_ILS/0/SD_ILS:173476
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Peters, Georg. editor. Lingras, Pawan. editor. Ślęzak, Dominik. editor. Yao, Yiyu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2760-4">http://dx.doi.org/10.1007/978-1-4471-2760-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195716
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24690-6">http://dx.doi.org/10.1007/978-3-642-24690-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Computing Methods and Their Applications to Engineering Problems
ent://SD_ILS/0/SD_ILS:194541
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Nedjah, Nadia. editor. Santos Coelho, Leandro. editor. Mariani, Viviana Cocco. editor. Macedo Mourelle, Luiza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20958-1">http://dx.doi.org/10.1007/978-3-642-20958-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:186730
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73055-2">http://dx.doi.org/10.1007/978-3-540-73055-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Deep Learning in Computational Toxicology
ent://SD_ILS/0/SD_ILS:526928
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Hong, Huixiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-20730-3">https://doi.org/10.1007/978-3-031-20730-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Mechanics with Deep Learning An Introduction
ent://SD_ILS/0/SD_ILS:526998
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Yagawa, Genki. author. Oishi, Atsuya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-11847-0">https://doi.org/10.1007/978-3-031-11847-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cutting Edge Applications of Computational Intelligence Tools and Techniques
ent://SD_ILS/0/SD_ILS:528866
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Daimi, Kevin. editor. Alsadoon, Abeer. editor. Coelho, Luis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44127-1">https://doi.org/10.1007/978-3-031-44127-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Approaches for Multidimensional Signal Processing Proceedings of International Workshop, NAMSP 2022
ent://SD_ILS/0/SD_ILS:527130
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Kountchev, Roumen. editor. Mironov, Rumen. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-7842-5">https://doi.org/10.1007/978-981-19-7842-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
ent://SD_ILS/0/SD_ILS:528701
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3091-3">https://doi.org/10.1007/978-981-99-3091-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Science and Applications
ent://SD_ILS/0/SD_ILS:530137
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Kim, Kuinam J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46578-3">https://doi.org/10.1007/978-3-662-46578-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
ent://SD_ILS/0/SD_ILS:530565
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18473-9">https://doi.org/10.1007/978-3-319-18473-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometry of Knowledge for Intelligent Systems
ent://SD_ILS/0/SD_ILS:333167
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Resconi, Germano. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333167.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27972-0">http://dx.doi.org/10.1007/978-3-642-27972-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Risk Assessment and Management in the Networked Economy
ent://SD_ILS/0/SD_ILS:333196
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Hussain, Omar K. author. Dillon, Tharam S. author. Hussain, Farookh K. author. Chang, Elizabeth J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333196.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28690-2">http://dx.doi.org/10.1007/978-3-642-28690-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The 3rd International Workshop on Intelligent Data Analysis and Management
ent://SD_ILS/0/SD_ILS:336358
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.<br/>Preferred Shelf Number ONLINE(336358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-7293-9">http://dx.doi.org/10.1007/978-94-007-7293-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generating Analog IC Layouts with LAYGEN II
ent://SD_ILS/0/SD_ILS:333672
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Martins, Ricardo M. F. author. Lourenço, Nuno C. C. author. Horta, Nuno C. G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333672.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33146-6">http://dx.doi.org/10.1007/978-3-642-33146-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
ent://SD_ILS/0/SD_ILS:334443
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334443.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37502-6">http://dx.doi.org/10.1007/978-3-642-37502-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Probabilistic Databases for Uncertain Information Management
ent://SD_ILS/0/SD_ILS:334444
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Ma, Zongmin. editor. Yan, Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334444.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37509-5">http://dx.doi.org/10.1007/978-3-642-37509-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dimensionality Reduction with Unsupervised Nearest Neighbors
ent://SD_ILS/0/SD_ILS:334643
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Kramer, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334643.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38652-7">http://dx.doi.org/10.1007/978-3-642-38652-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence A Methodological Introduction
ent://SD_ILS/0/SD_ILS:331117
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.<br/>Preferred Shelf Number ONLINE(331117.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5013-8">http://dx.doi.org/10.1007/978-1-4471-5013-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Modelling in Assisted Transportation Models, Tools and Risk Methods
ent://SD_ILS/0/SD_ILS:204522
2025-12-28T10:28:28Z
2025-12-28T10:28:28Z
Author Cacciabue, P. Carlo. editor. Hjälmdahl, Magnus. editor. Luedtke, Andreas. editor. Riccioli, Costanza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1821-1">http://dx.doi.org/10.1007/978-88-470-1821-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>