Search for 'su:"Informatica"'

Ciencia de la computación : problemas, algoritmos, lenguajes, información y computadoras

By Rice, John K..
México : Interamericana, 1973 .
xv, 438 p. : , Traducción de : Introduction to computer science 24 cm..

]]> Place hold on Ciencia de la computación

Informática

By Chamorro, Salvador.
México : Rado, 2017 .
v. : 22 cm..
9786070026447 (v. 4)

]]> Place hold on Informática

El arte de la intrusión : la verdadera historia de las hazañas de hackers, intrusos e impostores

By Mitnick, Kevin D..
México : Alfaomega; | Ra-Ma, 2007 .
xxix, 349 p. : 23 cm..
9789701512609

]]> Place hold on El arte de la intrusión

La informática y la telemática en el campo de la salud : Usos actuales y potenciales

Washington, DC : Organización Panamericana de la Salud ; Oficina Sanitaria Panamericana: | Organización Mundial de la Salud ; Oficina regional, 1990 .
ix, 108 p. : 26 cm..
927531523X

]]> Place hold on La informática y la telemática en el campo de la salud

Literatura e hipermedia : la irrupción de la literatura interactiva : precedentes y crítica /

By Vouillamoz, Núria.
Barcelona : Paidós, 2000 .
207 p. ; 20 cm..
8449309247

]]> Place hold on Literatura e hipermedia :

Informática II

By Ibáñez Carrasco, Patricia.
México : Cengage Learning Editores, 2010 .
xiv, 257 p. : 25 cm..
9786074811568

]]> Place hold on Informática II

Informatica

By Ibañez Carrasco, Patricia.
México : Cengage Learning, Thomson, 2008 .
2 v. : 27 cm..
9789706868459 (vol I) | 9789706868466 (vol II)

]]> Place hold on Informatica

Informática /

By Ibañez Carrasco, Patricia.
México : Cengage, Learning, 2009 .
2 v. : , Segundo semestre 25 cm..
9786074811568 (vol II) | 9786074810912 (vol I)

]]> Place hold on Informática /

Informática uno

By Orozco Guzmán, Martha Angélica.
México : International Thomson Editores, 2006 .
x, 312 p. : 25 cm..
970686573X

]]> Place hold on Informática uno

Dictionary of Computing /

By Collin, S.M.H..
Gran Bretaña : Peter Collin, 1994 .
304 p. : 20 cm..
0948549440

]]> Place hold on Dictionary of Computing /

Manual para el uso y aprovechamiento del sistema de jurisprudencia y tesis aisladas IUS.

By México. .
México : Suprema Corte de Justicia de la nación, Dirección General de la Coordinación de Compilación y Sistematización de Tesis, 2010 .
xii, 414 p. : 22 cm..
9786074682267

]]> Place hold on Manual para el uso y aprovechamiento del sistema de jurisprudencia y tesis aisladas IUS.

Differential evolution : a practical approach to global optimization

By Price, Kenneth V..
Berlín : Springer, 2005 .
xix, 538 p. : 24 cm..
9783540209508

]]> Place hold on Differential evolution

Haskell, the craft of functional programming

By Thompson, Simon.
Harlow, England : Addison Wesley, 2011 .
xxii, 585 p. : 24 cm..
9780201882957

]]> Place hold on Haskell, the craft of functional programming

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /

By Kreowski, Hans-Jörg..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 9783540318477

]]> Place hold on Formal Methods in Software and Systems Modeling

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /

By Hierons, Robert M..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 9783540789178

]]> Place hold on Formal Methods and Testing

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings /

By Górski, Janusz..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 9783540457633

]]> Place hold on Computer Safety, Reliability, and Security

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /

By Asarin, Eugene..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 9783540450313

]]> Place hold on Formal Modeling and Analysis of Timed Systems

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /

By Ong, Luke..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 9783540318972

]]> Place hold on Computer Science Logic

Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings /

By Gellersen, Hans -W..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 9783540320340

]]> Place hold on Pervasive Computing

Computer Analysis of Images and Patterns 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings /

By Gagalowicz, André..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 9783540320111

]]> Place hold on Computer Analysis of Images and Patterns

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /

By Suzuki, Kenji..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 9783540688556

]]> Place hold on Formal Techniques for Networked and Distributed Systems – FORTE 2008

Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings /

By LaMarca, Anthony..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 9783540720379

]]> Place hold on Pervasive Computing

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings /

By Horváth, András..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 9783540353652

]]> Place hold on Formal Methods and Stochastic Models for Performance Evaluation

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings /

By Bravetti, Mario..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 9783540319030

]]> Place hold on Formal Techniques for Computer Systems and Business Processes

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /

By Grieskamp, Wolfgang..
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540344551

]]> Place hold on Formal Approaches to Software Testing

Quality of Protection Security Measurements and Metrics /

By Gollmann, Dieter..
Boston, MA : Springer Science+Business Media, LLC., 2006 9780387365848

]]> Place hold on Quality of Protection

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

By Grabowski, Jens..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 9783540318484

]]> Place hold on Formal Approaches to Software Testing

Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings /

By Fishkin, Kenneth P..
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540338956

]]> Place hold on Pervasive Computing

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /

By Havelund, Klaus..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 9783540497035

]]> Place hold on Formal Approaches to Software Testing and Runtime Verification

Networked RFID Systems and Lightweight Cryptography Raising Barriers to Product Counterfeiting /

By Ranasinghe, Damith C..
Berlin, Heidelberg : Springer-Verlag, 2008 9783540716419

]]> Place hold on Networked RFID Systems and Lightweight Cryptography

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /

By Jones, Cliff B..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 9783540752219

]]> Place hold on Formal Methods and Hybrid Real-Time Systems

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings /

By Najm, Elie..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 9783540462200

]]> Place hold on Formal Techniques for Networked and Distributed Systems - FORTE 2006

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings /

By Wang, Farn..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 9783540320845

]]> Place hold on Formal Techniques for Networked and Distributed Systems - FORTE 2005

Design by Evolution Advances in Evolutionary Design /

By Hingston, Philip F..
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 9783540741114

]]> Place hold on Design by Evolution

Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings /

By Kropatsch, Walter G..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 9783540742722

]]> Place hold on Computer Analysis of Images and Patterns

Introduction to Cryptography Principles and Applications /

By Delfs, Hans..
Berlin, Heidelberg : Springer-Verlag, 2007 9783540492443

]]> Place hold on Introduction to Cryptography

Pervasive Computing 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings /

By Indulska, Jadwiga..
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 9783540795766

]]> Place hold on Pervasive Computing

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /

By George, Chris W..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 9783540749646

]]> Place hold on Domain Modeling and the Duration Calculus

Real World Applications of Computational Intelligence

By Negoita, Mircea..
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2005 9783540323877

]]> Place hold on Real World Applications of Computational Intelligence

Human Interactive Proofs Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005. Proceedings /

By Baird, Henry S..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 9783540321170

]]> Place hold on Human Interactive Proofs

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /

By Cassez, Franck..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 9783540857785

]]> Place hold on Formal Modeling and Analysis of Timed Systems

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /

By Wolter, Katinka..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 9783540752110

]]> Place hold on Formal Methods and Stochastic Models for Performance Evaluation

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /

By Derrick, John..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 9783540731962

]]> Place hold on Formal Techniques for Networked and Distributed Systems – FORTE 2007

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings /

By Thomas, Nigel..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 9783540874126

]]> Place hold on Computer Performance Engineering

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /

By Pettersson, Paul..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 9783540316169

]]> Place hold on Formal Modeling and Analysis of Timed Systems

Managing Information Systems Security and Privacy

By Trček, Denis..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 9783540281047

]]> Place hold on Managing Information Systems Security and Privacy

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /

By Raskin, Jean-François..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 9783540754541

]]> Place hold on Formal Modeling and Analysis of Timed Systems

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings /

By Saglietti, Francesca..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 9783540751014

]]> Place hold on Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

By Harrison, Michael D..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 9783540876984

]]> Place hold on Computer Safety, Reliability, and Security

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /

By Brim, Luboš..
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 9783540709527

]]> Place hold on Formal Methods: Applications and Technology