Search Results for Computers.

138 Results Found

1 2 3 4 5 .. 12

000000000000DEFAULT

13.

Systems engineering neural networks

Author

Migliaccio, Alessandro, author. Iannone, Giovanni, author.

Preferred Shelf Number

QA76.87 .M537 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Modeling and simulation in Python

Author

Kinser, Jason M., 1962- author.

Preferred Shelf Number

QA76.9 .C65

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Short sims : a game changer

Author

Aldrich, Clark, 1967- author.

Preferred Shelf Number

QA76.9 .C65 A42 2020 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I

Author

Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22968-9

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

Author

Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23597-0

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Author

André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29662-9

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Author

Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27008-7

Format:

Availability

Online Library~1

Available:
Copies:

20.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25540-4

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

Author

Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-36405-2

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Author

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32409-4

Format:

Availability

Online Library~1

Available:
Copies:

23.

Neural Modeling of Speech Processing and Speech Learning An Introduction

Author

Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15853-8

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

Author

Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14984-0

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 12

	{displayName}	{count}
{error}