Search Results for Algorithms.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

86 Results Found

1 2 3 4 5 .. 8

000000000000DEFAULT

13.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

Author

Morazán, Marco T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Author

Everitt, Tom. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63703-7

Format:

Availability

Online Library~1

Available:
Copies:

16.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Author

Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68034-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Author

Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68953-1

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Author

Choemprayong, Songphan. editor. Crestani, Fabio. editor. Cunningham, Sally Jo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70232-2

Format:

Availability

Online Library~1

Available:
Copies:

19.

Description Logics in Multimedia Reasoning

Author

Sikos, Leslie F. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54066-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Author

Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60252-3

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.

Author

Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67190-1

Format:

Availability

Online Library~1

Available:
Copies:

22.

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Author

Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66167-4

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Author

Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59294-7

Format:

Availability

Online Library~1

Available:
Copies:

24.

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Author

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68270-9

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}