Arama Sonuçları Engineering. - Daraltılmış: Computer simulation.

Mathematical Methods in Engineering

2024-12-12T02:52:59Z

Yazar Taş, K. editor. Tenreiro Machado, J. A. editor. Baleanu, D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5678-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Methods in Engineering

2024-12-12T02:52:59Z

Yazar Fonseca Ferreira, Nuno Miguel. editor. Tenreiro Machado, José António. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-007-7183-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Simulation in Industrial Engineering

2024-12-12T02:52:59Z

Yazar Ram, Mangey. editor. Davim, J. Paulo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60432-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Numerical Methods for Electrical Engineering

2024-12-12T02:52:59Z

Yazar Rosłoniec, Stanisław. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79519-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-directed simulation and systems engineering

2024-12-12T02:52:59Z

Yazar Yilmaz, Levent, 1971- Ören, Tuncer I. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737 John Wiley http://dx.doi.org/10.1002/9783527627783
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Effective Model-Based Systems Engineering

2024-12-12T02:52:59Z

Yazar Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95669-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intentional Perspectives on Information Systems Engineering

2024-12-12T02:52:59Z

Yazar Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12544-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems

2024-12-12T02:52:59Z

Yazar Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Simulink with engineering applications

2024-12-12T02:52:59Z

Yazar Karris, Steven T. ebrary, Inc.
Yer Numarası ONLINE
Elektronik Erişim http://site.ebrary.com/lib/hacettepe/Doc?id=10124784
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Intelligent Control to Engineering Systems

2024-12-12T02:52:59Z

Yazar Valavanis, Kimon P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3018-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32409-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practice of Optimisation Theory in Geotechnical Engineering

2024-12-12T02:52:59Z

Yazar Yin, Zhen-Yu. author. Jin, Yin-Fu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3408-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

2024-12-12T02:52:59Z

Yazar Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10885-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2024-12-12T02:52:59Z

Yazar Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11653-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2024-12-12T02:52:59Z

Yazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11245-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Fabrication in Architecture, Engineering and Construction

2024-12-12T02:52:59Z

Yazar Caneparo, Luca. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-007-7137-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolving Connectionist Systems The Knowledge Engineering Approach

2024-12-12T02:52:59Z

Yazar Kasabov, Nikola. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-347-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering

2024-12-12T02:52:59Z

Yazar Vukašinović, Nikola. author. Duhovnik, Jože. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02399-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016

2024-12-12T02:52:59Z

Yazar Singh, Sanjay. editor. Raj, Pushkar. editor. Tambe, Samir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5849-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

2024-12-12T02:52:59Z

Yazar Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93488-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)

2024-12-12T02:52:59Z

Yazar Chattopadhyay, Surajit. editor. Roy, Tamal. editor. Sengupta, Samarjit. editor. Berger-Vachon, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74808-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering

2024-12-12T02:52:59Z

Yazar Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23073-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering

2024-12-12T02:52:59Z

Yazar Wang, Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6484-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16722-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30446-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12203-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

2024-12-12T02:52:59Z

Yazar Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72652-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02852-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield

2024-12-12T02:52:59Z

Yazar Stepney, Susan. author. Polack, Fiona A.C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01938-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach

2024-12-12T02:52:59Z

Yazar Fernández de Cañete, J. author. Galindo, C. author. Barbancho, J. author. Luque, A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75717-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation of ODE/PDE Models with MATLAB®, OCTAVE and SCILAB Scientific and Engineering Applications

2024-12-12T02:52:59Z

Yazar Vande Wouwer, Alain. author. Saucez, Philippe. author. Vilas, Carlos. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06790-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Computational Mass Transfer With Applications to Chemical Engineering

2024-12-12T02:52:59Z

Yazar Yu, Kuo-Tsong. author. Yuan, Xigang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-53911-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decision-Based Design Integrating Consumer Preferences into Engineering Design

2024-12-12T02:52:59Z

