Search Results for Conference proceedings.

80 Results Found

1 2 3 4 5 .. 7

000000000000DEFAULT

Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Author

Cowen, Lenore J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Author

Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Functional Imaging and Modeling of the Heart 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings

Functional Imaging and Modeling of the Heart 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings

Author

Coudière, Yves. editor. Ozenne, Valéry. editor. Vigmond, Edward. editor. Zemzemi, Nejib. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

Author

Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

Cover image for Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Author

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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

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-22734-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings

Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings

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-30493-5

Format:

Availability

Online Library~1

Available:
Copies:

10.