Search Results for Lattice theory.

1.

Lattice Theory: Foundation

Author

Grätzer, George. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0018-1

Format:

Availability

Online Library~1

Available:
Copies:

2.

Computational Intelligence Based on Lattice Theory

Author

Kaburlasos, Vassilis G. editor. Ritter, Gerhard X. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-72687-6

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory Computational Intelligence and Soft Computing Applications

Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory Computational Intelligence and Soft Computing Applications

Author

Kaburlasos, Vassilis G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

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:

6.

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:

7.

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:

8.

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:

9.

Codes, Cryptology and Information Security 4th International Conference, C2SI 2023, Rabat, Morocco, May 29-31, 2023, Proceedings

Author

El Hajji, Said. editor. Mesnager, Sihem. editor. Souidi, El Mamoun. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520866.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

Author

Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.

Preferred Shelf Number

XX(521379.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

13.

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:

14.

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:

	{displayName}	{count}
{error}