Refine your search

Your search returned 272 results. Subscribe to this search

|
1. Inconsistency Tolerance [Recurso electrónico] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub.

Bertossi, Leopoldo | Hunter, Anthony | Schaub, Torsten | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

Log in to add tags. Add to cart
2. Implementation and Application of Automata (vol. # 3317) [Recurso electrónico] / 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa

Domaratzki, Michael | Okhotin, Alexander | Salomaa, Kai | Yu, Sheng | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

3. Natural Language Processing - IJCNLP 2004 [Recurso electrónico] / First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers edited by Oi Yee Kwong, Jong-Hyeok Lee, Keh-Yih Su, Jun'ichi Tsujii.

Kwong, Oi Yee | Lee, Jong-Hyeok | Su, Keh-Yih | Tsujii, Jun'ichi | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

4. Computational Linguistics and Intelligent Text Processing (vol. # 3406) [Recurso electrónico] / 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings edited by Alexander Gelbukh.

Gelbukh, Alexander | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

5. Formal Concept Analysis (vol. # 3403) [Recurso electrónico] / Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings edited by Bernhard Ganter, Robert Godin.

Ganter, Bernhard | Godin, Robert | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

6. Formal Methods in Software and Systems Modeling [Recurso electrónico] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday edited by Hans-JÃœrg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al.

Kreowski, Hans-JÃœrg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz | Taentzer, Gabriele | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

7. Mechanizing Mathematical Reasoning [Recurso electrónico] / Essays in Honor of JÃœrg H. Siekmann on the Occasion of His 60th Birthday edited by Dieter Hutter, Werner Stephan.

Hutter, Dieter | Stephan, Werner | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

8. Membrane Computing (vol. # 3365) [Recurso electrónico] / 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers edited by Giancarlo MauriGheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenb

Mauri, Giancarlo | Paun, Gheorghe | Pérez-Jiménez, Mario J | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

9. Recent Advances in Constraints (vol. # 3419) [Recurso electrónico] / Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and

Fages, FranÃ{u00A7}ois | Faltings, Boi | Petcu, Adrian | Rossi, Francesca | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

10. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) [Recurso electrónico] / 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings edited by Franz Baader, Andrei Voronkov.

Baader, Franz | Voronkov, Andrei | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

11. Machines, Computations, and Universality [Recurso electrónico] / 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers edited by Maurice Margenstern.

Margenstern, Maurice | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

12. Theoretical Aspects of Computing - ICTAC 2004 [Recurso electrónico] / First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers edited by Keijiro Araki, Zhiming Liu.

Araki, Keijiro | Liu, Zhiming | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

13. Recent Trends in Algebraic Development Techniques [Recurso electrónico] / 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas.

Fiadeiro, José Luiz | Mosses, Peter | Orejas, Fernando | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

14. Conditionals, Information, and Inference [Recurso electrónico] / International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers edited by Gabriele Kern-Isberner, Friedhelm Kulmann, Wilhelm RÃœdder.

Kern-Isberner, Gabriele | Kulmann, Friedhelm | RÃœdder, Wilhelm | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

15. Foundations of Software Science and Computational Structures (vol. # 3441) [Recurso electrónico] / 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edite

Sassone, Vladimiro | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

16. Compiler Construction (vol. # 3443) [Recurso electrónico] / 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edited by Rastislav Bodik.

Bodik, Rastislav | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

17. Programming Languages and Systems (vol. # 3444) [Recurso electrónico] / 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8,

Sagiv, Mooly | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

18. ZB 2005: Formal Specification and Development in Z and B [Recurso electrónico] / 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings edited by Martin Henson, Steve King, Steve Schneider, Helen Treharne

Henson, Martin | King, Steve | Schneider, Steve | Treharne, Helen | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

19. Operational Semantics for Timed Systems [Recurso electrónico] / A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems edited by Heinrich Rust.

Rust, Heinrich | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

20. Typed Lambda Calculi and Applications [Recurso electrónico] / 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings edited by Pawel Urzyczyn.

Urzyczyn, Pawel | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

Powered by Koha