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.

Cover image for Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Author

Silva, Josep. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Author

Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

Author

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

Author

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24311-1

Format:

Availability

Online Library~1

Available:
Copies:

41.

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V

Author

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24308-1

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Author

Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Author

Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-10549-5

Format:

Availability

Online Library~1

Available:
Copies:

44.

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I

Author

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17184-1

Format:

Availability

Online Library~1

Available:
Copies:

46.

Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings

Author

Du, Ding-Zhu. editor. Duan, Zhenhua. editor. Tian, Cong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

48.