Search Results for Linear systems.

35 Results Found

1 2 3

000000000000DEFAULT

13.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519090.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46681-0

Format:

Availability

Online Library~1

Available:
Copies:

14.

Addressing techniques of liquid crystal displays

Author

Ruckmongathan, Temkar N., author.

Preferred Shelf Number

ONLINE(341694.1)

Electronic Access

ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781119940456.jpg
John Wiley http://dx.doi.org/10.1002/9781118706398

Format:

Availability

Online Library~1

Available:
Copies:

15.

Petri Net Synthesis

Author

Badouel, Eric. author. Bernardinello, Luca. author. Darondeau, Philippe. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518487.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47967-4

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Cryptography and Information Security in the Balkans First International Conference, BalkanCryptSec 2014, Istanbul, Turkey, October 16-17, 2014, Revised Selected Papers

Cryptography and Information Security in the Balkans First International Conference, BalkanCryptSec 2014, Istanbul, Turkey, October 16-17, 2014, Revised Selected Papers

Author

Ors, Berna. editor. Preneel, Bart. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518872.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings

Author

Wang, Jianxin. editor. Yap, Chee. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519334.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

Author

Calude, Cristian S. editor. Dinneen, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519335.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519188.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Author

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519225.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47666-6

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Author

Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518763.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23485-4

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Author

de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.

Preferred Shelf Number

XX(518949.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47709-0

Format:

Availability

Online Library~1

Available:
Copies:

23.

Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings

Author

Bampis, Evripidis. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518813.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Author

Maler, Oded. editor. Halász, Ádám. editor. Dang, Thao. editor. Piazza, Carla. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518877.1)

Electronic Access

https://doi.org/10.1007/978-3-319-27656-4

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}