Yazar Chen, Wei. author. Hoyle, Christopher. author. Wassenaar, Henk Jan. author. SpringerLink (Online service)
Yer Numarası ONLINE(330900.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4036-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Modeling and Interoperability in Product and Process Engineering A Technology for Engineering Informatics

2024-12-12T02:52:59Z

Yazar Ma, Yongsheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331135.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5073-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29752-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2024-12-12T02:52:59Z

Yazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334055.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334727.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334995.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain Engineering Product Lines, Languages, and Conceptual Models

2024-12-12T02:52:59Z

Yazar Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.
Yer Numarası ONLINE(334257.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36654-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334290.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334573.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38279-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335097.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41366-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Yer Numarası ONLINE(335120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Kienzle, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29645-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

2024-12-12T02:52:59Z

Yazar Engemann, Kurt J. editor. Gil-Lafuente, Anna M. editor. Merigó, José M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30433-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings

2024-12-12T02:52:59Z

Yazar Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33609-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

2024-12-12T02:52:59Z

Yazar France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33666-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18472-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21210-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Psychology and Cognitive Ergonomics 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings

2024-12-12T02:52:59Z

Yazar Harris, Don. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21741-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16277-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Applications of Neural Networks 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings Part I

2024-12-12T02:52:59Z

Yazar Iliadis, Lazaros. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23957-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings

2024-12-12T02:52:59Z

Yazar Bellatreche, Ladjel. editor. Mota Pinto, Filipe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24443-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Ghosh, Sudipto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12261-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technology for Modelling Electrical Analogies, Engineering Practice, and the Development of Analogue Computing

2024-12-12T02:52:59Z

Yazar Care, Charles. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-948-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12107-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice

2024-12-12T02:52:59Z

Yazar Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14866-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geometric Algebra Computing in Engineering and Computer Science

2024-12-12T02:52:59Z

Yazar Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-108-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Chaudron, Michel R. V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01648-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Enterprise Engineering III 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

2024-12-12T02:52:59Z

Yazar Albani, Antonia. editor. Barjis, Joseph. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01915-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Psychology and Cognitive Ergonomics 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings

2024-12-12T02:52:59Z

Yazar Harris, Don. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02728-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering

2024-12-12T02:52:59Z

Yazar Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03764-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Data Engineering and Automated Learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings

2024-12-12T02:52:59Z

Yazar Corchado, Emilio. editor. Yin, Hujun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04394-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bee-Inspired Protocol Engineering From Nature to Networks

2024-12-12T02:52:59Z

Yazar Farooq, Muddassar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85954-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00434-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Artikis, Alexander. editor. Picard, Gauthier. editor. Vercouter, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02562-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

2024-12-12T02:52:59Z

Yazar Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03153-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Applications of Neural Networks 11th International Conference, EANN 2009, London, UK, August 27-29, 2009. Proceedings

2024-12-12T02:52:59Z

Yazar Palmer-Brown, Dominic. editor. Draganova, Chrisina. editor. Pimenidis, Elias. editor. Mouratidis, Haris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings

2024-12-12T02:52:59Z

Yazar Aldewereld, Huib. editor. Dignum, Virginia. editor. Picard, Gauthier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10203-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI and Usability for e-Inclusion 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings

2024-12-12T02:52:59Z

Yazar Holzinger, Andreas. editor. Miesenberger, Klaus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10308-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI and Usability for Education and Work 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings

2024-12-12T02:52:59Z

Yazar Holzinger, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89350-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

2024-12-12T02:52:59Z

Yazar Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92698-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Giese, Holger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69073-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

2024-12-12T02:52:59Z

Yazar Nagl, Manfred. editor. Marquardt, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70552-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2024-12-12T02:52:59Z

Yazar Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Artikis, Alexander. editor. O’Hare, Gregory M. P. editor. Stathis, Kostas. editor. Vouros, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87654-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

2024-12-12T02:52:59Z

Yazar Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87875-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Kühne, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69489-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings

2024-12-12T02:52:59Z

Yazar Holzinger, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76805-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

2024-12-12T02:52:59Z

Yazar Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71301-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Psychology and Cognitive Ergonomics 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-12-12T02:52:59Z

Yazar Harris, Don. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73331-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

2024-12-12T02:52:59Z

Yazar Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75209-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers

2024-12-12T02:52:59Z

Yazar O’Hare, Gregory M. P. editor. Ricci, Alessandro. editor. O’Grady, Michael J. editor. Dikenelli, Oğuz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75524-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Fractional Calculus Theoretical Developments and Applications in Physics and Engineering

2024-12-12T02:52:59Z

Yazar Sabatier, Jocelyn. editor. Agrawal, Om Prakash. editor. Machado, J. A. Tenreiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6042-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers

2024-12-12T02:52:59Z

Yazar Dikenelli, Oğuz. editor. Gleizes, Marie-Pierre. editor. Ricci, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11759683
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

2024-12-12T02:52:59Z

Yazar Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11880240
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Finite Element Method and Applications in Engineering Using Ansys®

2024-12-12T02:52:59Z

Yazar Madenci, Erdogan. author. Guven, Ibrahim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-28290-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2024-12-12T02:52:59Z

Yazar Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28171-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

2024-12-12T02:52:59Z

Yazar Gleizes, Marie-Pierre. editor. Omicini, Andrea. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136158
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

2024-12-12T02:52:59Z

Yazar Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11557432
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France

2024-12-12T02:52:59Z

Yazar Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104300
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence in Time Series Forecasting Theory and Engineering Applications

2024-12-12T02:52:59Z

Yazar Palit, Ajoy K. author. Popovic, Dobrivoje. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-184-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive Engineering A Distributed Approach to Machine Intelligence

2024-12-12T02:52:59Z

Yazar Konar, Amit. author. Jain, Lakhmi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-234-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Evolutionary Algorithms

2024-12-12T02:52:59Z

Yazar Yu, Xinjie. author. Gen, Mitsuo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-129-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enabling a Simulation Capability in the Organisation

2024-12-12T02:52:59Z

Yazar Greasley, Andrew. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-169-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Predictive Control

2024-12-12T02:52:59Z

Yazar Raković, Saša V. editor. Levine, William S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77489-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Finite Element Methods An Introduction

2024-12-12T02:52:59Z

Yazar Papadopoulos, Vissarion. author. Giovanis, Dimitris G. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64528-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34968-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20652-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18744-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01090-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95582-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-12-12T02:52:59Z

Yazar de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90089-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Perspectives on Applied Industrial Tools and Techniques

2024-12-12T02:52:59Z

Yazar García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963 Alor-Hernández, Giner. editor. Maldonado-Macías, Aidé Aracely. editor. Sánchez-Ramírez, Cuauhtémoc. editor. (orcid)0000-0002-0344-1966 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56871-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77935-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98938-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models@run.time Foundations, Applications, and Roadmaps

2024-12-12T02:52:59Z

Yazar Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08915-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

2024-12-12T02:52:59Z

Yazar Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09099-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

2024-12-12T02:52:59Z

Yazar Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13835-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling of Metal Forming and Machining Processes by Finite Element and Soft Computing Methods

2024-12-12T02:52:59Z

Yazar Dixit, Prakash M. author. Dixit, Uday S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-189-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Casting: An Analytical Approach

2024-12-12T02:52:59Z

Yazar Reikher, Alexandre. author. Barkhudarov, Michael R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-850-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27008-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00244-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54338-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-55149-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems modeling and computer simulation

2024-12-12T02:52:59Z

Yazar Kheir, Naim A., 1933- ed.
Yer Numarası QA 76.9.C65 S975 1996
Format: Kitap
Durum Beytepe Kütüphanesi~1

Multi-layer Pavement System under Blast Load

2024-12-12T02:52:59Z

Yazar Wu, Jun. author. Wu, Hao. author. Tan, Hong Wei Andy. author. Chew, Soon Hoe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5001-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finite Element Applications A Practical Guide to the FEM Process

2024-12-12T02:52:59Z

Yazar Okereke, Michael. author. Keates, Simeon. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67125-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the FISITA 2012 World Automotive Congress Volume 8: Vehicle Design and Testing (II).

2024-12-12T02:52:59Z

Yazar SAE-China. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333744.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33738-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the FISITA 2012 World Automotive Congress Volume 2: Advanced Internal Combustion Engines (II).

2024-12-12T02:52:59Z

Yazar SAE-China. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333748.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33750-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics in Control, Automation and Robotics Volume 2

2024-12-12T02:52:59Z

Yazar Yang, Dehuai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25992-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Maintenance Management in Network Utilities Framework and Practical Implementation

2024-12-12T02:52:59Z

Yazar Gómez Fernández, Juan F. author. Crespo Márquez, Adolfo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2757-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonsmooth Modeling and Simulation for Switched Circuits

2024-12-12T02:52:59Z

Yazar Acary, Vincent. author. Bonnefon, Olivier. author. Brogliato, Bernard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9681-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics in Control, Automation and Robotics Volume 1

2024-12-12T02:52:59Z

Yazar Tan, Honghua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25899-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safety and Risk Modeling and Its Applications

2024-12-12T02:52:59Z

Yazar Pham, Hoang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-470-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Techniques for Structural Health Monitoring

2024-12-12T02:52:59Z

Yazar Gopalakrishnan, Srinivasan. author. Ruzzene, Massimo. author. Hanagud, Sathyanaraya. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-284-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation Methods for Reliability and Availability of Complex Systems

2024-12-12T02:52:59Z

Yazar Faulin, Javier. editor. Juan, Angel A. editor. Martorell, Sebastián. editor. Ramírez-Márquez, José-Emmanuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-213-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2024-12-12T02:52:59Z

Yazar Radetzki, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Shock and Damage Models in Reliability Theory

2024-12-12T02:52:59Z

Yazar Nakagawa, Toshio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-442-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17

2024-12-12T02:52:59Z

Yazar Zhu, Quanmin. editor. Na, Jing. editor. Wu, Xing. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7212-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480

2024-12-12T02:52:59Z

Yazar Biermann, D. editor. Hollmann, F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57120-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016

2024-12-12T02:52:59Z

Yazar Dixit, Uday S. editor. Kant, Ravi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8518-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Simulation and Parametric Modeling for Strategic Project Management

2024-12-12T02:52:59Z

Yazar Morales, Peter J. author. Anderson, Dennis. author. SpringerLink (Online service)
Yer Numarası ONLINE(332177.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6989-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Scientific Computing

2024-12-12T02:52:59Z

Yazar Gustafsson, Bertil. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19495-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Modeling

2024-12-12T02:52:59Z

Yazar Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104986
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy Efficiency in Manufacturing Systems

2024-12-12T02:52:59Z

Yazar Thiede, Sebastian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25914-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

2024-12-12T02:52:59Z

Yazar Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105417
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computing

2024-12-12T02:52:59Z

Yazar Bader, Michael. editor. Bungartz, Hans-Joachim. editor. Weinzierl, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334664.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38762-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Modeling and Simulations

2024-12-12T02:52:59Z

Yazar Yip, Sidney. editor. Rubia, Tomás Diaz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9741-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Algorithms for Macromolecular Simulation

2024-12-12T02:52:59Z

Yazar Leimkuhler, Benedict. editor. Chipot, Christophe. editor. Elber, Ron. editor. Laaksonen, Aatto. editor. Mark, Alan. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-31618-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

2024-12-12T02:52:59Z

Yazar Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74439-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

2024-12-12T02:52:59Z

Yazar Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72823-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Field Free Line Magnetic Particle Imaging

2024-12-12T02:52:59Z

Yazar Erbe, Marlitt. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-05337-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Model Predictive Control Made Easy

2024-12-12T02:52:59Z

Yazar Maestre, José M. editor. Negenborn, Rudy R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-007-7006-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems A Time/Space Separation Based Approach

2024-12-12T02:52:59Z

Yazar Li, Han-Xiong. author. Qi, Chenkun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0741-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design and Use of Serious Games

2024-12-12T02:52:59Z

Yazar Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9496-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Circuit Simulation with SPICE OPUS Theory and Practice

2024-12-12T02:52:59Z

Yazar Tuma, Tadej. author. Buermen, Árpád. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-8176-4867-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I

2024-12-12T02:52:59Z

Yazar Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22968-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II

2024-12-12T02:52:59Z

Yazar Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19156-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Li, Bo. editor. Yang, Mao. editor. (orcid)0000-0001-6081-1006 Yuan, Hui. editor. (orcid)0000-0001-5212-3393 Yan, Zhongjiang. editor. (orcid)0000-0003-2806-5343 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14657-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I

2024-12-12T02:52:59Z

Yazar Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19153-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37262-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Jin, Jiyu. editor. Li, Peng. editor. Fan, Lei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21730-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

2024-12-12T02:52:59Z

Yazar Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36405-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32216-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II

2024-12-12T02:52:59Z

Yazar Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73447-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

2024-12-12T02:52:59Z

Yazar Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66628-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

2024-12-12T02:52:59Z

Yazar Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66625-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings

2024-12-12T02:52:59Z

Yazar Sun, Guanglu. editor. Liu, Shuai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73317-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

2024-12-12T02:52:59Z

Yazar Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73564-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

2024-12-12T02:52:59Z

Yazar Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90802-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

2024-12-12T02:52:59Z

Yazar Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78139-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I

2024-12-12T02:52:59Z

Yazar Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78130-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Finance An Introductory Course with R

2024-12-12T02:52:59Z

Yazar Arratia, Argimiro. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.2991/978-94-6239-070-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332975.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03473-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Extremal Fuzzy Dynamic Systems Theory and Applications

2024-12-12T02:52:59Z

Yazar Sirbiladze, Gia. author. SpringerLink (Online service)
Yer Numarası ONLINE(331460.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4250-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29096-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29273-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Mobile Communication and Healthcare Second International ICST Conference, MobiHealth 2011, Kos Island, Greece, October 5-7, 2011. Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Nikita, Konstantina S. editor. Lin, James C. editor. Fotiadis, Dimitrios I. editor. Arredondo Waldmeyer, Maria-Teresa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29734-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29479-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17851-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Arts and Technology First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Huang, Fay. editor. Wang, Reen-Cheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11577-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16644-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Infrastructures

2024-12-12T02:52:59Z

Yazar Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3598-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Zheng, Jun. editor. Simplot-Ryl, David. editor. Leung, Victor C. M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17994-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Healthcare First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Weerasinghe, Dasun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00413-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Cheng, Maggie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02427-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automaton Modeling of Biological Pattern Formation Characterization, Applications, and Analysis

2024-12-12T02:52:59Z

Yazar Deutsch, Andreas. author. Dormann, Sabine. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138451
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Summer of Simulation 50 Years of Seminal Computer Simulation Research

2024-12-12T02:52:59Z

Yazar Sokolowski, John. editor. Durak, Umut. editor. Mustafee, Navonil. editor. Tolk, Andreas. editor. (orcid)0000-0002-4201-8757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17164-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transient Effects in Simulations of Hybrid Electric Drivetrains

2024-12-12T02:52:59Z

Yazar Winke, Florian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-22554-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ray Tracing: A Tool for All

2024-12-12T02:52:59Z

Yazar Peddie, Jon. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17490-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem

2024-12-12T02:52:59Z

Yazar Virdis, Antonio. editor. Kirsche, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12842-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation for Industry 4.0 Past, Present, and Future

2024-12-12T02:52:59Z

Yazar Gunal, Murat M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04137-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29007-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2024-12-12T02:52:59Z

Yazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-25540-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Signal and Image Processing ISSIP 2017

2024-12-12T02:52:59Z

Yazar Bhattacharyya, Siddhartha. editor. Mukherjee, Anirban. editor. Bhaumik, Hrishikesh. editor. Das, Swagatam. editor. Yoshida, Kaori. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8863-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2024-12-12T02:52:59Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17502-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13651-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

2024-12-12T02:52:59Z

Yazar Karwowski, Waldemar. editor. Trzcielinski, Stefan. editor. Mrugalska, Beata. editor. Di Nicolantonio, Massimo. editor. Rossi, Emilio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94196-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30923-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany

2024-12-12T02:52:59Z

Yazar Behrisch, Michael. editor. Weber, Melanie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33616-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2024-12-12T02:52:59Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29662-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018

2024-12-12T02:52:59Z

Yazar Bhattacharyya, Siddhartha. editor. Pal, Sankar K. editor. Pan, Indrajit. editor. Das, Abhijit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6783-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties

2024-12-12T02:52:59Z

Yazar Cacuci, Dan Gabriel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58395-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Insights into Advanced Computer Graphics Techniques

2024-12-12T02:52:59Z

Yazar Dobashi, Yoshinori. editor. Kaji, Shizuo. editor. Iwasaki, Kei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2850-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability Aspect of Cloud Computing Environment

2024-12-12T02:52:59Z

Yazar Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3023-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97628-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00151-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

2024-12-12T02:52:59Z

Yazar Kryzhanovsky, Boris. editor. Dunin-Barkowski, Witali. editor. Redko, Vladimir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66604-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Discrete-Event Systems with GPenSIM An Introduction

2024-12-12T02:52:59Z

Yazar Davidrajuh, Reggie. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73102-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Analysis Approach for Complex Global Challenges

2024-12-12T02:52:59Z

Yazar Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71486-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Scientific Computing With Python

2024-12-12T02:52:59Z

Yazar Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-12-12T02:52:59Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96145-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99154-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Dynamic Data Driven Applications Systems

2024-12-12T02:52:59Z

Yazar Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95504-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71734-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-12-12T02:52:59Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96142-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Test and Launch Control Technology for Launch Vehicles

2024-12-12T02:52:59Z

Yazar Song, Zhengyu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8712-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-12-12T02:52:59Z

Yazar Hoffman, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60747-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91587-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-12-12T02:52:59Z

Yazar Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94111-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Occupant Behavior in Buildings Methods and Challenges

2024-12-12T02:52:59Z

Yazar Wagner, Andreas. editor. O’Brien, William. editor. Dong, Bing. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61464-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems

2024-12-12T02:52:59Z

Yazar Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54490-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2024-12-12T02:52:59Z

Yazar Cassenti, Daniel N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60591-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Tuning of Compilers Using Machine Learning

2024-12-12T02:52:59Z

Yazar Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71489-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Networks for Cooperative Control of Multiple Robot Arms

2024-12-12T02:52:59Z

Yazar Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7037-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Control Design and MATLAB Simulation

2024-12-12T02:52:59Z

Yazar Liu, Jinkun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5263-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Simulation of the Aerodynamics of High-Lift Configurations

2024-12-12T02:52:59Z

Yazar López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396 Escobar Gomez, Jaime A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62136-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2024-12-12T02:52:59Z

Yazar Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00787-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)

2024-12-12T02:52:59Z

Yazar Doroftei, Ioan. editor. Oprisan, Cezar. editor. Pisla, Doina. editor. Lovasz, Erwin Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-79111-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76072-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Graph Theory with Applications to Human Trafficking

2024-12-12T02:52:59Z

Yazar Mordeson, John N. author. Mathew, Sunil. author. Malik, Davender S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76454-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bone Adaptation In Silico Approach

2024-12-12T02:52:59Z

Yazar Kameo, Yoshitaka. author. Tsubota, Ken-ichi. author. Adachi, Taiji. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-4-431-56514-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A practical guide to SysML : the systems modeling language

2024-12-12T02:52:59Z

Yazar Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Yer Numarası ONLINE(355422.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-12-12T02:52:59Z

Yazar Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12982-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Power System Analysis

2024-12-12T02:52:59Z

Yazar Idema, Reijer. author. Lahaye, Domenico J.P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.2991/978-94-6239-064-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings

2024-12-12T02:52:59Z

Yazar González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11421-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tactile Score A Knowledge Media for Tactile Sense

2024-12-12T02:52:59Z

Yazar Suzuki, Yasuhiro. author. Suzuki, Rieko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-4-431-54547-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quasi-Dimensional Simulation of Spark Ignition Engines From Thermodynamic Optimization to Cyclic Variability

2024-12-12T02:52:59Z

Yazar Medina, Alejandro. author. Curto-Risso, Pedro Luis. author. Hernández, Antonio Calvo. author. Guzmán-Vargas, Lev. author. Angulo-Brown, Fernando. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-5289-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Transportation Analysis, Modeling and Simulation Computational Foundations and Multimodal Applications

2024-12-12T02:52:59Z

Yazar Möller, Dietmar P.F. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-5637-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings

2024-12-12T02:52:59Z

Yazar Yu, Eric. editor. Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367 Jarke, Matthias. editor. Purao, Sandeep. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12206-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2024-12-12T02:52:59Z

Yazar Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11900-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Apprendre et maîtriser LabVIEW par ses applications

2024-12-12T02:52:59Z

Yazar Martaj, Nadia. author. Mokhtari, Mohand. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-45335-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings

2024-12-12T02:52:59Z

Yazar Indulska, Marta. editor. Purao, Sandeep. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12256-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Parsons, Jeffrey. editor. Chiu, Dickson. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14139-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits

2024-12-12T02:52:59Z

Yazar Yu, Wenjian. author. Wang, Xiren. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54298-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings

2024-12-12T02:52:59Z

Yazar Demazeau, Yves. editor. Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806 Corchado Rodríguez, Juan M. editor. Bajo Pérez, Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07551-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Impact of Applications on Mathematics Proceedings of the Forum of Mathematics for Industry 2013

2024-12-12T02:52:59Z

Yazar Wakayama, Masato. editor. Anderssen, Robert S. editor. Cheng, Jin. editor. Fukumoto, Yasuhide. editor. McKibbin, Robert. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-4-431-54907-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multisensory Softness Perceived Compliance from Multiple Sources of Information

2024-12-12T02:52:59Z

Yazar Di Luca, Massimiliano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6533-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44920-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Assessment of Total Evacuation Systems for Tall Buildings

2024-12-12T02:52:59Z

Yazar Ronchi, Enrico. author. Nilsson, Daniel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-1074-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-12-12T02:52:59Z

Yazar Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45006-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43779-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms

2024-12-12T02:52:59Z

Yazar Siddique, Nazmul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-02135-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-time simulation technologies principles, methodologies, and applications

2024-12-12T02:52:59Z

Yazar Popovici, Katalin. Mosterman, Pieter J.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation Exploring Dynamic System Behaviour

2024-12-12T02:52:59Z

Yazar Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Yer Numarası ONLINE(330882.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exergy Production, Cost and Renewability

2024-12-12T02:52:59Z

Yazar de Oliveira Junior, Silvio. author. SpringerLink (Online service)
Yer Numarası ONLINE(330922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4165-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Photovoltaic Sources Modeling and Emulation

2024-12-12T02:52:59Z

Yazar Di Piazza, Maria Carmela. author. Vitale, Gianpaolo. author. SpringerLink (Online service)
Yer Numarası ONLINE(330965.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4378-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality Management in Reverse Logistics A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains

2024-12-12T02:52:59Z

Yazar Nikolaidis, Yiannis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331003.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4537-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application

2024-12-12T02:52:59Z

Yazar Kang, Shu Gang. author. Choi, Shiu Hong. author. SpringerLink (Online service)
Yer Numarası ONLINE(331015.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4576-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Mechatronic Systems Modeling, Control and Diagnosis

2024-12-12T02:52:59Z

Yazar Merzouki, Rochdi. author. Samantaray, Arun Kumar. author. Pathak, Pushparaj Mani. author. Ould Bouamama, Belkacem. author. SpringerLink (Online service)
Yer Numarası ONLINE(331028.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4628-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grasping in Robotics

2024-12-12T02:52:59Z

Yazar Carbone, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331037.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4664-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Energy Demand Forecasting

2024-12-12T02:52:59Z

Yazar Hong, Wei-Chiang. author. SpringerLink (Online service)
Yer Numarası ONLINE(331108.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4968-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control

2024-12-12T02:52:59Z

Yazar Soomere, Tarmo. editor. Quak, Ewald. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332753.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00440-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Advanced Data Analysis by Combining Soft Computing and Statistics

2024-12-12T02:52:59Z

Yazar Borgelt, Christian. editor. Gil, María Ángeles. editor. Sousa, João M.C. editor. Verleysen, Michel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333309.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30278-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-12T02:52:59Z

Yazar Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.
Yer Numarası ONLINE(333577.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32454-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 21st International Meshing Roundtable

2024-12-12T02:52:59Z

Yazar Jiao, Xiangmin. editor. Weill, Jean-Christophe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333723.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33573-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials

2024-12-12T02:52:59Z

Yazar Li, Jichun. author. Huang, Yunqing. author. SpringerLink (Online service)
Yer Numarası ONLINE(333751.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33789-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Control Theory for Engineers A Primer

2024-12-12T02:52:59Z

Yazar d'Andréa-Novel, Brigitte. author. De Lara, Michel. author. SpringerLink (Online service)
Yer Numarası ONLINE(333829.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34324-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334071.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

User-Level Workflow Design A Bioinformatics Perspective

2024-12-12T02:52:59Z

Yazar Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335213.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45389-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Variation-Aware Adaptive Voltage Scaling for Digital CMOS Circuits

2024-12-12T02:52:59Z

Yazar Wirnshofer, Martin. author. SpringerLink (Online service)
Yer Numarası ONLINE(336184.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6196-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Drehstrommaschinen im Inselbetrieb Modellbildung - Parametrierung - Simulation

2024-12-12T02:52:59Z

Yazar Mrugowsky, Hartmut. author. SpringerLink (Online service)
Yer Numarası ONLINE(338322.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2136-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013

2024-12-12T02:52:59Z

Yazar Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.
Yer Numarası ONLINE(332866.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01439-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty

2024-12-12T02:52:59Z

Yazar Starczewski, Janusz T. author. SpringerLink (Online service)
Yer Numarası ONLINE(333243.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29520-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CLEAN CO2 Large-Scale Enhanced Gas Recovery in the Altmark Natural Gas Field - GEOTECHNOLOGIEN Science Report No. 19

2024-12-12T02:52:59Z

Yazar Kühn, Michael. editor. Münch, Ute. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333469.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31677-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Consensus and Synchronization in Complex Networks

2024-12-12T02:52:59Z

Yazar Kocarev, Ljupco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333698.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33359-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Yer Numarası ONLINE(334508.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37974-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Repetitive Motion Planning and Control of Redundant Robot Manipulators

2024-12-12T02:52:59Z

Yazar Zhang, Yunong. author. Zhang, Zhijun. author. SpringerLink (Online service)
Yer Numarası ONLINE(334446.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37518-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334698.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming

2024-12-12T02:52:59Z

Yazar Gu, Edward Y L. author. SpringerLink (Online service)
Yer Numarası ONLINE(334717.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39047-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334768.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39259-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

2024-12-12T02:52:59Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334826.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39637-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

2024-12-12T02:52:59Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334827.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39640-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

2024-12-12T02:52:59Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334828.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39643-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

2024-12-12T02:52:59Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334829.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39646-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV

2024-12-12T02:52:59Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334830.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39649-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2024-12-12T02:52:59Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334837.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39698-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334871.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39958-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334992.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40708-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2024-12-12T02:52:59Z

Yazar Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335215.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45404-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2024-12-12T02:52:59Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335219.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-53856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2024-12-12T02:52:59Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-53862-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Collective Intelligence XI

2024-12-12T02:52:59Z

Yazar Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335144.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41776-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

2024-12-12T02:52:59Z

Yazar Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335148.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41908-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Biology Integrative Biology and Simulation Tools

2024-12-12T02:52:59Z

Yazar Prokop, Aleš. editor. Csukás, Béla. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336324.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6803-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digitale Produktion

2024-12-12T02:52:59Z

Yazar Westkämper, Engelbert. editor. Spath, Dieter. editor. Constantinescu, Carmen. editor. Lentes, Joachim. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336884.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20259-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation diskreter Prozesse Methoden und Anwendungen

2024-12-12T02:52:59Z

Yazar Hedtstück, Ulrich. author. SpringerLink (Online service)
Yer Numarası ONLINE(337144.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34871-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-finger Haptic Interaction

2024-12-12T02:52:59Z

Yazar Galiana, Ignacio. editor. Ferre, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331173.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5204-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2024-12-12T02:52:59Z

Yazar Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE(331181.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Simulation of Thermal Plant Operations

2024-12-12T02:52:59Z

Yazar O'Kelly, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE(331461.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4256-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Imaging Heat and Mass Transfer Processes Visualization and Analysis

2024-12-12T02:52:59Z

Yazar Panigrahi, Pradipta Kumar. author. Muralidhar, Krishnamurthy. author. SpringerLink (Online service)
Yer Numarası ONLINE(331588.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4791-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Collective Intelligence IX

2024-12-12T02:52:59Z

Yazar Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334300.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36815-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2024-12-12T02:52:59Z

Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334556.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Collective Intelligence X

2024-12-12T02:52:59Z

Yazar Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334611.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38496-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

2024-12-12T02:52:59Z

Yazar Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335179.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45025-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335043.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41019-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

2024-12-12T02:52:59Z

Yazar Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335150.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41924-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1