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

Continuous System Simulation

2026-03-31T14:38:36Z

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

Model-based system architecture

2026-03-31T14:38:36Z

Yazar Weilkiens, Tim, author. Lamm, Jesko G., 1976- author. Roth, Stephan, 1968- author. Walker, Markus, 1965- author. John Wiley & Sons.
Yer Numarası TA168 .W45 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive dynamic-system simulation

2026-03-31T14:38:36Z

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

Microdomains in the Cardiovascular System

2026-03-31T14:38:36Z

Yazar Nikolaev, Viacheslav. editor. Zaccolo, Manuela. editor. (orcid)0000-0002-0934-3662 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54579-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Power System Analysis

2026-03-31T14:38:36Z

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

Power System Modelling and Scripting

2026-03-31T14:38:36Z

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

Handbook of dynamic system modeling

2026-03-31T14:38:36Z

Yazar Fishwick, Paul A.
Yer Numarası QA76.9 .C65 H345 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation Exploring Dynamic System Behaviour

2026-03-31T14:38:36Z

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

Multi-layer Pavement System under Blast Load

2026-03-31T14:38:36Z

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

Multiphysics Simulation Electromechanical System Applications and Optimization

2026-03-31T14:38:36Z

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

System simulation techniques with MATLAB and Simulink

2026-03-31T14:38:36Z

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

Modelling and Simulation Exploring Dynamic System Behaviour

2026-03-31T14:38:36Z

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

Modelling and Simulation Exploring Dynamic System Behaviour

2026-03-31T14:38:36Z

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

Earth System Modelling - Volume 1 Recent Developments and Projects

2026-03-31T14:38:36Z

Yazar Puri, Kamal. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Yer Numarası ONLINE(334243.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36597-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Earth System Modelling - Volume 2 Algorithms, Code Infrastructure and Optimisation

2026-03-31T14:38:36Z

Yazar Bonaventura, Luca. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23831-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Earth System Modelling - Volume 5 Tools for Configuring, Building and Running Models

2026-03-31T14:38:36Z

Yazar Ford, Rupert. author. Riley, Graham. author. Budich, Reinhard. author. Redler, René. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23932-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

2026-03-31T14:38:36Z

Yazar Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0232-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV

2026-03-31T14:38:36Z

Yazar Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0294-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II

2026-03-31T14:38:36Z

Yazar Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0225-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

2026-03-31T14:38:36Z

Yazar Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0313-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

2026-03-31T14:38:36Z

Yazar Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0188-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application of Gray System Theory in Fishery Science

2026-03-31T14:38:36Z

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

Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II

2026-03-31T14:38:36Z

Yazar Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6373-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

2026-03-31T14:38:36Z

Yazar Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6364-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios

2026-03-31T14:38:36Z

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

Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I

2026-03-31T14:38:36Z

Yazar Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6370-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Modeling and Simulation in Business System Design

2026-03-31T14:38:36Z

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

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2026-03-31T14:38:36Z

Yazar Klusch, Matthias. editor. Unland, Rainer. editor. Shehory, Onn. editor. Pokahr, Alexander. editor. Ahrndt, Sebastian. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45889-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Vienna LTE-Advanced Simulators Up and Downlink, Link and System Level Simulation

2026-03-31T14:38:36Z

Yazar Rupp, Markus. author. Schwarz, Stefan. author. Taranetz, Martin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0617-3
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

2026-03-31T14:38:36Z

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

Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings

2026-03-31T14:38:36Z

Yazar Müller, Jörg P. editor. Weyrich, Michael. editor. Bazzan, Ana L.C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11584-9
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 Ⅲ

2026-03-31T14:38:36Z

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

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2026-03-31T14:38:36Z

Yazar Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334111.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings

2026-03-31T14:38:36Z

Yazar Klusch, Matthias. editor. Thimm, Matthias. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335001.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40776-5
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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

System Identification, Environmental Modelling, and Control System Design

2026-03-31T14:38:36Z

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

Improving Soil Fertility Recommendations in Africa using the Decision Support System for Agrotechnology Transfer (DSSAT)

2026-03-31T14:38:36Z

Yazar Kihara, Job. editor. Fatondji, Dougbedji. editor. Jones, James W. editor. Hoogenboom, Gerrit. editor. Tabo, Ramadjita. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-2960-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings

2026-03-31T14:38:36Z

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

Modeling the Dynamics and Consequences of Land System Change

2026-03-31T14:38:36Z

Yazar Deng, Xiangzheng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15447-8
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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

Solid Modelling and CAD Systems How to Survive a CAD System

2026-03-31T14:38:36Z

Yazar Stroud, Ian. author. Nagy, Hildegarde. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-259-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supply Chain Simulation A System Dynamics Approach for Improving Performance

2026-03-31T14:38:36Z

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

Large-Scale Computing Techniques for Complex System Simulations

2026-03-31T14:38:36Z

Yazar Dubitzky, Werner. Kurowski, Krzysztof. Schott, Bernard. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Wiley InterScience An electronic book accessible through the World Wide Web; click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818449 http://swb.eblib.com/patron/FullRecord.aspx?p=818449
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

2026-03-31T14:38:36Z

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

Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System

2026-03-31T14:38:36Z

Yazar Alfa, Attahiru Sule. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7314-6
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

2026-03-31T14:38:36Z

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

2026-03-31T14:38:36Z

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

2026-03-31T14:38:36Z

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

Bond Graph Methodology Development and Analysis of Multidisciplinary Dynamic System Models

2026-03-31T14:38:36Z

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

Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings

2026-03-31T14:38:36Z

Yazar Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04143-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

2026-03-31T14:38:36Z

Yazar Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4826-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2026-03-31T14:38:36Z

Yazar Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5138-7
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

2026-03-31T14:38:36Z

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

OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling

2026-03-31T14:38:36Z

Yazar Sachse, Agnes. author. Nixdorf, Erik. author. Jang, Eunseon. author. Rink, Karsten. author. (orcid)0000-0001-9826-8221 Fischer, Thomas. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52809-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-03-31T14:38:36Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82949-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-03-31T14:38:36Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82957-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-03-31T14:38:36Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83885-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Control Systems Benchmarks

2026-03-31T14:38:36Z

Yazar Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76312-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation

2026-03-31T14:38:36Z

Yazar Rubio, Jose de Jesus. author. (orcid)0000-0002-2005-5979 Zacarias, Alejandro. author. (orcid)0000-0002-6427-4911 Pacheco, Jaime. author. (orcid)0000-0002-2377-1639 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85438-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Modelling and Programming

2026-03-31T14:38:36Z

Yazar Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71280-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

2026-03-31T14:38:36Z

Yazar Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93706-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-03-31T14:38:36Z

Yazar Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90391-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete-event simulation : concepts and production in arena

2026-03-31T14:38:36Z

Yazar Jerbi, Abdessalem, author.
Yer Numarası T57.62 .J47 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

2026-03-31T14:38:36Z

Yazar Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59999-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-03-31T14:38:36Z

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

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

2026-03-31T14:38:36Z

Yazar Das, Biplab. editor. (orcid)0000-0003-3752-6308 Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774 Balas, Valentina Emilia. editor. Roy, Sukanta. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-6866-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems and Computing

2026-03-31T14:38:36Z

Yazar Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2891-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

2026-03-31T14:38:36Z

Yazar Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60698-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines

2026-03-31T14:38:36Z

Yazar Thiruchelvam, Vinesh. editor. Alfred, Rayner. editor. (orcid)0000-0002-3080-3264 Ismail, Zamhar Iswandono Bin Awang. editor. Haviluddin, Haviluddin. editor. Baharum, Aslina. editor. (orcid)0000-0003-3910-5646
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2977-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational and Experimental Simulations in Engineering Proceedings of ICCES 2022

2026-03-31T14:38:36Z

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

Computational Methods for Biological Models

2026-03-31T14:38:36Z

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

Introduction to Mechatronics An Integrated Approach

2026-03-31T14:38:36Z

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

Computer models of process dynamics : from Newton to energy fields

2026-03-31T14:38:36Z

Yazar Rubin, Olis, author.
Yer Numarası QC52 .R83 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems engineering neural networks

2026-03-31T14:38:36Z

Yazar Migliaccio, Alessandro, author. Iannone, Giovanni, author.
Yer Numarası QA76.87 .M537 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational modeling and simulation examples in bioengineering

2026-03-31T14:38:36Z

Yazar Filipovic, Nenad, 1970- editor.
Yer Numarası R856 .C66 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563983
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Effective Model-Based Systems Engineering

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

Handbook of Model Predictive Control

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

New Perspectives on Applied Industrial Tools and Techniques

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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 I

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016

2026-03-31T14:38:36Z

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 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

An introduction to cyber modeling and simulation

2026-03-31T14:38:36Z

Yazar Couretas, Jerry M., 1966- author.
Yer Numarası QA76.9 .C65
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420842
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences

2026-03-31T14:38:36Z

Yazar Tolk, Andreas. editor. Fowler, John. editor. Shao, Guodong. editor. Yücesan, Enver. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64182-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Testing in Cloud Computing

2026-03-31T14:38:36Z

Yazar Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4481-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

2026-03-31T14:38:36Z

Yazar Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70848-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

2026-03-31T14:38:36Z

Yazar Yan, Liang. author. Zhang, Lu. author. Peng, Juanjuan. author. Zhang, Lei. author. Jiao, Zongxia. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2309-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies

2026-03-31T14:38:36Z

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

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-03-31T14:38:36Z

Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings

2026-03-31T14:38:36Z

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

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

2026-03-31T14:38:36Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71255-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

2026-03-31T14:38:36Z

Yazar Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68069-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

2026-03-31T14:38:36Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61833-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling with Digital Ocean and Digital Coast

2026-03-31T14:38:36Z

Yazar Zhang, Xin. editor. Wang, Lei. editor. Jiang, Xiaoyi. editor. Zhu, Changming. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42710-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Urban Dynamics and Simulation Models

2026-03-31T14:38:36Z

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

Simulating Social Complexity A Handbook

2026-03-31T14:38:36Z

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

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

2026-03-31T14:38:36Z

Yazar Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3966-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Advances Towards Sustainable Environmental Systems

2026-03-31T14:38:36Z

Yazar Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43901-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Planning Support Science for Smarter Urban Futures

2026-03-31T14:38:36Z

Yazar Geertman, Stan. editor. Allan, Andrew. editor. Pettit, Chris. editor. Stillwell, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57819-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

2026-03-31T14:38:36Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67035-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Modeling and Simulation of Systems of Systems

2026-03-31T14:38:36Z

Yazar P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64134-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

2026-03-31T14:38:36Z

Yazar Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60285-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers

2026-03-31T14:38:36Z

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

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

2026-03-31T14:38:36Z

Yazar Tolk, Andreas, editor. Ören, Tuncer I., editor.
Yer Numarası QA10.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

2026-03-31T14:38:36Z

Yazar Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66836-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

2026-03-31T14:38:36Z

Yazar Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62569-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I

2026-03-31T14:38:36Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61824-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

2026-03-31T14:38:36Z

Yazar van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57861-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-03-31T14:38:36Z

Yazar Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6687-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers

2026-03-31T14:38:36Z

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

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2026-03-31T14:38:36Z

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

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2026-03-31T14:38:36Z

Yazar Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59294-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-03-31T14:38:36Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68270-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-31T14:38:36Z

Yazar Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66335-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2026-03-31T14:38:36Z

Yazar Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61982-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Social Simulation 2015

2026-03-31T14:38:36Z

Yazar Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47253-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-31T14:38:36Z

Yazar Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66583-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

2026-03-31T14:38:36Z

Yazar Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67383-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

2026-03-31T14:38:36Z

Yazar Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

2026-03-31T14:38:36Z

Yazar Pirovano, Alain. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Guerber, Christophe. editor. Roque, Damien. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56880-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Simulation A Model Driven Engineering Approach

2026-03-31T14:38:36Z

Yazar Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03050-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings

2026-03-31T14:38:36Z

Yazar Mendizabal, Jaizki. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Pfletschinger, Stephan. editor. Bonneville, Hervé. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-38921-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

2026-03-31T14:38:36Z

Yazar Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49094-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geochemical Modelling of Igneous Processes - Principles And Recipes in R Language Bringing the Power of R to a Geochemical Community

2026-03-31T14:38:36Z

Yazar Janoušek, Vojtěch. author. Moyen, Jean-François. author. (orcid)0000-0002-0065-2442 Martin, Hervé. author. Erban, Vojtěch. author. Farrow, Colin. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46792-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Modeling Principles in Earth Sciences

2026-03-31T14:38:36Z

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

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2026-03-31T14:38:36Z

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

Graphical Simulation of Deformable Models

2026-03-31T14:38:36Z

Yazar Cai, Jianping. author. Lin, Feng. author. Seah, Hock Soon. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51031-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning for Evolution Strategies

2026-03-31T14:38:36Z

Yazar Kramer, Oliver. author. (orcid)0000-0001-7607-1700 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33383-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Urban Resilience A Transformative Approach

2026-03-31T14:38:36Z

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

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2026-03-31T14:38:36Z

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

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I

2026-03-31T14:38:36Z

Yazar Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2663-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic Road Transport Support Systems

2026-03-31T14:38:36Z

Yazar McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25808-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2026-03-31T14:38:36Z

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

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2026-03-31T14:38:36Z

Yazar van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46559-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

2026-03-31T14:38:36Z

Yazar Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44615-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2026-03-31T14:38:36Z

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

Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings

2026-03-31T14:38:36Z

Yazar Bajo, Javier. editor. Escalona, María José. editor. Giroux, Sylvain. editor. Hoffa-Dąbrowska, Patrycja. editor. Julián, Vicente. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39387-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

2026-03-31T14:38:36Z

Yazar Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33786-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers

2026-03-31T14:38:36Z

Yazar Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30843-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets

2026-03-31T14:38:36Z

Yazar Elsenbroich, Corinna. editor. Anzola, David. editor. Gilbert, Nigel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45169-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lasso-MPC - Predictive Control with ℓ1-Regularised Least Squares

2026-03-31T14:38:36Z

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

Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge

2026-03-31T14:38:36Z

Yazar Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28971-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Foundations for Mastering Change I

2026-03-31T14:38:36Z

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

Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers

2026-03-31T14:38:36Z

Yazar Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51917-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach

2026-03-31T14:38:36Z

Yazar Setola, Roberto. editor. Rosato, Vittorio. editor. Kyriakides, Elias. editor. Rome, Erich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51043-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Science

2026-03-31T14:38:36Z

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

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2026-03-31T14:38:36Z

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

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-03-31T14:38:36Z

Yazar Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46433-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Assimilation: Mathematical Concepts and Instructive Examples

2026-03-31T14:38:36Z

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

Fundamentals of Neuromechanics

2026-03-31T14:38:36Z

Yazar Valero-Cuevas, Francisco J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6747-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers

2026-03-31T14:38:36Z

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

Real Time Modeling, Simulation and Control of Dynamical Systems

2026-03-31T14:38:36Z

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

Turbulence

2026-03-31T14:38:36Z

Yazar Bailly, Christophe. author. Comte-Bellot, Geneviève. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16160-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Railway Infrastructure Security

2026-03-31T14:38:36Z

Yazar Setola, Roberto. editor. Sforza, Antonio. editor. Vittorini, Valeria. editor. Pragliola, Concetta. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04426-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bond Graph Model-based Fault Diagnosis of Hybrid Systems

2026-03-31T14:38:36Z

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

Fractional Order Differentiation and Robust Control Design CRONE, H-infinity and Motion Control

2026-03-31T14:38:36Z

Yazar Sabatier, Jocelyn. author. Lanusse, Patrick. author. Melchior, Pierre. author. Oustaloup, Alain. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-017-9807-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Natural Computing Selected Results from the IWNC 7 Symposium

2026-03-31T14:38:36Z

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

Decision Models in Engineering and Management

2026-03-31T14:38:36Z

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

CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation Industrial and Research Applications

2026-03-31T14:38:36Z

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

INS/CNS/GNSS Integrated Navigation Technology

2026-03-31T14:38:36Z

Yazar Quan, Wei. author. Li, Jianli. author. Gong, Xiaolin. author. Fang, Jiancheng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45159-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Simulation of Electrical and Computer Systems

2026-03-31T14:38:36Z

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

Discrete and continuous simulation : theory and practice

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

Distributed Model Predictive Control Made Easy

2026-03-31T14:38:36Z

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

Guide to Modeling and Simulation of Systems of Systems

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

Maintenance Management in Network Utilities Framework and Practical Implementation

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers

2026-03-31T14:38:36Z

Yazar Huusko, Jyrki. editor. Meer, Hermann. editor. Klingert, Sonja. editor. Somov, Andrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33645-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-31T14:38:36Z

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

Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers

2026-03-31T14:38:36Z

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

Handbook of real-world applications in modeling and simulation

2026-03-31T14:38:36Z

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

Model-Based Software Performance Analysis

2026-03-31T14:38:36Z

Yazar Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13621-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence

2026-03-31T14:38:36Z

Yazar Tang, W.H. author. Wu, Q.H. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-052-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safety and Risk Modeling and Its Applications

2026-03-31T14:38:36Z

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

Handbook of Mobile Ad Hoc Networks for Mobility Models

2026-03-31T14:38:36Z

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

Simulation Methods for Reliability and Availability of Complex Systems

2026-03-31T14:38:36Z

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

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

2026-03-31T14:38:36Z

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

Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing

2026-03-31T14:38:36Z

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

Modeling and Tools for Network Simulation

2026-03-31T14:38:36Z

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

Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

2026-03-31T14:38:36Z

Yazar Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10741-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Network Simulator NS2

2026-03-31T14:38:36Z

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

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

2026-03-31T14:38:36Z

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

Transactions on Aspect-Oriented Software Development V

2026-03-31T14:38:36Z

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

Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings

2026-03-31T14:38:36Z

Yazar Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02205-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

2026-03-31T14:38:36Z

Yazar Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05465-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Permutation Tests for Stochastic Ordering and ANOVA Theory and Applications with R

2026-03-31T14:38:36Z

Yazar Solari, Aldo. author. Salmaso, Luigi. author. Pesarin, Fortunato. author. Basso, Dario. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-85956-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-31T14:38:36Z

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

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2026-03-31T14:38:36Z

Yazar Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68982-9
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

2026-03-31T14:38:36Z

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

The Common Component Modeling Example Comparing Software Component Models

2026-03-31T14:38:36Z

Yazar Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Discrete Event Systems Modeling, Evaluation, Applications

2026-03-31T14:38:36Z

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

Shock and Damage Models in Reliability Theory

2026-03-31T14:38:36Z

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

Electronics Process Technology Production Modelling, Simulation and Optimisation

2026-03-31T14:38:36Z

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

Performance Analysis of Network Architectures

2026-03-31T14:38:36Z

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

Software Process Modeling

2026-03-31T14:38:36Z

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

A Software Process Model Handbook for Incorporating People’s Capabilities

2026-03-31T14:38:36Z

Yazar Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106969
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence in Time Series Forecasting Theory and Engineering Applications

2026-03-31T14:38:36Z

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

Systems modeling and computer simulation

2026-03-31T14:38:36Z

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