Search Results for Methods engineering. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMethods$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026pe$003dd$00253A$0026ps$003d300?dt=list
2025-01-01T01:35:05Z
Industrial Deployment of System Engineering Methods
ent://SD_ILS/0/SD_ILS:333675
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333675.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Earthquake Engineering
ent://SD_ILS/0/SD_ILS:205732
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Papadrakakis, Manolis. editor. Fragiadakis, Michalis. editor. Lagaros, Nikos D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Methods for Nonlinear Engineering Models
ent://SD_ILS/0/SD_ILS:170686
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Hauser, John R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Engineering — Introduction to Numerical Methods
ent://SD_ILS/0/SD_ILS:182415
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Schäfer, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Multiscale Methods in Science and Engineering
ent://SD_ILS/0/SD_ILS:180732
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Engquist, Björn. editor. Runborg, Olof. editor. Lötstedt, Per. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137594">http://dx.doi.org/10.1007/b137594</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Earthquake Engineering Volume 2
ent://SD_ILS/0/SD_ILS:336275
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Papadrakakis, Manolis. editor. Fragiadakis, Michalis. editor. Plevris, Vagelis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336275.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computational Methods in Science and Engineering
ent://SD_ILS/0/SD_ILS:190595
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Koren, Barry. editor. Vuik, Kees. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Domain Decomposition Methods in Science and Engineering
ent://SD_ILS/0/SD_ILS:181012
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138136">http://dx.doi.org/10.1007/b138136</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334968.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335072.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
MARINE 2011, IV International Conference on Computational Methods in Marine Engineering Selected Papers
ent://SD_ILS/0/SD_ILS:336174
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Eça, Luís. editor. Oñate, Eugenio. editor. García-Espinosa, Julio. editor. Kvamsdal, Trond. editor. Bergan, Pål. editor.<br/>Preferred Shelf Number ONLINE(336174.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Domain Decomposition Methods in Science and Engineering XX
ent://SD_ILS/0/SD_ILS:333957
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author 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/>
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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.<br/>Preferred Shelf Number ONLINE(334106.1)<br/>Electronic Access <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: 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-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
Rough Sets: Selected Methods and Applications in Management and Engineering
ent://SD_ILS/0/SD_ILS:173476
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Qin, Shengchao. editor. Qiu, Zongyan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Ralyté, Jolita. editor. Mirbel, Isabelle. editor. Deneckère, Rébecca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Domain Decomposition Methods in Science and Engineering XIX
ent://SD_ILS/0/SD_ILS:191645
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Huang, Yunqing. editor. Kornhuber, Ralf. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
ent://SD_ILS/0/SD_ILS:175673
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Domain Decomposition Methods in Science and Engineering XVIII
ent://SD_ILS/0/SD_ILS:190396
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Bercovier, Michel. editor. Gander, Martin J. editor. Kornhuber, Ralf. editor. Widlund, Olof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Schlick, Christopher M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Element Methods for Engineering Sciences Theoretical Approach and Problem Solving Techniques
ent://SD_ILS/0/SD_ILS:187583
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Chaskalovic, Joel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Domain Decomposition Methods in Science and Engineering XVII
ent://SD_ILS/0/SD_ILS:187358
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Langer, Ulrich. editor. Discacciati, Marco. editor. Keyes, David E. editor. Widlund, Olof B. editor. Zulehner, Walter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Java Methods for Financial Engineering Applications in Finance and Investment
ent://SD_ILS/0/SD_ILS:175539
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Barker, Philip. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
Domain Decomposition Methods in Science and Engineering XVI
ent://SD_ILS/0/SD_ILS:184068
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Widlund, Olof B. editor. Keyes, David E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Wolter, Katinka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901433">http://dx.doi.org/10.1007/11901433</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11576280">http://dx.doi.org/10.1007/11576280</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Meshfree Methods for Partial Differential Equations VI
ent://SD_ILS/0/SD_ILS:333644
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Griebel, Michael. editor. Schweitzer, Marc Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333644.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Fast Compact Algorithms and Software for Spline Smoothing
ent://SD_ILS/0/SD_ILS:331788
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Weinert, Howard L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331788.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Geometric Algebra Computing
ent://SD_ILS/0/SD_ILS:333490
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Hildenbrand, Dietmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333490.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Process Machine Interactions Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
ent://SD_ILS/0/SD_ILS:333575
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Denkena, Berend. editor. Hollmann, Ferdinand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333575.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.<br/>Preferred Shelf Number ONLINE(333577.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Inverse Problems with Applications
ent://SD_ILS/0/SD_ILS:333595
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Moura Neto, Francisco Duarte. author. da Silva Neto, Antônio José. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333595.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333700.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 21st International Meshing Roundtable
ent://SD_ILS/0/SD_ILS:333723
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Jiao, Xiangmin. editor. Weill, Jean-Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333723.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
ent://SD_ILS/0/SD_ILS:333751
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333751.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Structure-Preserving Algorithms for Oscillatory Differential Equations
ent://SD_ILS/0/SD_ILS:333966
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Wu, Xinyuan. author. You, Xiong. author. Wang, Bin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333966.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Boundary Method
ent://SD_ILS/0/SD_ILS:333987
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Han, Houde. author. Wu, Xiaonan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333987.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computing
ent://SD_ILS/0/SD_ILS:334664
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334664.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation Exploring Dynamic System Behaviour
ent://SD_ILS/0/SD_ILS:330882
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330882.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Monte Carlo Simulation Method for System Reliability and Risk Analysis
ent://SD_ILS/0/SD_ILS:331017
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Zio, Enrico. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331017.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence A Methodological Introduction
ent://SD_ILS/0/SD_ILS:331117
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.<br/>Preferred Shelf Number ONLINE(332866.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332902.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Quantification in Computational Fluid Dynamics
ent://SD_ILS/0/SD_ILS:332813
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Bijl, Hester. editor. Lucor, Didier. editor. Mishra, Siddhartha. editor. Schwab, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332813.1)<br/>Electronic Access <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: 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-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
The 3rd International Workshop on Intelligent Data Analysis and Management
ent://SD_ILS/0/SD_ILS:336358
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
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/>
Dynamical Systems and Methods
ent://SD_ILS/0/SD_ILS:173689
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Luo, Albert C.J. editor. Machado, José António Tenreiro. editor. Baleanu, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Electromagnetic Field Computation by Network Methods
ent://SD_ILS/0/SD_ILS:189538
2025-01-01T01:35:05Z
2025-01-01T01:35:05Z
Author Russer, Peter. author. Mongiardo, Mauro. author. Felsen, Leopold B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>