Limit Search Results
Author
SpringerLink (Online service)
(563)
Chen, Xilin. editor.
(13)
Ji, Rongrong. editor. (orcid)0000-0003-4739-8936
(13)
Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
(13)
Ma, Zhanyu. editor.
(13)
Language
Publication Date
-
Subject
Artificial intelligence.
(284)
Machine theory.
(271)
Formal Languages and Automata Theory.
(249)
Computer science.
(193)
COMPUTERS / Machine Theory
(146)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
915 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
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-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
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:
75. 
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:
76. 
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:
77. 
Cover image for Chinese Computational Linguistics 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings
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:
78. 
Cover image for Foundations of semantic communication networks
Foundations of semantic communication networks
Author 
Saad, Walid. Chaccour, Christina. Thomas, Christo Kurisummoottil. Debbah, Merouane, 1975-
Preferred Shelf Number 
TK5103.2 .F68 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394247912
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Stochastic modeling and optimization methods for critical infrastructure protection. 1, stochastic modeling
Stochastic modeling and optimization methods for critical infrastructure protection. 1, stochastic modeling
Author 
Gaivoronski, Alexei A., editor. Knopov, Pavel S. Norkin, Vladimir I. Zaslavskyi, Volodymyr A.
Preferred Shelf Number 
HC79 .C3 S76 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394372508
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Analysis of electric machinery and drive systems
Analysis of electric machinery and drive systems
Author 
Krause, Paul C., author. Wasynczuk, Oleg, author. Sudhoff, Scott D., author. Pekarek, Steven D. author.
Preferred Shelf Number 
TK2181
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394293896
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Decision-making techniques and methods for sustainable technological innovation : strategies and applications in Industry 5.0
Decision-making techniques and methods for sustainable technological innovation : strategies and applications in Industry 5.0
Author 
Kalita, Kanak, 1988- editor.
Preferred Shelf Number 
T173.8 .D43 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242603
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Author 
Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74776-2
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Complex Networks & Their Applications XIII Proceedings of The Thirteenth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2024 - Volume 4
Complex Networks & Their Applications XIII Proceedings of The Thirteenth International Conference on Complex Networks and their Applications: COMPLEX NETWORKS 2024 - Volume 4
Author 
Cherifi, Hocine. editor. Donduran, Murat. editor. (orcid)0000-0001-8514-5513 Rocha, Luis M. editor. (orcid)0000-0001-9402-887X Cherifi, Chantal. editor. Varol, Onur. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82439-5
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings
Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings
Author 
Gamard, Guilhem. editor. Leroy, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97548-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action