Search Results for System analysis

1.

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Yazar

Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46613-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Yazar

Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11743-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

The Monte Carlo Simulation Method for System Reliability and Risk Analysis

Yazar

Zio, Enrico. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331017.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4588-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

Yazar

Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334282.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36757-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

Yazar

Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-21652-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Biometric System and Data Analysis Design, Evaluation, and Data Mining

Yazar

Dunstone, Ted. editor. Yager, Neil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-77627-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

Yazar

Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11951148

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Economic Analysis of Information System Investment in Banking Industry

Yazar

Ukai, Yasuharu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138968

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

Yazar

Amyot, Daniel. editor. Williams, Alan W. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105884

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Principle of Petri Nets

Yazar

Yuan, Chongyi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7336-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Applied Antifragility in Natural Systems From Principles to Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

Yazar

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-87217-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II

Yazar

Huang, Letian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-6403-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Advanced Mathematical Science for Mobility Society

Yazar

Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Kawamura, Yoshiumi. editor. Makino, Kazuhisa. editor. Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514 Yamashita, Nobuo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-9772-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Yazar

Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-28859-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54494-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Yang, Hongseok. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54434-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Computational Intelligence for Network Structure Analytics

Yazar

Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-4558-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

Yazar

Draheim, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-69868-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Yazar

Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30000-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Directed Algebraic Topology and Concurrency

Yazar

Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-15398-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Yazar

Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46982-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II

Yazar

Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42294-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

Yazar

Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42291-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Yazar

Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-33951-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-45943-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)