Search Results for Lattice theory.

36 Results Found

1 2 3

000000000000DEFAULT

13.

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

Author

Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520823.1)

Electronic Access

https://doi.org/10.1007/978-3-031-26689-8

Format:

Availability

Online Library~1

Available:
Copies:

14.

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Author

Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520976.1)

Electronic Access

https://doi.org/10.1007/978-3-031-38499-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Author

Dürrschnabel, Dominik. editor. López Rodríguez, Domingo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521020.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Author

Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521072.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40960-8

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings

Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings

Author

El Mrabet, Nadia. editor. De Feo, Luca. editor. Duquesne, Sylvain. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521092.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37679-5

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Author

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521140.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42823-4

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II

Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II

Author

Gennaro, Rosario. editor. Robshaw, Matthew. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519314.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48000-7

Format:

Availability

Online Library~1

Available:
Copies:

20.

Advances in Cryptology -- CRYPTO 2015 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I

Author

Gennaro, Rosario. editor. Robshaw, Matthew. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518993.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47989-6

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Topics in Cryptology -- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings

Topics in Cryptology -- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings

Author

Nyberg, Kaisa. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519219.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Statistical thermodynamics : with applications to the life sciences

Author

Ben-Naim, Arieh, 1934- author.

Preferred Shelf Number

QH323.5 B436 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

23.

Wicking in porous materials traditional and modern modeling approaches

Author

Masoodi, Reza. Pillai, Krishna M.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

24.

Handbook of micromechanics and nanomechanics

Author

Li, Shaofan. Gao, Xin-Lin.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}