Programing wiht higher order-logic

Programing wiht higher order-logic

Los sistemas formales que describen los cálculos sobre estructuras sintácticas son frecuentes en la informática. Programación lógica proporciona un marco natural para la codificación y la animación de este tipo de sistemas. Sin embargo, estos sistemas a menudo incorporan variables de unión, una noci...

Cur síos iomlán

Sonraí bibleagrafaíochta
Rannpháirtithe:	Miller, Dale, Nadathur, Gopalan
Formáid:	LEABHAR
Teanga:	Spanish English
Ábhair:	Informática Lenguaje de programación Programación informática INFORMATICA

Míreanna comhchosúla

Java. How to program

Firewalls and internet security: repelling the wily hacker /
de réir: Cheswick, William R.
Foilsithe / Cruthaithe: (2003)

Java. How to program

Estructuras de datos: programación y aplicaciones

Informatica 2-3 Curso tercero de formación profesional de seundo grado
de réir: LLansana, Jaume

Parallel programming with MPI
de réir: Pacheco, Peter S.

Error-control coding for computer systems

Professional Ajax /
de réir: Zakas Nicholas C.
Foilsithe / Cruthaithe: (2007)

Linux security cookbook /
de réir: Barrett, Daniel J.
Foilsithe / Cruthaithe: (2003)

DNS and BIND /
de réir: Albitz, Paul
Foilsithe / Cruthaithe: (2001)

Designing Large-Scale LANs /
de réir: Dooley, Kevin
Foilsithe / Cruthaithe: (2002)

Cisco Cookbook /
de réir: Dooley, Kevin
Foilsithe / Cruthaithe: (2003)

Linux network administrator´s guide /
de réir: Kirch, Olaf
Foilsithe / Cruthaithe: (2000)

Bgp /
de réir: Beijnum, Iljitsch van
Foilsithe / Cruthaithe: (2002)

IPv6 Essentials /
de réir: Hagen, Silvia. 1965
Foilsithe / Cruthaithe: (2002)

Data structures using C /
de réir: Thareja, Reema
Foilsithe / Cruthaithe: (2018)

Windows Server 2008: the definitive guide /
de réir: Hassell, Jonathan
Foilsithe / Cruthaithe: (2008)

Asterisk: The Future of Telephony /
de réir: Meggelen, Jim Van
Foilsithe / Cruthaithe: (2007)

SpamAssassin /
de réir: Schwartz, Alan
Foilsithe / Cruthaithe: (2004)

802.11 Security /
de réir: Potter, Bruce
Foilsithe / Cruthaithe: (2003)

Informática para todos: el fascinante mundo de las computadoras
de réir: Laurie, Peter

Estructura básica del proceso de datos
de réir: Morales Pascual, José Luis

Estructuración y proceso de datos
de réir: Flores, Iván

Manual de los sistemas de información

Manual de los sistemas de información

Estructuración y proceso de datos
de réir: Flores, Iván

Oracle pl/sql: expert techniques for developers and database administrator /
de réir: Bulusu, Lakshaman
Foilsithe / Cruthaithe: (2008)

Thinking in C++. Practical programming

Data structures and algorithms using Java /
de réir: McAllister, William
Foilsithe / Cruthaithe: (2009)

Estructura básica del proceso de datos
de réir: Morales Pascual, José Luis

Estructura básica del proceso de datos
de réir: Morales Pascual, José Luis

Los microprocesadores Intel: Arquitectura, programación e interfaz de los procesadores 8086/8088, 80186/80188, 80286, 80386, 80486 pentium, pentium pro y pentium II /
de réir: Brey, Barry B.
Foilsithe / Cruthaithe: (2001)

Object-oriented programming

Information systems programming with Java
de réir: Staugaard, Andrew C.

Enciclopedia práctica de Informática

Fundamentos de programación utilizando turbo pascal, versiones 4.0, 5.0, 5.5 y 6.0
de réir: Boger, Thomas M.

The cuda handbook: a comprehensive guide to GPU programming /
de réir: Wilt, Nicholas
Foilsithe / Cruthaithe: (2013)

IT Governance based on COBIT 4.1: a management guide /
de réir: Brand, Koen
Foilsithe / Cruthaithe: (2010)

Computación: conceptos y aplicaciones a las computadoras personales
de réir: Sanders, Donald H.

Curso de informática jurídica
de réir: Losano, Mario G.