Search Results for Systems Analysis.

1.

Hybrid Intelligent Systems Analysis and Design

Author

Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-37421-3

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 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, Part II

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17465-1

Format:

Availability

Online Library~1

Available:
Copies:

3.

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

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

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00151-3

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89963-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems

Author

Zelinka, Ivan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. (orcid)0000-0003-0901-5105 Chen, Guanrong. editor. Snasel, Vaclav. editor. Abraham, Ajith. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Advances in Intelligent Analysis of Medical Data and Decision Support Systems

Author

Kountchev, Roumen. editor. Iantovics, Barna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332660.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00029-9

Format:

Availability

Online Library~1

Available:
Copies:

7.

Nostradamus 2013: Prediction, Modeling and Analysis of Complex Systems

Author

Zelinka, Ivan. editor. Chen, Guanrong. editor. Rössler, Otto E. editor. Snasel, Vaclav. editor. Abraham, Ajith. editor.

Preferred Shelf Number

ONLINE(332763.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00542-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Nostradamus: Modern Methods of Prediction, Modeling and Analysis of Nonlinear Systems

Author

Zelinka, Ivan. editor. Rössler, Otto E. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Corchado, Emilio S. editor.

Preferred Shelf Number

ONLINE(333682.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33227-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Author

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28756-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

Author

Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-27245-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19835-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12002-2

Format:

Availability

Online Library~1

Available:
Copies:

13.

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

Author

Platzer, André. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14509-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Stability Analysis of Fuzzy-Model-Based Control Systems Linear-Matrix-Inequality Approach

Author

Lam, Hak-Keung. author. Leung, Frank Hung-Fat. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Bio-inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition

Author

Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04516-5

Format:

Availability

Online Library~1

Available:
Copies:

16.

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

Author

Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-87702-8

Format:

Availability

Online Library~1

Available:
Copies:

17.

Design and Analysis of Learning Classifier Systems A Probabilistic Approach

Author

Drugowitsch, Jan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79866-8

Format:

Availability

Online Library~1

Available:
Copies:

18.

Analysis and Design of Intelligent Systems using Soft Computing Techniques

Author

Melin, Patricia. editor. Castillo, Oscar. editor. Ramírez, Eduardo Gomez. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-72432-2

Format:

Availability

Online Library~1

Available:
Copies:

19.

Rule-Based Evolutionary Online Learning Systems A Principled Approach to LCS Analysis and Design

Author

Butz, Martin V. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}