Search Results for Science, general.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1621 Results Found

1 2 3 4 5 6 .. 136

000000000000DEFAULT

37.

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Author

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25636-4

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Author

Ghaffari, Mohsen. editor. Nesterenko, Mikhail. editor. Tixeuil, Sébastien. editor. (orcid)0000-0002-0948-7172 Tucci, Sara. editor. (orcid)0000-0001-9738-9021 Yamauchi, Yukiko. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34992-9

Format:

Availability

Online Library~1

Available:
Copies:

39.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Author

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22747-0

Format:

Availability

Online Library~1

Available:
Copies:

40.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

Author

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22750-0

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17502-3

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Author

Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18506-0

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings

Author

McQuillan, Ian. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19311-9

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Author

Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23247-4

Format:

Availability

Online Library~1

Available:
Copies:

45.

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Author

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682 Droste, Manfred. editor. (orcid)0000-0001-9128-8844 Pin, Jean-Éric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21363-3

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I

Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I

Author

Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Karpov, Pavel. editor. (orcid)0000-0003-4786-9806 Theis, Fabian. editor. (orcid)0000-0002-2419-1943 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30487-4

Format:

Availability

Online Library~1

Available:
Copies:

47.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

Author

Preferred Shelf Number