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

Mechatronic Systems Analysis, Design and Implementation

2026-04-08T15:33:06Z

Yazar Boukas, El-Kébir. author. AL-Sunni, Fouad M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22324-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Manufacturing Systems Modeling and Analysis

2026-04-08T15:33:06Z

Yazar Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16618-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Manufacturing Systems Modeling and Analysis

2026-04-08T15:33:06Z

Yazar Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88763-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Analysis Approach for Complex Global Challenges

2026-04-08T15:33:06Z

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

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-04-08T15:33:06Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90643-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-04-08T15:33:06Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90660-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-04-08T15:33:06Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90653-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-04-08T15:33:06Z

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

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-04-08T15:33:06Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57249-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2026-04-08T15:33:06Z

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

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

2026-04-08T15:33:06Z

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

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

2026-04-08T15:33:06Z

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

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-04-08T15:33:06Z

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

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

2026-04-08T15:33:06Z

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

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-04-08T15:33:06Z

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

Analysis and Simulation of Electrical and Computer Systems

2026-04-08T15:33:06Z

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

Handbook of Parallel and distributed simulation systems : Analysis and applications

2026-04-08T15:33:06Z

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

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

2026-04-08T15:33:06Z

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

Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexity

2026-04-08T15:33:06Z

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

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems

2026-04-08T15:33:06Z

Yazar Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87702-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings

2026-04-08T15:33:06Z

Yazar Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11669487
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-08T15:33:06Z

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

Fundamentals of the Theory of Mechanical Vibrations

2026-04-08T15:33:06Z

Yazar Gonçalves Salsa Junior, Rubens. author. (orcid)0000-0003-3067-1705 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83995-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-04-08T15:33:06Z

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-04-08T15:33:06Z

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

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

2026-04-08T15:33:06Z

Yazar Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-1417-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

2026-04-08T15:33:06Z

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

Introduction to Mechatronics An Integrated Approach

2026-04-08T15:33:06Z

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

Computational Methods for Biological Models

2026-04-08T15:33:06Z

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

Computer models of process dynamics : from Newton to energy fields

2026-04-08T15:33:06Z

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

Model-based system architecture

2026-04-08T15:33:06Z

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

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

2026-04-08T15:33:06Z

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

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

2026-04-08T15:33:06Z

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

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-04-08T15:33:06Z

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

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-04-08T15:33:06Z

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

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2026-04-08T15:33:06Z

Yazar Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69483-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analyzing Emotion in Spontaneous Speech

2026-04-08T15:33:06Z

Yazar Chakraborty, Rupayan. author. Pandharipande, Meghna. author. Kopparapu, Sunil Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7674-9
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-04-08T15:33:06Z

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

Introduction to Computational Social Science Principles and Applications

2026-04-08T15:33:06Z

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

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

2026-04-08T15:33:06Z

Yazar Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67471-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Neurology and Psychiatry

2026-04-08T15:33:06Z

Yazar Érdi, Péter. editor. Sen Bhattacharya, Basabdatta. editor. Cochran, Amy L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49959-8
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-04-08T15:33:06Z

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

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-04-08T15:33:06Z

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

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

2026-04-08T15:33:06Z

Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59105-6
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-04-08T15:33:06Z

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

Interactive Modeling and Simulation in Business System Design

2026-04-08T15:33:06Z

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

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2026-04-08T15:33:06Z

Yazar Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45177-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistical Analysis of Noise in MRI Modeling, Filtering and Estimation

2026-04-08T15:33:06Z

Yazar Aja-Fernández, Santiago. author. Vegas-Sánchez-Ferrero, Gonzalo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39934-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2026-04-08T15:33:06Z

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

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-04-08T15:33:06Z

Yazar Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29628-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real Time Modeling, Simulation and Control of Dynamical Systems

2026-04-08T15:33:06Z

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

Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

2026-04-08T15:33:06Z

Yazar Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0356-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers

2026-04-08T15:33:06Z

Yazar Cao, Jian. editor. Liu, Xiao. editor. (orcid)0000-0001-8400-5754 Ren, Kaijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1019-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques

2026-04-08T15:33:06Z

Yazar Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44881-7
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-04-08T15:33:06Z

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

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2026-04-08T15:33:06Z

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

Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering

2026-04-08T15:33:06Z

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

Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

2026-04-08T15:33:06Z

Yazar Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2158-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2026-04-08T15:33:06Z

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

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

2026-04-08T15:33:06Z

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

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2026-04-08T15:33:06Z

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

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

2026-04-08T15:33:06Z

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 Modularity and Composition I

2026-04-08T15:33:06Z

Yazar Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46969-0
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-04-08T15:33:06Z

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

Discrete and continuous simulation : theory and practice

2026-04-08T15:33:06Z

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

Scientific data management : challenges, technology, and deployment

2026-04-08T15:33:06Z

Yazar Shoshani, Arie. Rotem, Doron.
Yer Numarası Q183.9 .S33 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook of dynamic system modeling

2026-04-08T15:33:06Z

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