Search Results for System.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

69 Results Found

1 2 3 4 5 6

000000000000DEFAULT

25.

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Author

Downey, Rod. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Modeling Decisions for Artificial Intelligence 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024, Proceedings

Modeling Decisions for Artificial Intelligence 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024, Proceedings

Author

Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Kikuchi, Hiroaki. editor. (orcid)0000-0002-0903-8430 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I

Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedings

New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28-29, 2024, Proceedings

Author

Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 Bono, Mayumi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-3076-6

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II

Bio-Inspired Computing: Theories and Applications 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023, Revised Selected Papers, Part II

Author

Pan, Linqiang. editor. (orcid)0000-0002-4554-455X Wang, Yong. editor. (orcid)0000-0001-7670-3958 Lin, Jianqing. editor. (orcid)0000-0002-9332-4746 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2275-4

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Author

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Transactions on Petri Nets and Other Models of Concurrency XVII

Author

Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)