Search Results for Systems Theory

11 Results Found

00000000000DEFAULT

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54862-8

Format:

Availability

Online Library~1

Available:
Copies:

Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problems

Author

Jongeneel, Wouter. author. Moulay, Emmanuel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30133-9

Format:

Availability

Online Library~1

Available:
Copies:

Cultural algorithms : tools to model complex dynamic social systems

Author

Reynolds, Robert G., author.

Preferred Shelf Number

H61.25 .R49 2021

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111

Format:

Availability

Online Library~1

Available:
Copies:

Numerical Approximation of Exact Controls for Waves

Author

Ervedoza, Sylvain. author. Zuazua, Enrique. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331869.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5808-1

Format:

Availability

Online Library~1

Available:
Copies:

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Author

Paule, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332822.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications

Author

Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331024.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4610-0

Format:

Availability

Online Library~1

Available:
Copies:

Game Theory for Control of Optical Networks

Author

Pavel, Lacra. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8322-1

Format:

Availability

Online Library~1

Available:
Copies:

The BOXES Methodology Black Box Dynamic Control

Author

Russell, David W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-528-6

Format:

Availability

Online Library~1

Available:
Copies:

System Identification with Quantized Observations

Author

Wang, Le Yi. author. Yin, G. George. author. Zhang, Ji-Feng. author. Zhao, Yanlong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4956-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms

Author

Fomichov A., Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-72926-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Randomized Algorithms for Analysis and Control of Uncertain Systems

Author

Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}