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

Simulation

2025-12-06T09:07:11Z

Yazar Henderson, Shane G. Nelson, Barry L.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect An electronic book accessible through the World Wide Web; click for information ScienceDirect http://www.sciencedirect.com/science/handbooks/09270507
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation

2025-12-06T09:07:11Z

Yazar Ross, Sheldon M.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124158252
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation

2025-12-06T09:07:11Z

Yazar Ross, Sheldon M.
Yer Numarası ONLINE(312914.1)
Elektronik Erişim Knovel http://app.knovel.com/web/toc.v/cid:kpSE000016
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Crowd Simulation

2025-12-06T09:07:11Z

Yazar Thalmann, Daniel. author. Musse, Soraia Raupp. author. SpringerLink (Online service)
Yer Numarası ONLINE(330982.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4450-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Crowd Simulation

2025-12-06T09:07:11Z

Yazar Thalmann, Daniel. author. Musse, Soraia Raupp. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-825-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OPNET IoT Simulation

2025-12-06T09:07:11Z

Yazar Chen, Min. author. Miao, Yiming. author. Humar, Iztok. author. (orcid)0000-0002-4940-3500 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-32-9170-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation with Arena

2025-12-06T09:07:11Z

Yazar Kelton, W. David. Sadowski, Randall P. Zupick, Nancy B.
Yer Numarası QA76.9.C65 K45 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

Simulation using ProModel

2025-12-06T09:07:11Z

Yazar Harrell, Charles, 1950- Ghosh, Biman K. Bowden, Royce.
Yer Numarası QA76.9.C65 H355 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

Simulation with Arena

2025-12-06T09:07:11Z

Yazar Kelton, W. David. Sadowski, Randall P. Swets, Nancy B.
Yer Numarası QA76.9.C65 K45 2010
Format: Kitap
Durum Beytepe Kütüphanesi~2

Quantum Circuit Simulation

2025-12-06T09:07:11Z

Yazar Viamontes, George F. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3065-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Continuous System Simulation

2025-12-06T09:07:11Z

Yazar Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-30260-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Comprehensive Healthcare Simulation: Neurosurgery

2025-12-06T09:07:11Z

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

Modeling, Simulation, and Optimization

2025-12-06T09:07:11Z

Yazar Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70542-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive dynamic-system simulation

2025-12-06T09:07:11Z

Yazar Korn, Granino A. (Granino Arthur), 1922, author.
Yer Numarası QA76.9 .C65 K68 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Knowledge-based simulation : methodology and application

2025-12-06T09:07:11Z

Yazar Fishwick, Paul A. Modjeski, Richard B.
Yer Numarası QA76.9.C65 K65 1990
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Modeling and Simulation in Industrial Engineering

2025-12-06T09:07:11Z

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

Intelligent Control Design and MATLAB Simulation

2025-12-06T09:07:11Z

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

Simulation diskreter Prozesse Methoden und Anwendungen

2025-12-06T09:07:11Z

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

Modellbildung und Simulation Eine anwendungsorientierte Einführung

2025-12-06T09:07:11Z

Yazar Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)
Yer Numarası ONLINE(337284.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37656-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Simulation of Thermal Plant Operations

2025-12-06T09:07:11Z

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

Drehstrommaschinen im Inselbetrieb Modellbildung - Parametrierung - Simulation

2025-12-06T09:07:11Z

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

Direct and Large-Eddy Simulation VIII

2025-12-06T09:07:11Z

Yazar Kuerten, Hans. editor. Geurts, Bernard. editor. Armenio, Vincenzo. editor. Fröhlich, Jochen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-2482-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual modeling for discrete-event simulation

2025-12-06T09:07:11Z

Yazar Robinson, Stewart, 1964-
Yer Numarası QA76.9 .C65 C6566 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Modeling and Tools for Network Simulation

2025-12-06T09:07:11Z

Yazar Wehrle, Klaus. editor. Güneş, Mesut. editor. Gross, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12331-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-directed simulation and systems engineering

2025-12-06T09:07:11Z

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

Modellbildung und Simulation Eine anwendungsorientierte Einführung

2025-12-06T09:07:11Z

Yazar Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79810-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-agent systems : simulation and applications

2025-12-06T09:07:11Z

Yazar Uhrmacher, Adelinde. Weyns, Danny.
Yer Numarası QA76.76 .I58 M864 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

New Algorithms for Macromolecular Simulation

2025-12-06T09:07:11Z

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

Modeling and Simulation in Scilab/Scicos

2025-12-06T09:07:11Z

Yazar Campbell, Stephen L. author. Chancelier, Jean-Philippe. author. Nikoukhah, Ramine. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-30486-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Based Modeling Meets Gaming Simulation

2025-12-06T09:07:11Z

Yazar Arai, Kiyoshi. Deguchi, Hiroshi. Matsui, Hiroyuki. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/4-431-29427-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-oriented simulation reusability, adaptability, maintainability

2025-12-06T09:07:11Z

Yazar Zobrist, George W. (George Winston), 1934- Leonard, James V.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263105
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems modeling and computer simulation

2025-12-06T09:07:11Z

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

Modelling and Simulation Exploring Dynamic System Behaviour

2025-12-06T09:07:11Z

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

Multiphysics Simulation Electromechanical System Applications and Optimization

2025-12-06T09:07:11Z

Yazar Dede, Ercan M. author. Lee, Jaewook. author. Nomura, Tsuyoshi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-5640-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation Exploring Dynamic System Behaviour

2025-12-06T09:07:11Z

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

Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice

2025-12-06T09:07:11Z

Yazar Crawford, Scott B. editor. Baily, Lance W. editor. Monks, Stormy M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15378-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete and continuous simulation : theory and practice

2025-12-06T09:07:11Z

Yazar Bandyopadhyay, Susmita, author. Bhattacharya, Ranjan, author.
Yer Numarası QA76.9 .C65 B36 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

System simulation techniques with MATLAB and Simulink

2025-12-06T09:07:11Z

Yazar Xue, Dingyü. Chen, YangQuan, 1966-
Yer Numarası T57.62 X84 2014
Format: Kitap
Durum Beytepe Kütüphanesi~1

Haptic Rendering for Simulation of Fine Manipulation

2025-12-06T09:07:11Z

Yazar Wang, Dangxiao. author. Xiao, Jing. author. Zhang, Yuru. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44949-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Biology Integrative Biology and Simulation Tools

2025-12-06T09:07:11Z

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

Simulation and Learning A Model-Centered Approach

2025-12-06T09:07:11Z

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

Large-scale simulation : models, algorithms, and applications

2025-12-06T09:07:11Z

Yazar Chen, Dan, 1973, author. Wang, Lizhe, 1974- Chen, Jingying, 1973 -
Yer Numarası QA76.9 .C65 C475 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Nonsmooth Modeling and Simulation for Switched Circuits

2025-12-06T09:07:11Z

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

Enabling a Simulation Capability in the Organisation

2025-12-06T09:07:11Z

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

Smart Driver Training Simulation Save Money. Prevent.

2025-12-06T09:07:11Z

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

Modelling and Simulation Exploring Dynamic System Behaviour

2025-12-06T09:07:11Z

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

Advancing Social Simulation: The First World Congress

2025-12-06T09:07:11Z

Yazar Takahashi, Shingo. editor. Sallach, David. editor. Rouchier, Juliette. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-73167-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives

2025-12-06T09:07:11Z

Yazar Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70766-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Summer of Simulation 50 Years of Seminal Computer Simulation Research

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Modelling and Simulation of Diffusive Processes Methods and Applications

2025-12-06T09:07:11Z

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

Guide to Modeling and Simulation of Systems of Systems

2025-12-06T09:07:11Z

Yazar Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Yer Numarası ONLINE(330586.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-865-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Co-designers cultures of computer simulation in architecture

2025-12-06T09:07:11Z

Yazar Loukissas, Yanni A. (Yanni Alexander)
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical modeling and simulation introduction for scientists and engineers

2025-12-06T09:07:11Z

Yazar Velten, Kai. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482349 John Wiley http://dx.doi.org/10.1002/9783527627608 http://swb.eblib.com/patron/FullRecord.aspx?p=482349
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Circuit Simulation with SPICE OPUS Theory and Practice

2025-12-06T09:07:11Z

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

Modeling and simulation : the computer science of illusion

2025-12-06T09:07:11Z

Yazar Raczynski, Stanislaw.
Yer Numarası ONLINE
Elektronik Erişim Wiley Online Library
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

2025-12-06T09:07:11Z

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-030-14984-0
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

2025-12-06T09:07:11Z

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

Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings

2025-12-06T09:07:11Z

Yazar Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Bowditch, Lorelle. editor. Sprick, Cyle. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-32-9582-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings

2025-12-06T09:07:11Z

Yazar Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1078-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation for Industry 4.0 Past, Present, and Future

2025-12-06T09:07:11Z

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

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96271-9
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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

2025-12-06T09:07:11Z

Yazar Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2853-4
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

2025-12-06T09:07:11Z

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

Numerical Simulation of the Aerodynamics of High-Lift Configurations

2025-12-06T09:07:11Z

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach

2025-12-06T09:07:11Z

Yazar Fritzson, Peter A., 1952-
Yer Numarası ONLINE(342108.1)
Elektronik Erişim ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781118989166
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11457-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Simulation of Electrical and Computer Systems

2025-12-06T09:07:11Z

Yazar Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11248-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hierarchical Sliding Mode Control for Under-actuated Cranes Design, Analysis and Simulation

2025-12-06T09:07:11Z

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

Simulation technologies in networking and communications : selecting the best tool for the test

2025-12-06T09:07:11Z

Yazar Pathan, Al-Sakib Khan, editor. Monowar, Muhammad Mostafa, editor. Khan, Shafiullah, editor.
Yer Numarası QA76.9 .C65 S56 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook of Parallel and distributed simulation systems : Analysis and applications

2025-12-06T09:07:11Z

Yazar Takahashi N. W.
Yer Numarası QA76.9.C65 F84 2014 V.1
Format: Kitap
Durum Beytepe Kütüphanesi~2

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Intelligent Computing in Smart Grid and Electrical Vehicles International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅲ

2025-12-06T09:07:11Z

Yazar Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Qun, Niu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45286-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation of Urban Mobility First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers

2025-12-06T09:07:11Z

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

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

2025-12-06T09:07:11Z

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

High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10214-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings

2025-12-06T09:07:11Z

Yazar Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45289-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

2025-12-06T09:07:11Z

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

Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I

2025-12-06T09:07:11Z

Yazar Ma, Shiwei. editor. Jia, Li. editor. Li, Xin. editor. Wang, Ling. editor. Zhou, Huiyu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45283-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings

2025-12-06T09:07:11Z

Yazar Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12057-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54783-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Modeling and Simulation of Systems of Systems User’s Reference

2025-12-06T09:07:11Z

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

Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation

2025-12-06T09:07:11Z

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

Process Simulation and Parametric Modeling for Strategic Project Management

2025-12-06T09:07:11Z

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

Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective

2025-12-06T09:07:11Z

Yazar Ali, Saad. editor. Nishino, Ko. editor. Manocha, Dinesh. editor. Shah, Mubarak. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332421.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-8483-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334684.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38859-0
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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334136.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36157-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

2025-12-06T09:07:11Z

Yazar Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335181.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45037-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applications

2025-12-06T09:07:11Z

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

Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture

2025-12-06T09:07:11Z

Yazar Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)
Yer Numarası ONLINE(331178.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5233-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Methods of Stochastic Simulation A First Course

2025-12-06T09:07:11Z

Yazar Nelson, Barry L. author. SpringerLink (Online service)
Yer Numarası ONLINE(331960.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6160-9
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

2025-12-06T09:07:11Z

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

Enterprise and Organizational Modeling and Simulation 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013, Selected Papers

2025-12-06T09:07:11Z

Yazar Barjis, Joseph. editor. Gupta, Ashish. editor. Meshkat, Amir. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335132.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41638-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-time simulation technologies : principles, methodologies, and applications

2025-12-06T09:07:11Z

Yazar Popovici, Katalin. Mosterman, Pieter J.
Yer Numarası QA76.9 .C65 R385 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

2025-12-06T09:07:11Z

Yazar Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-54216-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Use Cases of Discrete Event Simulation Appliance and Research

2025-12-06T09:07:11Z

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

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28400-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Cranefield, Stephen. editor. Song, Insu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35612-4
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

2025-12-06T09:07:11Z

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

Information Quality and Management Accounting A Simulation Analysis of Biases in Costing Systems

2025-12-06T09:07:11Z

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

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2025-12-06T09:07:11Z

Yazar Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34327-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I

2025-12-06T09:07:11Z

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

AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I

2025-12-06T09:07:11Z

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

AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III

2025-12-06T09:07:11Z

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

AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II

2025-12-06T09:07:11Z

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

System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II

2025-12-06T09:07:11Z

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

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2025-12-06T09:07:11Z

Yazar Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35248-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of real-world applications in modeling and simulation

2025-12-06T09:07:11Z

Yazar Sokolowski, John A., 1953- Banks, Catherine M., 1960-
Yer Numarası ONLINE
Elektronik Erişim Connect to MyiLibrary resource. John Wiley http://dx.doi.org/10.1002/9781118241042 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=822094
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PEM Fuel Cells with Bio-Ethanol Processor Systems A Multidisciplinary Study of Modelling, Simulation, Fault Diagnosis and Advanced Control

2025-12-06T09:07:11Z

Yazar Basualdo, Marta S. editor. Feroldi, Diego. editor. Outbib, Rachid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-184-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Discrete Event Simulation and Agent-based Modeling Voting Systems, Health Care, Military, and Manufacturing

2025-12-06T09:07:11Z

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

Supply Chain Simulation A System Dynamics Approach for Improving Performance

2025-12-06T09:07:11Z

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

Simulation and Verification of Electronic and Biological Systems

2025-12-06T09:07:11Z

Yazar Li, Peng. editor. Silveira, Luís Miguel. editor. Feldmann, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0149-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Bosse, Tibor. editor. Geller, Armando. editor. Jonker, Catholijn M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18345-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling, Simulation and Software Concepts for Scientific-Technological Problems

2025-12-06T09:07:11Z

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

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

2025-12-06T09:07:11Z

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

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

2025-12-06T09:07:11Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2025-12-06T09:07:11Z

Yazar Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers

2025-12-06T09:07:11Z

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

Simulation und Optimierung in Produktion und Logistik Praxisorientierter Leitfaden mit Fallbeispielen

2025-12-06T09:07:11Z

Yazar März, Lothar. editor. Krug, Wilfried. editor. Rose, Oliver. editor. Weigert, Gerald. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14536-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

2025-12-06T09:07:11Z

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

Introduction to modeling and simulation of technical and physical systems with Modelica

2025-12-06T09:07:11Z

Yazar Fritzson, Peter A., 1952-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047592
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Building software for simulation theory and algorithms, with applications in C++

2025-12-06T09:07:11Z

Yazar Nutaro, James.
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470877999 Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470414699 MyiLibrary, Table of contents http://www.myilibrary.com?id=302507&ref=toc Cover image http://catalogimages.wiley.com/images/db/jimages/9780470414699.jpg http://proquest.safaribooksonline.com/9780470414699
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation of dynamic systems with MATLAB and Simulink / Harold Klee, Randal Allen..

2025-12-06T09:07:11Z

Yazar Klee, Harold. Allen, Randal, 1964-
Yer Numarası QA76.9.C65 K585 2011
Format: Kitap
Durum Beytepe Kütüphanesi~1

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

2025-12-06T09:07:11Z

Yazar Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17319-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions

2025-12-06T09:07:11Z

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

Biomedical Simulation 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings

2025-12-06T09:07:11Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

2025-12-06T09:07:11Z

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

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

2025-12-06T09:07:11Z

Yazar Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15597-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III

2025-12-06T09:07:11Z

Yazar Li, Kang. editor. Jia, Li. editor. Sun, Xin. editor. Fei, Minrui. editor. Irwin, George W. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15615-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I

2025-12-06T09:07:11Z

Yazar Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15621-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers

2025-12-06T09:07:11Z

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

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I

2025-12-06T09:07:11Z

Yazar Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15853-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II

2025-12-06T09:07:11Z

Yazar Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15859-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

2025-12-06T09:07:11Z

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

Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4

2025-12-06T09:07:11Z

Yazar Campbell, Stephen L. author. Chancelier, Jean-Philippe. author. Nikoukhah, Ramine. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-5527-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Molecular Modeling and Simulation: An Interdisciplinary Guide An Interdisciplinary Guide

2025-12-06T09:07:11Z

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

Simulation Methods for Reliability and Availability of Complex Systems

2025-12-06T09:07:11Z

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

Multi-Agent-Based Simulation IX International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar David, Nuno. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01991-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Guide to Ecological Modelling Using R as a Simulation Platform

2025-12-06T09:07:11Z

Yazar Soetaert, Karline. editor. Herman, Peter M.J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8624-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topology Control in Wireless Sensor Networks with a companion simulation tool for teaching and research

2025-12-06T09:07:11Z

Yazar Labrador, Miguel A. author. Wightman, Pedro M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9585-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object Oriented Simulation A Modeling and Programming Perspective

2025-12-06T09:07:11Z

Yazar Garrido, José M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0516-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation-Based Case Studies in Logistics Education and Applied Research

2025-12-06T09:07:11Z

Yazar Merkuryev, Yuri. editor. Merkuryeva, Galina. editor. Piera, Miquel Àngel. editor. Guasch, Antoni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-187-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete-event modeling and simulation : a practitioner's approach

2025-12-06T09:07:11Z

Yazar Wainer, Gabriel A., author.
Yer Numarası QA76.9 .C65 W35 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Simulation and Inference for Stochastic Differential Equations With R Examples

2025-12-06T09:07:11Z

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

Biomedical Simulation 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings

2025-12-06T09:07:11Z

Yazar Bello, Fernando. editor. Edwards, P. J. Eddie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70521-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

2025-12-06T09:07:11Z

Yazar Carpin, Stefano. editor. Noda, Itsuki. editor. Pagello, Enrico. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89076-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Qualitätskriterien für die Simulation in Produktion und Logistik Planung und Durchführung von Simulationsstudien

2025-12-06T09:07:11Z

Yazar Wenzel, Sigrid. author. Weiß, Matthias. author. Collisi-Böhmer, Simone. author. Pitsch, Holger. author. Rose, Oliver. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-35276-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verifikation und Validierung für die Simulation in Produktion und Logistik Vorgehensmodelle und Techniken

2025-12-06T09:07:11Z

Yazar Rabe, Markus. author. Spiekermann, Sven. author. Wenzel, Sigrid. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-35282-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Auralization Fundamentals of Acoustics, Modelling, Simulation, Algorithms and Acoustic Virtual Reality

2025-12-06T09:07:11Z

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

From Animals to Animats 10 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings

2025-12-06T09:07:11Z

Yazar Asada, Minoru. editor. Hallam, John C. T. editor. Meyer, Jean-Arcady. editor. Tani, Jun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69134-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent-Based Simulation VIII International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers

2025-12-06T09:07:11Z

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

Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006

2025-12-06T09:07:11Z

Yazar Koyamada, Koji. editor. Tamura, Shinsuke. editor. Ono, Osamu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-49022-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation of Semiconductor Processes and Devices 2007 SISPAD 2007

2025-12-06T09:07:11Z

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

Multi-Agent-Based Simulation VII International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2025-12-06T09:07:11Z

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

AsiaSim 2007 Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007. Proceedings

2025-12-06T09:07:11Z

Yazar Park, Jin-Woo. editor. Kim, Tag- Gon. editor. Kim, Yun-Bae. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77600-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronics Process Technology Production Modelling, Simulation and Optimisation

2025-12-06T09:07:11Z

Yazar Sauer, Wilfried. author. Oppermann, Martin. author. Werner, Sebastian. author. Wohlrabe, Heinz. author. Zerna, Thomas. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-354-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2025-12-06T09:07:11Z

Yazar Sichman, Jaime S. editor. Antunes, Luis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11734680
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Simulation Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006. Proceedings

2025-12-06T09:07:11Z

Yazar Harders, Matthias. editor. Székely, Gábor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11790273
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modellbildung und Simulation hochdynamischer Fertigungssysteme Eine praxisnahe Einführung

2025-12-06T09:07:11Z

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

From Animals to Animats 9 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings

2025-12-06T09:07:11Z

Yazar Nolfi, Stefano. editor. Baldassarre, Gianluca. editor. Calabretta, Raffaele. editor. Hallam, John C. T. editor. Marocco, Davide. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11840541
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004

2025-12-06T09:07:11Z

Yazar Terano, Takao. editor. Kita, Hajime. editor. Kaneda, Toshiyuki. editor. Arai, Kiyoshi. editor. Deguchi, Hiroshi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138317
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2025-12-06T09:07:11Z

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

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Baik, Doo-Kwon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105611
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent and Multi-Agent-Based Simulation Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Davidsson, Paul. editor. Logan, Brian. editor. Takadama, Keiki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106991
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation Approaches in Transportation Analysis Recent Advances and Challenges

2025-12-06T09:07:11Z

Yazar Kitamura, Ryuichi. editor. Kuwahara, Maso. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104513
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3D-Groundwater Modeling with PMWIN A Simulation System for Modeling Groundwater Flow and Transport Processes

2025-12-06T09:07:11Z

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

Principles of object-oriented modeling and simulation with Modelica 2.1

2025-12-06T09:07:11Z

Yazar Fritzson, Peter A., 1952-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Application of Gray System Theory in Fishery Science

2025-12-06T09:07:11Z

Yazar Chen, Xinjun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-0635-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Third International Conference, MMCITRE 2022

2025-12-06T09:07:11Z

Yazar Sahni, Manoj. editor. Merigó, José M. editor. Hussain, Walayat. editor. León-Castro, Ernesto. editor. Verma, Raj Kumar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9906-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Power-Based Study of Boundary Layer Ingestion for Aircraft Application

2025-12-06T09:07:11Z

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

Proceedings of the 5th International Conference on Numerical Modelling in Engineering Volume 1: Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium

2025-12-06T09:07:11Z

Yazar Abdel Wahab, Magd. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-8429-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Mechatronics An Integrated Approach

2025-12-06T09:07:11Z

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

Innovative Product Development by Additive Manufacturing 2021

2025-12-06T09:07:11Z

Yazar Lachmayer, Roland. editor. (orcid)0000-0002-3181-6323 Bode, Behrend. editor. (orcid)0000-0002-3718-9420 Kaierle, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-05918-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Twin Driven Intelligent Systems and Emerging Metaverse

2025-12-06T09:07:11Z

Yazar Karaarslan, Enis. editor. Aydin, Ömer. editor. Cali, Ümit. editor. Challenger, Moharram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-0252-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

2025-12-06T09:07:11Z

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

Advances in Acoustics and Vibration IV Proceedings of the Fourth International Conference on Acoustics and Vibration (ICAV2022), December 19-21, 2022, Sousse, Tunisia

2025-12-06T09:07:11Z

Yazar Akrout, Ali. editor. Abdennadher, Moez. editor. Feki, Nabih. editor. Abbes, Mohamed Slim. editor. Chaari, Fakher. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34190-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods for Biological Models

2025-12-06T09:07:11Z

Yazar Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5001-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023

2025-12-06T09:07:11Z

Yazar Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exscalate4CoV High-Performance Computing for COVID Drug Discovery

2025-12-06T09:07:11Z

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

Computational and Experimental Simulations in Engineering Proceedings of ICCES 2022

2025-12-06T09:07:11Z

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

Attachment Ventilation Theory

2025-12-06T09:07:11Z

Yazar Li, Angui. author. (orcid)0000-0002-9461-3793 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9259-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Behaviour of Distributed Systems Using mCRL2

2025-12-06T09:07:11Z

Yazar Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-23008-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Product Development by Additive Manufacturing 2022

2025-12-06T09:07:11Z

Yazar Lachmayer, Roland. editor. (orcid)0000-0002-3181-6323 Bode, Behrend. editor. (orcid)0000-0002-3718-9420 Kaierle, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-27261-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models

2025-12-06T09:07:11Z

Yazar Canbaloğlu, Gülay. editor. Treur, Jan. editor. Wiewiora, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28735-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concepts, Applications, Experimentation and Analysis of Wireless Sensor Networks

2025-12-06T09:07:11Z

Yazar Fahmy, Hossam Mahmoud Ahmad. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-20709-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences

2025-12-06T09:07:11Z

Yazar Wen, Chih-Yung. author. Jiang, Yazhong. author. Shi, Lisong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-0876-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Healthy Longevity

2025-12-06T09:07:11Z

Yazar Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35176-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI

2025-12-06T09:07:11Z

Yazar Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27529-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

2025-12-06T09:07:11Z

Yazar Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23597-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practice of Optimisation Theory in Geotechnical Engineering

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science

2025-12-06T09:07:11Z

Yazar Geshi, Masaaki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-9802-5
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

2025-12-06T09:07:11Z

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

Recent Trends in Signal and Image Processing ISSIP 2017

2025-12-06T09:07:11Z

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

Pervasive Computing: A Networking Perspective and Future Directions

2025-12-06T09:07:11Z

Yazar Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3462-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Application of Flexible Electronics Packaging

2025-12-06T09:07:11Z

Yazar Huang, YongAn. author. Yin, Zhouping. author. Wan, Xiaodong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3627-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Predictive Control

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Neural Modeling of Speech Processing and Speech Learning An Introduction

2025-12-06T09:07:11Z

Yazar Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15853-8
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

2025-12-06T09:07:11Z

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

Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14273-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties

2025-12-06T09:07:11Z

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

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23703-5
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

2025-12-06T09:07:11Z

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

Mathematical Insights into Advanced Computer Graphics Techniques

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Ray Tracing: A Tool for All

2025-12-06T09:07:11Z

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

Effective Model-Based Systems Engineering

2025-12-06T09:07:11Z

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

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

2025-12-06T09:07:11Z

Yazar Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27538-9
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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret

2025-12-06T09:07:11Z

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

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

2025-12-06T09:07:11Z

Yazar Geshi, Masaaki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6194-4
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

2025-12-06T09:07:11Z

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

2025-12-06T09:07:11Z

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

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

2025-12-06T09:07:11Z

Yazar Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27541-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transient Effects in Simulations of Hybrid Electric Drivetrains

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05819-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

New Perspectives on Applied Industrial Tools and Techniques

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Computer Simulations of Space Societies

2025-12-06T09:07:11Z

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

Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050

2025-12-06T09:07:11Z

Yazar Le Mouël, Chantal. editor. Schmitt, Bertrand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-024-1563-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Analysis Approach for Complex Global Challenges

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Applied Scientific Computing With Python

2025-12-06T09:07:11Z

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

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2025-12-06T09:07:11Z

Yazar Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94779-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3D Kinematics

2025-12-06T09:07:11Z

Yazar Haslwanter, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75277-8
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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Nature Inspired Computing Proceedings of CSI 2015

2025-12-06T09:07:11Z

Yazar Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6747-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Social Network Analysis and Mining

2025-12-06T09:07:11Z

Yazar Alhajj, Reda. editor. Rokne, Jon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-7131-2
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

2025-12-06T09:07:11Z

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

Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach

2025-12-06T09:07:11Z

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

Computational Models of Rhythm and Meter

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2025-12-06T09:07:11Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74718-7
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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

2025-12-06T09:07:11Z

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

Probability and Statistics for Computer Science

2025-12-06T09:07:11Z

Yazar Forsyth, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64410-3
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

2025-12-06T09:07:11Z

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

Finite Element Applications A Practical Guide to the FEM Process

2025-12-06T09:07:11Z

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

Neural Networks for Cooperative Control of Multiple Robot Arms

2025-12-06T09:07:11Z

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

Bone Adaptation In Silico Approach

2025-12-06T09:07:11Z

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

Bioinformatics: Sequences, Structures, Phylogeny

2025-12-06T09:07:11Z

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

Reliability Aspect of Cloud Computing Environment

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Honeypot Frameworks and Their Applications: A New Framework

2025-12-06T09:07:11Z

Yazar NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7739-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

2025-12-06T09:07:11Z

Yazar Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68195-5
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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

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

2025-12-06T09:07:11Z

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

Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

2025-12-06T09:07:11Z

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

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

2025-12-06T09:07:11Z

Yazar Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90418-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Discrete-Event Systems with GPenSIM An Introduction

2025-12-06T09:07:11Z

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

Handbook of Dynamic Data Driven Applications Systems

2025-12-06T09:07:11Z

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

2025-12-06T09:07:11Z

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

Real-Time Modelling and Processing for Communication Systems Applications and Practices

2025-12-06T09:07:11Z

Yazar Alam, Muhammad. editor. Dghais, Wael. editor. Chen, Yuanfang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72215-3
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

2025-12-06T09:07:11Z

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

The Test and Launch Control Technology for Launch Vehicles

2025-12-06T09:07:11Z

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