Search Results for Technology and state.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Computer science.

Author

SpringerLink (Online service)

(7)

Ahrendt, Wolfgang. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bergman, David. author.

(1)

Bubel, Richard. editor.

(1)

Channa, Asma. author.

(1)

Chu, Zhufei. author. (orcid)0000-0001-5718-4822

(1)

Cire, Andre A. author.

(1)

Dediu, Adrian-Horia. editor.

(1)

Gurfinkel, Arie. editor.

(1)

Hooker, John. author.

(1)

Hähnle, Reiner. editor.

(1)

Janoušek, Jan. editor.

(1)

Josipović, Lana. author.

(1)

(1)

Martín-Vide, Carlos. editor.

(1)

Memmert, Daniel. editor. (orcid)0000-0002-3406-9175

(1)

Popescu, Nirvana. author.

(1)

(1)

Schmitt, Peter H. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Tang, Xifan. author.

(1)

Truthe, Bianca. editor.

(1)

Tu, Kaihui. author.

(1)

Ulbrich, Mattias. editor.

(1)

Yu, Cunxi. author. (orcid)0000-0003-3481-307X

(1)

van Hoeve, Willem-Jan. author.

(1)

Language

(8)

Publication Date

-

(4)

(2)

(1)

(1)

Subject

Artificial intelligence.

(5)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Formal Languages and Automata Theory.

(3)

Machine theory.

(3)

Computer Science Logic and Foundations of Programming.

(2)

Machine learning.

(2)

Software engineering.

(2)

Theory and Algorithms for Application Domains.

(2)

Theory of Computation.

(2)

(1)

(1)

C++ (Computer program language).

(1)

(1)

Cloud Computing.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer hardware description languages.

(1)

Computer programming.

(1)

Computer science -- Mathematics.

(1)

Computer vision.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete Optimization.

(1)

Discrete mathematics.

(1)

Health Informatics.

(1)

Image processing -- Digital techniques.

(1)

Information technology -- Quality control.

(1)

Information technology.

(1)

Management science.

(1)

Mathematical optimization.

(1)

Medical informatics.

(1)

(1)

Open source software.

(1)

Operations Research and Decision Theory.

(1)

Operations Research, Management Science.

(1)

Operations research.

(1)

Process control.

(1)

Programming Techniques.

(1)

Quality control.

(1)

Recreation -- Equipment and supplies.

(1)

Register-Transfer-Level Implementation.

(1)

Risk management.

(1)

Sport Analytics.

(1)

(1)

Sport Technology.

(1)

Sports sciences.

(1)

Symbolic and Algebraic Manipulation.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

8 Results Found

Subscribe to search results

1

00000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Artificial Intelligence and Machine Learning in Sports Science

Artificial Intelligence and Machine Learning in Sports Science

Artificial Intelligence and Machine Learning in Sports Science

Author

Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-70155-3

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

Author

Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-45003-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for FPGA EDA Design Principles and Implementation

FPGA EDA Design Principles and Implementation

FPGA EDA Design Principles and Implementation

Author

Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7755-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Deductive Software Verification - The KeY Book From Theory to Practice

Deductive Software Verification - The KeY Book From Theory to Practice

Deductive Software Verification - The KeY Book From Theory to Practice

Author

Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Author

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-29613-5

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Decision Diagrams for Optimization

Decision Diagrams for Optimization

Decision Diagrams for Optimization

Author

Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Operational risk management a practical approach to intelligent data analysis

Operational risk management a practical approach to intelligent data analysis

Operational risk management a practical approach to intelligent data analysis

Author

Kenett, Ron. Raanan, Yossi.

Preferred Shelf Number

ONLINE(318959.1)

Electronic Access

Access restricted to McGill users
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=589233
ebrary http://site.ebrary.com/id/10412605
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702
John Wiley http://dx.doi.org/10.1002/9780470972571

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11