Search Results for itération.

21 Results Found

1 2

000000000000DEFAULT

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Smart Card Research and Advanced Applications 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers

Smart Card Research and Advanced Applications 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers

Author

Buhan, Ileana. editor. Schneider, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520887.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25319-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520318.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2443-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

Author

Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.

Preferred Shelf Number

XX(520368.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Author

Madeira, Alexandre. editor. Martins, Manuel A. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521254.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Simulation and Modeling Methodologies, Technologies and Applications International Online Conference (SIMULTECH 2021)

Author

Wagner, Gerd. editor. Werner, Frank. editor. Oren, Tuncer. editor. De Rango, Floriano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Guide to Java A Concise Introduction to Programming

Author

Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520560.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Advanced X-Ray Radiation Detection: Medical Imaging and Industrial Applications

Author

Iniewski, Krzysztof (Kris). editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-92989-3

Format:

Availability

Online Library~1

Available:
Copies:

Inductive Biases in Machine Learning for Robotics and Control

Author

Lutter, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-37832-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings

Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings

Author

Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519279.1)

Electronic Access

https://doi.org/10.1007/978-3-319-25393-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Informatics and Communication Technologies for Societal Development Proceedings of ICICTS 2014

Author

Rajsingh, Elijah Blessing. editor. Bhojan, Anand. editor. Peter, J. Dinesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-81-322-1916-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Proceedings of ELM-2014 Volume 1 Algorithms and Theories

Author

Cao, Jiuwen. editor. Mao, Kezhi. editor. Cambria, Erik. editor. Man, Zhihong. editor. Toh, Kar-Ann. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}