Search Results for Mathematics of Computing.

52 Results Found

1 2 3 4 5

0000DEFAULT

49.

Transactions on Computational Science XXVII

Author

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-50412-3

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Author

Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Author

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334985.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Computers, Software Engineering, and Digital Devices

Author

Dorf, Richard C., author. Taylor and Francis.

Preferred Shelf Number

TK7885

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

	{displayName}	{count}
{error}