|
|
421.
|
Rough Sets and Knowledge Technology [electronic resource] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings / edited by Peng Wen, Yuefeng Li, Lech Polkowski, Yiyu Yao, Shusaku Tsumoto, Guoyin Wang.
by Wen, Peng | Li, Yuefeng | Polkowski, Lech | Yao, Yiyu | Tsumoto, Shusaku | Wang, Guoyin | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
422.
|
Implementation and Application of Automata [electronic resource] : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings / edited by Sebastian Maneth.
by Maneth, Sebastian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
423.
|
Stochastic Coalgebraic Logic [electronic resource] / by Ernst-Erich Doberkat.
by Doberkat, Ernst-Erich | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
424.
|
Case-Based Reasoning Research and Development [electronic resource] : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings / edited by Lorraine McGinty, David C. Wilson.
by McGinty, Lorraine | Wilson, David C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
425.
|
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings / edited by Petra Perner.
by Perner, Petra | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
426.
|
Conceptual Structures: Leveraging Semantic Technologies [electronic resource] : 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings / edited by Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov.
by Rudolph, Sebastian | Dau, Frithjof | Kuznetsov, Sergei O | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
427.
|
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe.
by Archibald, Margaret | Brattka, Vasco | Goranko, Valentin | Löwe, Benedikt | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
428.
|
Artificial Intelligence An International Perspective [electronic resource] : An International Perspective / edited by Max Bramer.
by Bramer, Max | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
429.
|
Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su.
by Palsberg, Jens | Su, Zhendong | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
430.
|
Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / edited by Angelo Oddi, François Fages, Francesca Rossi.
by Oddi, Angelo | Fages, François | Rossi, Francesca | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
431.
|
Transactions on Rough Sets X [electronic resource] / edited by James F. Peters, Andrzej Skowron, Marcin Wolski, Mihir K. Chakraborty, Wei-Zhi Wu.
by Peters, James F | Skowron, Andrzej | Wolski, Marcin | Chakraborty, Mihir K | Wu, Wei-Zhi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
432.
|
Computer Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings / edited by Anna Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner.
by Frid, Anna | Morozov, Andrey | Rybalchenko, Andrey | Wagner, Klaus W | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
433.
|
Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel.
by Berghofer, Stefan | Nipkow, Tobias | Urban, Christian | Wenzel, Makarius | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
434.
|
Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings / edited by Mirosław Kutyłowski, Witold Charatonik, Maciej Gębala.
by Kutyłowski, Mirosław | Charatonik, Witold | Gębala, Maciej | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
435.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari.
by Corradini, Andrea | Montanari, Ugo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
436.
|
Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan.
by Leucker, Martin | Morgan, Carroll | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
437.
|
Algebraic Informatics [electronic resource] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings / edited by Symeon Bozapalidis, George Rahonis.
by Bozapalidis, Symeon | Rahonis, George | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
438.
|
Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki.
by Kurz, Alexander | Lenisa, Marina | Tarlecki, Andrzej | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
439.
|
Reasoning Web. Semantic Technologies for Information Systems [electronic resource] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt.
by Tessaris, Sergio | Franconi, Enrico | Eiter, Thomas | Gutierrez, Claudio | Handschuh, Siegfried | Rousset, Marie-Christine | Schmidt, Renate A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
440.
|
Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński.
by Královič, Rastislav | Niwiński, Damian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
