Search Results for Engines.

Computational Optimization of Internal Combustion Engines

Yazar

Shi, Yu. author. Ge, Hai-Wen. author. Reitz, Rolf D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-619-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Introduction to Video Search Engines

Yazar

Gibbon, David C. author. Liu, Zhu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Realtime Data Mining Self-Learning Techniques for Recommendation Engines

Yazar

Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE(332858.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-01321-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Yazar

Herde, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9949-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Information Access through Search Engines and Digital Libraries

Yazar

Agosti, Maristella. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Yazar

Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42019-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}