Search Results for Conference proceedings.

3693 Results Found

1 2 3 4 5 .. 308

000000000000DEFAULT

Cover image for Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Author

Platz, Roland. editor. (orcid)0000-0001-5800-5742 Flynn, Garrison. editor. Neal, Kyle. editor. (orcid)0000-0001-7880-1498 Ouellette, Scott. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings

Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings

Author

Huang, De-Shuang. editor. Wunsch, Donald C. editor. Levine, Daniel S. editor. Jo, Kang-Hyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85930-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings

Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings

Author

Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74282-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Knowledge and Skill Chains in Engineering and Manufacturing Information Infrastructure in the Era of Global Communications Proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIIDM2002), November 18–20, 2002 in Osaka, Japan

Knowledge and Skill Chains in Engineering and Manufacturing Information Infrastructure in the Era of Global Communications Proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIIDM2002), November 18–20, 2002 in Osaka, Japan

Author

Arai, Eiji. editor. Kimura, Fumihiko. editor. Goossenaerts, Jan. editor. Shirase, Keiichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b102979

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Author

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Author

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

Author

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Author

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

Author

He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2292-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I

Author

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 308

	{displayName}	{count}
{error}