Your search returned 5853 results. Subscribe to this search

|
2381. Conceptual Graphs and Fuzzy Logic [electronic resource] : A Fusion for Representing and Reasoning with Linguistic Information / by Tru Hoang Cao.

by Cao, Tru Hoang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2382. Frontiers of Assembly and Manufacturing [electronic resource] : Selected papers from ISAM 2009 / edited by Sukhan Lee, Raúl Suárez, Byung-Wook Choi.

by Lee, Sukhan | Suárez, Raúl | Choi, Byung-Wook | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2383. Preference Learning [electronic resource] / edited by Johannes Fürnkranz, Eyke Hüllermeier.

by Fürnkranz, Johannes | Hüllermeier, Eyke | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
2384. Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings / edited by Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton.

by Autexier, Serge | Calmet, Jacques | Delahaye, David | Ion, Patrick D. F | Rideau, Laurence | Rioboo, Renaud | Sexton, Alan P | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2385. Artifical Evolution [electronic resource] : 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers / edited by Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton.

by Collet, Pierre | Monmarché, Nicolas | Legrand, Pierrick | Schoenauer, Marc | Lutton, Evelyne | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2386. Revision, Acceptability and Context [electronic resource] : Theoretical and Algorithmic Aspects / by Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo.

by Gabbay, Dov M | Rodrigues, Odinaldo T | Russo, Alessandra | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2387. Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.

by Abramsky, Samson | Gavoille, Cyril | Kirchner, Claude | Meyer auf der Heide, Friedhelm | Spirakis, Paul G | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2388. Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor.

by Governatori, Guido | Sartor, Giovanni | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2389. Conceptual Structures: From Information to Intelligence [electronic resource] : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings / edited by Madalina Croitoru, Sébastien Ferré, Dickson Lukose.

by Croitoru, Madalina | Ferré, Sébastien | Lukose, Dickson | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2390. Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / edited by Jürgen Giesl, Reiner Hähnle.

by Giesl, Jürgen | Hähnle, Reiner | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2391. Web-Age Information Management [electronic resource] : 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010. Proceedings / edited by Lei Chen, Changjie Tang, Jun Yang, Yunjun Gao.

by Chen, Lei | Tang, Changjie | Yang, Jun | Gao, Yunjun | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2392. Current Topics in Artificial Intelligence [electronic resource] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca.

by Meseguer, Pedro | Mandow, Lawrence | Gasca, Rafael M | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2393. Learning to Rank for Information Retrieval [electronic resource] / by Tie-Yan Liu.

by Liu, Tie-Yan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
2394. Case-Based Reasoning. Research and Development [electronic resource] : 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings / edited by Isabelle Bichindaritz, Stefania Montani.

by Bichindaritz, Isabelle | Montani, Stefania | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2395. Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz.

by Aloni, Maria | Bastiaanse, Harald | Jager, Tikitu | Schulz, Katrin | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2396. Networked Digital Technologies [electronic resource] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.

by Zavoral, Filip | Yaghob, Jakub | Pichappan, Pit | El-Qawasmeh, Eyas | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2397. Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.

by Touili, Tayssir | Cook, Byron | Jackson, Paul | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2398. Networked Digital Technologies [electronic resource] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.

by Zavoral, Filip | Yaghob, Jakub | Pichappan, Pit | El-Qawasmeh, Eyas | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2399. A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli.

by Dovier, Agostino | Pontelli, Enrico | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
2400. Digital Filters [electronic resource] : Basics and Design / by Dietrich Schlichthärle.

by Schlichthärle, Dietrich | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue