Su búsqueda retornó 2235 resultados.

Ordenar
Resultados
Conceptual Modeling – ER 2011 [recurso electrónico] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling.

por Jeusfeld, Manfred [editor.] | Delcambre, Lois [editor.] | Ling, Tok-Wang [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6998Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Conceptual Structures for Discovering Knowledge [recurso electrónico] : 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011. Proceedings / edited by Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar.

por Andrews, Simon [editor.] | Polovina, Simon [editor.] | Hill, Richard [editor.] | Akhgar, Babak [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6828Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Conceptual Structures: From Information to Intelligence [recurso electrónico] : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings / edited by Madalina Croitoru, Sébastien Ferré, Dickson Lukose.

por Croitoru, Madalina [editor.] | Ferré, Sébastien [editor.] | Lukose, Dickson [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6208Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

CONCUR 2010 - Concurrency Theory [recurso electrónico] : 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings / edited by Paul Gastin, François Laroussinie.

por Gastin, Paul [editor.] | Laroussinie, François [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6269Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

CONCUR 2011 – Concurrency Theory [recurso electrónico] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / edited by Joost-Pieter Katoen, Barbara König.

por Katoen, Joost-Pieter [editor.] | König, Barbara [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6901Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Concurrency, Compositionality, and Correctness [recurso electrónico] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.

por Dams, Dennis [editor.] | Hannemann, Ulrich [editor.] | Steffen, Martin [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 5930Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.

Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 26-31, 2013 : proceedings / Peter van Emde Boas ... [et al.], (eds.).

por SOFSEM (Conference) (39th : 2013 : Spindleruv Mlyn, Czech Republic) | Emde Boas, P. van [ed.].

Series Lecture notes in computer science ; 7741.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Berlin ; New York : Springer, c2013Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Mexicali (1) Signatura topográfica: QA76.751 S63 2013.

Conformal and Probabilistic Prediction with Applications [recurso electrónico] : 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings / edited by Alexander Gammerman, Zhiyuan Luo, Jesús Vega, Vladimir Vovk.

por Gammerman, Alexander [editor.] | Luo, Zhiyuan [editor.] | Vega, Jesús [editor.] | Vovk, Vladimir [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9653Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Constructive Side-Channel Analysis and Secure Design [recurso electrónico] : 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers / edited by François-Xavier Standaert, Elisabeth Oswald.

por Standaert, François-Xavier [editor.] | Oswald, Elisabeth [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9689Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Constructive Side-Channel Analysis and Secure Design [electronic resource] : 14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings / edited by Elif Bilge Kavun, Michael Pehl.

por Kavun, Elif Bilge [editor.] | Pehl, Michael [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13979Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Controlled Natural Language [recurso electrónico] : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers / edited by Norbert E. Fuchs.

por Fuchs, Norbert E [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 5972Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Controlled Natural Language [recurso electrónico] : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings / edited by Brian Davis, Gordon J. Pace, Adam Wyner.

por Davis, Brian [editor.] | Pace, Gordon J [editor.] | Wyner, Adam [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9767Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Convergence and Hybrid Information Technology [recurso electrónico] : 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings / edited by Geuk Lee, Daniel Howard, Dominik Slezak.

por Lee, Geuk [editor.] | Howard, Daniel [editor.] | Slezak, Dominik [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6935Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

Cooperative Design, Visualization, and Engineering [recurso electrónico] : 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings / edited by Yuhua Luo.

por Luo, Yuhua [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6240Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.

Cooperative Design, Visualization, and Engineering [recurso electrónico] : 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings / edited by Yuhua Luo.

por Luo, Yuhua [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6874Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.

Cooperative Design, Visualization, and Engineering [recurso electrónico] : 13th International Conference, CDVE 2016, Sydney, NSW, Australia, October 24?27, 2016, Proceedings / edited by Yuhua Luo.

por Luo, Yuhua [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9929Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Cooperative Design, Visualization, and Engineering [electronic resource] : 20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings / edited by Yuhua Luo.

por Luo, Yuhua [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14166Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Cooperative environments for distributed systems engineering : the distributed systems environment report / Khalil Drira, Andrea Martelli, Thierry Villemur (eds.).

por Drira, Khalil | Martelli, Andrea | Villemur, Thierry.

Series Lecture notes in computer science ; 2236Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: Berlin : London : Springer, 2001Acceso en línea: Restricted to Springer LINK subscribers Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.9 .D5 C66 2001.

Coordination Models and Languages [recurso electrónico] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by Dave Clarke, Gul Agha.

por Clarke, Dave [editor.] | Agha, Gul [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6116Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Coordination Models and Languages [recurso electrónico] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Wolfgang Meuter, Gruia-Catalin Roman.

por Meuter, Wolfgang [editor.] | Roman, Gruia-Catalin [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6721Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Páginas

Con tecnología Koha