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$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300?
2024-11-08T04:39:04Z
Methods and Experimental Techniques in Computer Engineering
ent://SD_ILS/0/SD_ILS:485382
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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/>
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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 the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)
ent://SD_ILS/0/SD_ILS:488158
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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/>
The 3rd International Workshop on Intelligent Data Analysis and Management
ent://SD_ILS/0/SD_ILS:336358
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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/>
Geometry of Knowledge for Intelligent Systems
ent://SD_ILS/0/SD_ILS:333167
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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/>
Dimensionality Reduction with Unsupervised Nearest Neighbors
ent://SD_ILS/0/SD_ILS:334643
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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/>
Generating Analog IC Layouts with LAYGEN II
ent://SD_ILS/0/SD_ILS:333672
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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/>
Computational Intelligence A Methodological Introduction
ent://SD_ILS/0/SD_ILS:331117
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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
2024-11-08T04:39:04Z
2024-11-08T04:39:04Z
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/>