Your search returned 72 results.

Sort
Results
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).

Series: IFIP International Federation for Information Processing ; 209Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available.

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).

Series: IFIP â€{u0528}e International Federation for Information Processing ; 276Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer-Verlag US, 2008Online access: Texto completo Availability: No items available.

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).

Series: IFIP â€{u0528}e International Federation for Information Processing ; 281Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2008Online access: Texto completo Availability: No items available.

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).

Series: IFIP International Federation for Information Processing ; 273Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Texto completo Availability: No items available.

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).

Series: IFIP International Federation for Information Processing ; 165Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2005Online access: Texto completo Availability: No items available.

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).

Series: Lecture Notes in Computer Science ; 3402Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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).

Series: Lecture Notes in Computer Science ; 3404Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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).

Series: Lecture Notes in Computer Science ; 3988Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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).

Series: Lecture Notes in Computer Science ; 4497Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.

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).

Series: IFIP International Federation for Information Processing ; 72Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Kluwer Academic Publishers, 2002Online access: Texto completo Availability: No items available.

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).

Series: IFIP International Federation for Information Processing ; 144Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Springer Science + Business Media, Inc., 2004Online access: Texto completo Availability: No items available.

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).

Series: IFIP International Federation for Information Processing ; 78Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : Kluwer Academic Publishers, 2002Online access: Texto completo Availability: No items available.

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).

Series: Lecture Notes in Computer Science ; 3959Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Computer Science - Theory and Applications [Recurso electrónico] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings. Volker Diekert, Mikhail V. Volkov, Andrei

by Diekert, Volker | Volkov, Mikhail V | Voronkov, Andrei | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4649Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

Shared Memory Parallel Programming with Open MP [Recurso electrónico] / 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 edited by Barbara M. Chapman.

by Chapman, Barbara M | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3349Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Algebra, Meaning, and Computation [Recurso electrónico] / Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer.

by Futatsugi, Kokichi | Jouannaud, Jean-Pierre | Meseguer, José | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4060Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Computer Science -- Theory and Applications [Recurso electrónico] / First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings edited by Dima Grigoriev, John Harrison, Edward A.

by Grigoriev, Dima | Harrison, John | Hirsch, Edward A | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3967Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Petri Nets and Other Models of Concurrency - ICATPN 2006 [Recurso electrónico] / 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings edited by S

by Donatelli, Susanna | Thiagarajan, P.S | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4024Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Petri Nets and Other Models of Concurrency - ICATPN 2007 [Recurso electrónico] / 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding

by Kleijn, Jetty | Yakovlev, Alex | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4546Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.

Transactions on Petri Nets and Other Models of Concurrency V [Recurso electrónico] / edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn.

by Jensen, Kurt | Donatelli, Susanna | Kleijn, Jetty.

Series: Lecture Notes in Computer Science ; 6900Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

Pages

Powered by Koha