Limit Search Results
Author
SpringerLink (Online service)
(65973)
Project Muse.
(12563)
Wiley InterScience (Online service)
(6745)
John Wiley & Sons.
(896)
IGI Global, publisher.
(602)
Language
Publication Date
-
2011
(18883)
2012
(18466)
2013
(15672)
2010
(15251)
2009
(10588)
Subject
Computer science.
(11616)
Engineering.
(7944)
Medicine.
(7535)
Economics.
(7326)
Artificial intelligence.
(6263)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
154032 Results Found Subscribe to search results
000000000000DEFAULT
Print
1453. 
Cover image for Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Author 
Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521090.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38100-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1454. 
Cover image for Comparative Genomics 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14-15, 2023, Proceedings
Comparative Genomics 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14-15, 2023, Proceedings
Author 
Jahn, Katharina. editor. Vinař, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521091.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36911-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1455. 
Cover image for Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings
Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings
Author 
El Mrabet, Nadia. editor. De Feo, Luca. editor. Duquesne, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521092.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37679-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1456. 
Cover image for Graph Transformation 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings
Graph Transformation 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings
Author 
Fernández, Maribel. editor. Poskitt, Christopher M. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521093.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1457. 
Cover image for Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II
Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II
Author 
Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521094.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1458. 
Cover image for Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Author 
Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521095.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1459. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521096.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37706-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1460. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521097.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37709-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1461. 
Cover image for Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers, Part I
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers, Part I
Author 
Bakas, Spyridon. editor. Crimi, Alessandro. editor. Baid, Ujjwal. editor. Malec, Sylwia. editor. Pytlarz, Monika. editor.
Preferred Shelf Number 
XX(521098.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33842-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1462. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521099.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1463. 
Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers
New Frontiers in Artificial Intelligence JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers
Author 
Yada, Katsutoshi. editor. Takama, Yasufumi. editor. (orcid) Mineshima, Koji. editor. (orcid) Satoh, Ken. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521100.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36190-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1464. 
Cover image for Simulation and Gaming for Social Impact 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers
Simulation and Gaming for Social Impact 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers
Author 
Harteveld, Casper. editor. Sutherland, Steven. editor. Troiano, Giovanni. editor. Lukosch, Heide. editor. Meijer, Sebastiaan. editor.
Preferred Shelf Number 
XX(521101.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37171-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action