|
141.
|
Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. by Moreno Díaz, Roberto | Pichler, Franz | Quesada Arencibia, Alexis | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TA345 M67 2005 (1).
|
|
142.
|
Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings / edited by Kousha Etessami, Sriram K. Rajamani. by Etessami, Kousha | Rajamani, Sriram K | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.V47 E84 2005 (1).
|
|
143.
|
|
|
144.
|
|
|
145.
|
Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Sandro Etalle, Mirosław Truszczyński. by Etalle, Sandro | Truszczyński, Mirosław | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 E83 2006 (1).
|
|
146.
|
|
|
147.
|
Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings / edited by Raoul Medina, Sergei Obiedkov. by Medina, Raoul | Obiedkov, Sergei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA171.5 M43 2008 (1).
|
|
148.
|
|
|
149.
|
Conditionals, Information, and Inference [electronic resource] : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers / edited by Gabriele Kern-Isberner, Wilhelm Rödder, Friedhelm Kulmann. by Kern-Isberner, Gabriele | Rödder, Wilhelm | Kulmann, Friedhelm | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q387 K47 2005 (1).
|
|
150.
|
Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / edited by Jacques Garrigue, Manuel V. Hermenegildo. by Garrigue, Jacques | Hermenegildo, Manuel V | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.62 G37 2008 (1).
|
|
151.
|
Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings / edited by Stefan Kramer, Bernhard Pfahringer. by Kramer, Stefan | Pfahringer, Bernhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 K73 2005 (1).
|
|
152.
|
Conceptual Structures: Inspiration and Application [electronic resource] : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings / edited by Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm. by Schärfe, Henrik | Hitzler, Pascal | Øhrstrøm, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q387.2 S33 2006 (1).
|
|
153.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers / edited by Francesca Toni, Paolo Torroni. by Toni, Francesca | Torroni, Paolo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.L63 T66 2006 (1).
|
|
154.
|
Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers / edited by Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki. by Yli-Jyrä, Anssi | Karhumäki, Juhani | Karttunen, Lauri | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.N38 Y55 2006 (1).
|
|
155.
|
Rough Sets and Knowledge Technology [electronic resource] : Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings / edited by Guoyin Wang, Tianrui Li, Jerzy W. Grzymala-Busse, Duoqian Miao, Andrzej Skowron, Yiyu Yao. by Wang, Guoyin | Li, Tianrui | Grzymala-Busse, Jerzy W | Miao, Duoqian | Skowron, Andrzej | Yao, Yiyu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.S63 W36 2008 (1).
|
|
156.
|
|
|
157.
|
Scalable Uncertainty Management [electronic resource] : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings / edited by Sergio Greco, Thomas Lukasiewicz. by Greco, Sergio | Lukasiewicz, Thomas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q375 G74 2008 (1).
|
|
158.
|
Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings / edited by Bernhard Ganter, Robert Godin. by Ganter, Bernhard | Godin, Robert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA171.5 G36 2005 (1).
|
|
159.
|
|
|
160.
|
Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings / edited by Dominique Borrione, Wolfgang Paul. by Borrione, Dominique | Paul, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7874.75 B67 2005 (1).
|