Arama Sonuçları Methods engineering. - Daraltılmış: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMethods$002bengineering.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?
2024-11-10T21:20:15Z
Industrial Deployment of System Engineering Methods
ent://SD_ILS/0/SD_ILS:333675
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333675.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Methods in Earthquake Engineering
ent://SD_ILS/0/SD_ILS:205732
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Papadrakakis, Manolis. editor. Fragiadakis, Michalis. editor. Lagaros, Nikos D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0053-6">http://dx.doi.org/10.1007/978-94-007-0053-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Numerical Methods for Nonlinear Engineering Models
ent://SD_ILS/0/SD_ILS:170686
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Hauser, John R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9920-5">http://dx.doi.org/10.1007/978-1-4020-9920-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Engineering — Introduction to Numerical Methods
ent://SD_ILS/0/SD_ILS:182415
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Schäfer, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-30686-2">http://dx.doi.org/10.1007/3-540-30686-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multiscale Methods in Science and Engineering
ent://SD_ILS/0/SD_ILS:180732
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Engquist, Björn. editor. Runborg, Olof. editor. Lötstedt, Per. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137594">http://dx.doi.org/10.1007/b137594</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Methods in Earthquake Engineering Volume 2
ent://SD_ILS/0/SD_ILS:336275
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Papadrakakis, Manolis. editor. Fragiadakis, Michalis. editor. Plevris, Vagelis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336275.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-6573-3">http://dx.doi.org/10.1007/978-94-007-6573-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Computational Methods in Science and Engineering
ent://SD_ILS/0/SD_ILS:190595
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Koren, Barry. editor. Vuik, Kees. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03344-5">http://dx.doi.org/10.1007/978-3-642-03344-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Domain Decomposition Methods in Science and Engineering
ent://SD_ILS/0/SD_ILS:181012
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138136">http://dx.doi.org/10.1007/b138136</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399218
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399356
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486681
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334841.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
MARINE 2011, IV International Conference on Computational Methods in Marine Engineering Selected Papers
ent://SD_ILS/0/SD_ILS:336174
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Eça, Luís. editor. Oñate, Eugenio. editor. García-Espinosa, Julio. editor. Kvamsdal, Trond. editor. Bergan, Pål. editor.<br/>Yer Numarası ONLINE(336174.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-6143-8">http://dx.doi.org/10.1007/978-94-007-6143-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334106
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.<br/>Yer Numarası ONLINE(334106.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335072
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335072.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Domain Decomposition Methods in Science and Engineering XX
ent://SD_ILS/0/SD_ILS:333957
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333957.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334968
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334968.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rough Sets: Selected Methods and Applications in Management and Engineering
ent://SD_ILS/0/SD_ILS:173476
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Peters, Georg. editor. Lingras, Pawan. editor. Ślęzak, Dominik. editor. Yao, Yiyu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196086
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197501
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34281-3">http://dx.doi.org/10.1007/978-3-642-34281-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:197000
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195674
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Qin, Shengchao. editor. Qiu, Zongyan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24559-6">http://dx.doi.org/10.1007/978-3-642-24559-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Barthe, Gilles. editor. Pardo, Alberto. editor. Schneider, Gerardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Domain Decomposition Methods in Science and Engineering XIX
ent://SD_ILS/0/SD_ILS:191645
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Huang, Yunqing. editor. Kornhuber, Ralf. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11304-8">http://dx.doi.org/10.1007/978-3-642-11304-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194226
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Ralyté, Jolita. editor. Mirbel, Isabelle. editor. Deneckère, Rébecca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19997-4">http://dx.doi.org/10.1007/978-3-642-19997-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193452
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16901-4">http://dx.doi.org/10.1007/978-3-642-16901-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
ent://SD_ILS/0/SD_ILS:175673
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-019-3">http://dx.doi.org/10.1007/978-1-84800-019-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak
ent://SD_ILS/0/SD_ILS:189945
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Schlick, Christopher M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01293-8">http://dx.doi.org/10.1007/978-3-642-01293-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191347
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10373-5">http://dx.doi.org/10.1007/978-3-642-10373-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Domain Decomposition Methods in Science and Engineering XVIII
ent://SD_ILS/0/SD_ILS:190396
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Bercovier, Michel. editor. Gander, Martin J. editor. Kornhuber, Ralf. editor. Widlund, Olof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02677-5">http://dx.doi.org/10.1007/978-3-642-02677-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Domain Decomposition Methods in Science and Engineering XVII
ent://SD_ILS/0/SD_ILS:187358
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Langer, Ulrich. editor. Discacciati, Marco. editor. Keyes, David E. editor. Widlund, Olof B. editor. Zulehner, Walter. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75199-1">http://dx.doi.org/10.1007/978-3-540-75199-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finite Element Methods for Engineering Sciences Theoretical Approach and Problem Solving Techniques
ent://SD_ILS/0/SD_ILS:187583
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Chaskalovic, Joel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76343-7">http://dx.doi.org/10.1007/978-3-540-76343-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189005
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88194-0">http://dx.doi.org/10.1007/978-3-540-88194-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Domain Decomposition Methods in Science and Engineering XVI
ent://SD_ILS/0/SD_ILS:184068
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Widlund, Olof B. editor. Keyes, David E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-34469-8">http://dx.doi.org/10.1007/978-3-540-34469-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187645
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Java Methods for Financial Engineering Applications in Finance and Investment
ent://SD_ILS/0/SD_ILS:175539
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Barker, Philip. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-741-1">http://dx.doi.org/10.1007/978-1-84628-741-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187364
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Wolter, Katinka. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75211-0">http://dx.doi.org/10.1007/978-3-540-75211-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184242
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185017
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11901433">http://dx.doi.org/10.1007/11901433</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182989
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183237
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11576280">http://dx.doi.org/10.1007/11576280</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334443.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Monte Carlo Simulation Method for System Reliability and Risk Analysis
ent://SD_ILS/0/SD_ILS:331017
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Zio, Enrico. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331017.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4588-2">http://dx.doi.org/10.1007/978-1-4471-4588-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fast Compact Algorithms and Software for Spline Smoothing
ent://SD_ILS/0/SD_ILS:331788
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Weinert, Howard L. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331788.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5496-0">http://dx.doi.org/10.1007/978-1-4614-5496-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Quantification in Computational Fluid Dynamics
ent://SD_ILS/0/SD_ILS:332813
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Bijl, Hester. editor. Lucor, Didier. editor. Mishra, Siddhartha. editor. Schwab, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332813.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00885-1">http://dx.doi.org/10.1007/978-3-319-00885-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
ent://SD_ILS/0/SD_ILS:333575
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333575.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32448-2">http://dx.doi.org/10.1007/978-3-642-32448-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Introduction to Inverse Problems with Applications
ent://SD_ILS/0/SD_ILS:333595
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Moura Neto, Francisco Duarte. author. da Silva Neto, Antônio José. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333595.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32557-1">http://dx.doi.org/10.1007/978-3-642-32557-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High Performance Computing in Science and Engineering ‘12 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2012
ent://SD_ILS/0/SD_ILS:333700
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333700.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33374-3">http://dx.doi.org/10.1007/978-3-642-33374-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Meshfree Methods for Partial Differential Equations VI
ent://SD_ILS/0/SD_ILS:333644
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333644.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32979-1">http://dx.doi.org/10.1007/978-3-642-32979-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling and Simulation Exploring Dynamic System Behaviour
ent://SD_ILS/0/SD_ILS:330882
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330882.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2783-3">http://dx.doi.org/10.1007/978-1-4471-2783-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Intelligence A Methodological Introduction
ent://SD_ILS/0/SD_ILS:331117
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Kruse, Rudolf. author. Borgelt, Christian. author. Klawonn, Frank. author. Moewes, Christian. author. Steinbrecher, Matthias. author.<br/>Yer Numarası ONLINE(331117.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
ent://SD_ILS/0/SD_ILS:332866
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.<br/>Yer Numarası ONLINE(332866.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-01439-5">http://dx.doi.org/10.1007/978-3-319-01439-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High Performance Computing in Science and Engineering ‘13 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2013
ent://SD_ILS/0/SD_ILS:332902
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332902.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02165-2">http://dx.doi.org/10.1007/978-3-319-02165-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Geometric Algebra Computing
ent://SD_ILS/0/SD_ILS:333490
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Hildenbrand, Dietmar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333490.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31794-1">http://dx.doi.org/10.1007/978-3-642-31794-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012
ent://SD_ILS/0/SD_ILS:333577
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.<br/>Yer Numarası ONLINE(333577.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32454-3">http://dx.doi.org/10.1007/978-3-642-32454-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of the 21st International Meshing Roundtable
ent://SD_ILS/0/SD_ILS:333723
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Jiao, Xiangmin. editor. Weill, Jean-Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333723.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33573-0">http://dx.doi.org/10.1007/978-3-642-33573-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
ent://SD_ILS/0/SD_ILS:333751
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333751.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33789-5">http://dx.doi.org/10.1007/978-3-642-33789-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structure-Preserving Algorithms for Oscillatory Differential Equations
ent://SD_ILS/0/SD_ILS:333966
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Wu, Xinyuan. author. You, Xiong. author. Wang, Bin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333966.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35338-3">http://dx.doi.org/10.1007/978-3-642-35338-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Boundary Method
ent://SD_ILS/0/SD_ILS:333987
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Han, Houde. author. Wu, Xiaonan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333987.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35464-9">http://dx.doi.org/10.1007/978-3-642-35464-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Computing
ent://SD_ILS/0/SD_ILS:334664
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334664.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38762-3">http://dx.doi.org/10.1007/978-3-642-38762-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The 3rd International Workshop on Intelligent Data Analysis and Management
ent://SD_ILS/0/SD_ILS:336358
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.<br/>Yer Numarası ONLINE(336358.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dynamical Systems and Methods
ent://SD_ILS/0/SD_ILS:173689
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Luo, Albert C.J. editor. Machado, José António Tenreiro. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-0454-5">http://dx.doi.org/10.1007/978-1-4614-0454-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electromagnetic Field Computation by Network Methods
ent://SD_ILS/0/SD_ILS:189538
2024-11-10T21:20:15Z
2024-11-10T21:20:15Z
Yazar Russer, Peter. author. Mongiardo, Mauro. author. Felsen, Leopold B. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-93946-7">http://dx.doi.org/10.1007/978-3-540-93946-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>