Search Results for Arithmetic.

16 Results Found

1 2

0000DEFAULT

13.

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Author

Schreiner, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520401.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24934-1

Format:

Availability

Online Library~1

Available:
Copies:

14.

Guide to Java A Concise Introduction to Programming

Author

Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520560.1)

Electronic Access

https://doi.org/10.1007/978-3-031-22842-1

Format:

Availability

Online Library~1

Available:
Copies:

15.

Data Analytics A Theoretical and Practical View from the EDISON Project

Author

Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520729.1)

Electronic Access

https://doi.org/10.1007/978-3-031-39129-3

Format:

Availability

Online Library~1

Available:
Copies:

16.

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Author

Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521411.1)

Electronic Access

https://doi.org/10.1007/978-3-031-52038-9

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}