Search Results for Mathematics.

37 Results Found

1 2 3 4

000000000000DEFAULT

Modelling Computing Systems Mathematics for Computer Science

Author

Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332574.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-322-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Author

Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334264.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36675-8

Format:

Availability

Online Library~1

Available:
Copies:

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

Author

O’Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331002.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4534-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Author

Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31374-5

Format:

Availability

Online Library~1

Available:
Copies:

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Author

Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31113-0

Format:

Availability

Online Library~1

Available:
Copies:

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

Author

Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23211-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

Author

Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14322-9

Format:

Availability

Online Library~1

Available:
Copies:

10.

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Author

Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13321-3

Format:

Availability

Online Library~1

Available:
Copies:

11.

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

Author

Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-70594-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

Author

Uustalu, Tarmo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11783596

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

	{displayName}	{count}
{error}