Refine your search

Your search returned 222 results.

Not what you expected? Check for suggestions
1.
Agent-based hybrid intelligent systems : an agent-based fromework for complex problem solving / Zili Zhang, Chengqi Zhang.

by Zhang, Zili (Senior lecturer) | Zhang, Chengqi, 1957-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings / editors, Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan.

by TPHOLs (17th : 2004 : Park City, Utah) | Slind, Konrad | Bunker, Annette | Gopalakrishnan, Ganesh | LINK (Online service).

Material type: Text Text; Format: available online remote Publisher: Berlin : Springer, 2004Other title: TPHOLs 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Multi-agent-based simulation III : 4th international workshop, MABS 2003, Melbourne, Australia, July 14, 2003 : revised papers / David Hales [and others]. (eds.).

by MABS 2003 (2003 : Melbourne, Vic.) | Hales, David.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Environments for multi-agent systems : first international workshop, E4MAS 2004, New York, NY, July 19, 2004 : revised selected papers / Danny Weyns, H. Van Dyke Parunak, Fabien Michel (eds.).

by E4MAS 2004 (2004 : New York, N.Y.) | Weyns, Danny | Parunak, H. Van Dyke | Michel, Fabien.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: E4MAS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Intelligence and security informatics : Second Symposium on Intelligence and Security Informatics, ISI 2004, Tucson, AZ, USA, June 10-11, 2004 : proceedings / Hsinchun Chen [and others] (eds.).

by Symposium on Intelligence and Security Informatics (2nd : 2004 : Tucson, Ariz.) | Chen, Hsinchun.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: ISI 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Engineering societies in the agents world IV : 4th international workshop, ESAW 2003, London, UK, October 29-31, 2003 : revised selected and invited papers / Andrea Omicini, Paolo Petta, Jeremy Pitt (eds.).

by ESAW 2003 (2003 : London, England) | Omicini, Andrea, 1965- | Petta, Paolo, 1963- | Pitt, Jeremy.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: ESAW 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Advances in case-based reasoning : 7th European conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004 : proceedings / Peter Funk, Pedro A. González Calero (eds.).

by ECCBR 2004 (2004 : Madrid, Spain) | Funk, Peter, 1957- | González Calero, Pedro A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Engineering knowledge in the age of the Semantic Web : 14th international conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004 : proceedings / Enrico Motta [and others] (eds.).

by European Knowledge Acquisition Workshop (14th : 2004 Towcester, England) | Motta, E. (Enrico), 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Evolutionary computation in combinatorial optimization : 5th European conference, EvoCOP 2005, Lausanne, Switzerland, March 30-April 1, 2005 : proceedings / Günther R. Raidl, Jens Gottlieb (eds.).

by EvoCOP (Conference) (5th : 2005 : Lausanne, Switzerland) | Gottlieb, Jens | Raidl, Günther.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: EvoCOP 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Case-based reasoning research and development : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005 : proceedings / Héctor Muñoz-Avila, Francesco Ricci (eds.).

by International Conference on Case-Based Reasoning (6th : 2005 : Chicago, Ill.) | Muñoz-Avila, Héctor | Ricci, Francesco, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: 6th International Conference on Case-Based Reasoning | Sixth International Conference on Case-Based Reasoning | International Conference on Case-Based Reasoning | ICCBR 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Hybrid metaheuristics : second international workshop, HM 2005, Barcelona, Spain, August 29-30, 2005 : proceedings / María J. Blesa [and others] (eds.).

by HM (Workshop) (2nd : 2005 : Barcelona, Spain) | Blesa, María J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: HM 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Advances in intelligent data analysis VI : 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005 : proceedings / A. Fazel Famili [and others] (eds.).

by International Symposium on Intelligent Data Analysis (6th : 2005 : Madrid, Spain) | Famili, A. Fazel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: 6th International Symposium on Intelligent Data Analysis | Sixth International Symposium on Intelligent Data Analysis | International Symposium on Intelligent Data Analysis | IDA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Charting the topic maps research and applications landscape : first International Workshop on Topic Maps Research and Applications, TMRA 2005, Leipzig, Germany, October 6-7, 2005, Revised Selected papers / Lutz Maicher, Jack Park (eds.).

by International Workshop on Topic Maps Research and Applications (1st : 2005 : Leipzig, Germany) | Maicher, Lutz | Park, Jack.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2006Other title: TMRA 2005 | International Conference on Topic Map Research and Applications.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Defence applications of multi-agent systems : international workshop, DAMAS 2005, Utrecht, the Netherlands, July 25, 2005 : revised and invited papers / Simon G. Thompson, Robert Ghanea-Hercock, (eds.).

by International Conference on Damage Assessment of Structures (2005 : Utrecht, Netherlands) | Thompson, Simon G | Ghanea-Hercock, Robert.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: DAMAS 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Intelligence and security informatics : IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006 : proceedings / Sharad Mehrotra [and others] (eds.).

by IEEE International Conference on Intelligence and Security Informatics (2006 : San Diego, Calif.) | Mehrotra, Sharad, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: IEEE International Conference on Intelligence and Security Informatics | ISI 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Smart homes and health telematics : 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised papers / Cathy Bodine, Sumi Helal, Tao Gu, Mounir Mokhtari (eds.).

by International Conference on Smart Homes and Health Telematics (12th : 2014 : Denver, Colo.) | Bodine, Cathy [editor.] | Helal, Abdelsalam A, 1959- [editor.] | Gu, Tao [editor.] | Mokhtari, Mounir [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICOST 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
E-Voting and identity : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings / Rolf Haenni, Reto E. Koenig, Douglas Wikström (eds.).

by Vote-ID (Conference) (5th : 2015 : Bern, Switzerland) | Haenni, Rolf [editor.] | Koenig, Reto E [editor.] | Wikström, Douglas [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: VoteID 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Latent variable analysis and signal separation : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / Emmanuel Vincent, Arie Yeredor, Zbyněk Koldovský, Petr Tichavský (eds.).

by International Conference on Latent Variable Analysis and Signal Separation (12th : 2015 : Liberec, Czech Republic) | Vincent, Emmanuel [editor.] | Yeredor, Arie [editor.] | Koldovský, Zbyněk [editor.] | Tichavský, Petr [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: LVA/ICA 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Information security : 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / Javier Lopez, Chris J. Mitchell (eds.).

by ISC (Conference : Information security) (18th : 2015 : Trondheim, Norway) | López, Javier [editor.] | Mitchell, Chris J [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ISC 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Testing software and systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.).

by ICTSS (Conference) (27th : 2015 : Sharjah and Dubai, United Arab Emirates) | El-Fakih, Khaled [editor.] | Barlas, Gerassimos [editor.] | Yevtushenko, Nina [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICTSS 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha