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

Continuous System Simulation

2024-12-29T13:32:07Z

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

Interactive dynamic-system simulation

2024-12-29T13:32:07Z

Yazar Korn, Granino A. (Granino Arthur), 1922-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Power System Analysis

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

Modelling and Simulation Exploring Dynamic System Behaviour

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

System simulation techniques with MATLAB and Simulink

2024-12-29T13:32:07Z

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

Multiphysics Simulation Electromechanical System Applications and Optimization

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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 Ⅲ

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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 Identification, Environmental Modelling, and Control System Design

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Large-Scale Computing Techniques for Complex System Simulations

2024-12-29T13:32:07Z

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

Supply Chain Simulation A System Dynamics Approach for Improving Performance

2024-12-29T13:32:07Z

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

Solid Modelling and CAD Systems How to Survive a CAD System

2024-12-29T13:32:07Z

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

Modeling the Dynamics and Consequences of Land System Change

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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 I

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Effective Model-Based Systems Engineering

2024-12-29T13:32:07Z

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

Handbook of Model Predictive Control

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Distributed Model Predictive Control Made Easy

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Real-time simulation technologies principles, methodologies, and applications

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Guide to Modeling and Simulation of Systems of Systems

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Handbook of real-world applications in modeling and simulation

2024-12-29T13:32:07Z

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

Maintenance Management in Network Utilities Framework and Practical Implementation

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Handbook of Mobile Ad Hoc Networks for Mobility Models

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

Model-Based Software Performance Analysis

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Simulation Methods for Reliability and Availability of Complex Systems

2024-12-29T13:32:07Z

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

Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Transactions on Aspect-Oriented Software Development V

2024-12-29T13:32:07Z

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

Introduction to Network Simulator NS2

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Stochastic Discrete Event Systems Modeling, Evaluation, Applications

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

The Common Component Modeling Example Comparing Software Component Models

2024-12-29T13:32:07Z

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

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

2024-12-29T13:32:07Z

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

Shock and Damage Models in Reliability Theory

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

Computational Intelligence in Time Series Forecasting Theory and Engineering Applications

2024-12-29T13:32:07Z

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

Software Process Modeling

2024-12-29T13:32:07Z

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

2024-12-29T13:32:07Z

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

Systems modeling and computer simulation

2024-12-29T13:32:07Z

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