Search Results for Real Functions.

37.

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I

Yazar

Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40596-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Decision Procedures An Algorithmic Point of View

Yazar

Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-50497-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II

Yazar

Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40581-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Advances in Cryptology - EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I

Yazar

Fischlin, Marc. editor. Coron, Jean-Sébastien. editor. SpringerLink (Online service)