Refine your search

Your search returned 72 results.

|
1.
Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 [Recurso electrónico] : IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23â€{u2D2C} 2006, Santiago, Chile / edited by Gonzalo Navarro, Leopoldo Bertossi, Yoshiharu Kohayakawa.

by Navarro, Gonzalo | Bertossi, Leopoldo | Kohayakawa, Yoshiharu | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available

2.
Artificial Intelligence in Theory and Practice II [Recurso electrónico] : IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy / edited by Max Bramer.

by Bramer, Max | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available

3.
Learning to Live in the Knowledge Society [Recurso electrónico] : IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7â€{u1C2C} 2008, Milano, Italy / edited by Michael Kendall, Brian Samways.

by Kendall, Michael | Samways, Brian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2008Online access: Texto completo Availability: No items available

4.
Fifth Ifip International Conference On Theoretical Computer Science â€{u0523}s 2008 [Recurso electrónico] / edited by Giorgio Ausiello, Juhani KarhumÃ{uBA6C} Giancarlo Mauri, Luke Ong.

by Ausiello, Giorgio | KarhumÃ{uBA6C} Juhani | Mauri, Giancarlo | Ong, Luke | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available

5.
Network Control and Engineering for QoS, Security and Mobility, III [Recurso electrónico] : IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2â€{u5B20}2004, Palma de Mallorca, Spain / edited by Dominique GaÃt̄i, SebastiÃ{u01E1}lmés, Ramon Puigjaner.

by GaÃt̄i, Dominique | Galmés, SebastiÃ{uE034} | Puigjaner, Ramon | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2005Online access: Texto completo Availability: No items available

6.
High Performance Computing for Computational Science - VECPAR 2004 [Recurso electrónico] / 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers edited by Michel Daydé, Jack Dongarra, Vincente He

by Daydé, Michel | Dongarra, Jack | Hernández, Vincente | Palma, José M.L.M | 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.
STACS 2005 [Recurso electrónico] / 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings edited by Volker Diekert, Bruno Durand.

by Diekert, Volker | Durand, Bruno | 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.
Advances in Information Security Management & Small Systems Security [Recurso electrónico] / edited by Jan H. P. Eloff, Les Labuschagne, Rossouw Solms, Gurpreet Dhillon.

by Eloff, Jan H. P | Labuschagne, Les | Solms, Rossouw | Dhillon, Gurpreet | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Kluwer Academic Publishers, 2002Online access: Texto completo Availability: No items available

9.
Advances in Network and Distributed Systems Security [Recurso electrónico] : IFIP TC11 WG11.4 First Annual Working Conference on Network Security November 26â€{u2DEC} 2001, Leuven, Belgium / edited by Bart Decker, Frank Piessens, Jan Smits, Els Herreweghen.

by Decker, Bart | Piessens, Frank | Smits, Jan | Herreweghen, Els | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Kluwer Academic Publishers, 2002Online access: Texto completo Availability: No items available

10.
Research Directions in Data and Applications Security XVIII [Recurso electrónico] : IFIP TC11/WG11.3 Eighteenth Annual Conference on Data and Applications Security July 25â€{u2E2C} 2004, Sitges, Catalonia, Spain / edited by Csilla Farkas, Pierangela Samarati.

by Farkas, Csilla | Samarati, Pierangela | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer Science + Business Media, Inc., 2004Online access: Texto completo Availability: No items available

11.
Logical Approaches to Computational Barriers [Recurso electrónico] / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings edited by Arnold Beckmann, Ulrich Berger, Benedikt LÃœwe, John V. Tucke

by Beckmann, Arnold | Berger, Ulrich | LÃœwe, Benedikt | Tucker, John V | SpringerLink (Online service).

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

12.
Computation and Logic in the Real World [Recurso electrónico] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings edited by S. Barry Cooper, Benedikt LÃœwe, Andrea Sorbi.

by Cooper, S. Barry | LÃœwe, Benedikt | Sorbi, Andrea | SpringerLink (Online service).

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

13.
Applications and Theory of Petri Nets 2005 [Recurso electrónico] / 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings edited by Gianfranco Ciardo, Philippe Darondeau.

by Ciardo, Gianfranco | Darondeau, Philippe | 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.
Automata, Languages and Programming [Recurso electrónico] : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki.

by Arge, Lars | Cachin, Christian | Jurdzinski, Tomasz | Tarlecki, Andrzej | SpringerLink (Online service).

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

15.
Information Computing and Applications [Recurso electrónico] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu.

by Zhu, Rongbo | Zhang, Yanchun | Liu, Baoxiang | Liu, Chunfeng | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available

16.
Computational Intelligence and Intelligent Systems [Recurso electrónico] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings / edited by Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai.

by Li, Zhenhua | Li, Xiang | Liu, Yong | Cai, Zhihua.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

17.
Automata, Languages and Programming (vol. # 3580) [Recurso electrónico] / 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi

by Caires, Luis | Italiano, Guiseppe F | Monteiro, Luis | Palamidessi, Catuscia | Yung, Moti | 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.
SOFSEM 2006: Theory and Practice of Computer Science [Recurso electrónico] / 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings edited by JirÃ{u037F} WiedermannGerard

by Wiedermann, JirÃ{u037F} | Bieliková, Mária | PokornÃư, Jaroslav | Tel, Gerard | Stuller, Július | SpringerLink (Online service).

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

19.
Theory and Applications of Models of Computation [Recurso electrónico] / Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings edited by Jin-Yi Cai, S. Barry Cooper, Angsheng Li.

by Cai, Jin-Yi | Cooper, S. Barry | Li, Angsheng | SpringerLink (Online service).

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

20.
Recent Trends in Algebraic Development Techniques [Recurso electrónico] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / edited by Till Mossakowski, Hans-JÃœrg Kreowski.

by Mossakowski, Till | Kreowski, Hans-JÃœrg.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

Powered by Koha