Search Results for Science (General)

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1644 Results Found

1 .. 7 8 9 10 11 .. 137

000000000000DEFAULT

97.

Cover image for Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Author

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21571-2

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

Author

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34500-6

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

Author

Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127 Mendelson, Avi. editor. Nandi, Mridul. editor. (orcid)0000-0002-1029-6576 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

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:

101.

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:

102.

Cover image for High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

Author

Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15996-2

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings

Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings

Author

Pal, Sudebkumar Prasant. editor. Vijayakumar, Ambat. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-11509-8

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Author

Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-13838-7

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Author

Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14805-8

Format:

Availability

Online Library~1

Available:
Copies:

106.

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:

107.