Search Results for Machine theory.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

915 Results Found

1 .. 3 4 5 6 7 .. 77

000000000000DEFAULT

Embedded Machine Learning with Microcontrollers Applications on Arduino Boards

Author

Ünsalan, Cem. author. (orcid)0000-0002-8904-3730 Höke, Berkan. author. (orcid)0000-0001-5682-500X Atmaca, Eren. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Author

Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73751-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Author

Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73887-6

Format:

Availability

Online Library~1

Available:
Copies:

Embedded Machine Learning with Microcontrollers Applications on STM32 Development Boards

Author

Ünsalan, Cem. author. (orcid)0000-0002-8904-3730 Höke, Berkan. author. (orcid)0000-0001-5682-500X Atmaca, Eren. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70912-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75107-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75380-0

Format:

Availability

Online Library~1

Available:
Copies:

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

Author

Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-70094-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings

Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings

Author

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Rospocher, Marco. editor. (orcid)0000-0001-9391-3201 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Hollink, Laura. editor. (orcid)0000-0002-6865-0021 Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Chinese Computational Linguistics 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings

Author

Sun, Maosong. editor. Liang, Jiye. editor. (orcid)0000-0001-5887-9327 Han, Xianpei. editor. (orcid)0000-0002-1304-6302 Liu, Zhiyuan. editor. (orcid)0000-0002-7709-2543 He, Yulan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-8367-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

Author

Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-6957-5

Format:

Availability

Online Library~1

Available:
Copies:

12.