Search Results for Computer systems.

94 Results Found

1 2 3 4 5 .. 8

000000000000DEFAULT

13.

Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Author

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Author

Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.

Preferred Shelf Number

ONLINE(334781.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings

Author

Chen, Mei. editor. Leibe, Bastian. editor. Neumann, Bernd. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334795.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335219.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335220.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Computer-aided control systems design : practical applications using MATLAB and Simulink

Author

Chin, Cheng Siong., author.

Preferred Shelf Number

TJ217 .C478 2013

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

19.

Systems techniques and computational methods

Author

Leondes, Cornelius T.

Preferred Shelf Number

TS155.6 .C6455 2001

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781420049893
Taylor & Francis https://www.taylorfrancis.com/books/e/9781420049893
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Wörterbücher / Dictionaries / Dictionnaires : Ein internationales Handbuch zur Lexikographie / An International Encyclopedia of Lexicography / Encyclopédie internationale de lexicographie. Supplementary Volume, Dictionaries. An International Encyclopedia of Lexicography ; Supplementary Volume: Recent Developments with Focus on Electronic and Computational Lexicography

Wörterbücher / Dictionaries / Dictionnaires : Ein internationales Handbuch zur Lexikographie / An International Encyclopedia of Lexicography / Encyclopédie internationale de lexicographie. Supplementary Volume, Dictionaries. An International Encyclopedia of Lexicography ; Supplementary Volume: Recent Developments with Focus on Electronic and Computational Lexicography

Author

Abel, Andrea, contributor. Afane-Otsaga, Thierry, contributor. Alvarez, Francisco, contributor. Asmussen, Jörg, contributor. Atkins, Beryl T. Sue, contributor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110238136
https://www.degruyter.com/isbn/9783110238136
Cover https://www.degruyter.com/document/cover/isbn/9783110238136/original

Format:

Availability

Online Library~1

Available:
Copies:

21.

Designing the search experience the information architecture of discovery

Author

Russell-Rose, Tony. Tate, Tyler.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780123969811

Format:

Availability

Online Library~1

Available:
Copies:

22.

Modelling Distributed Energy Resources in Energy Service Networks

Author

Acha, Salvador

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBRN016E

Format:

Availability

Online Library~1

Available:
Copies:

23.

Communications and Networking An Introduction

Author

Cowley, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330960.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4357-4

Format:

Availability

Online Library~1

Available:
Copies:

24.

Signals and Transforms in Linear Systems Analysis

Author

Wasylkiwskyj, Wasyl. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331330.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}