Skip to content
Universidad Nacional de Córdoba
U.N.C.
Catálogo colectivo
Advanced

El Catálogo Colectivo reúne los registros del material que posee cada una de las bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad. Se encuentra disponible para toda la comunidad académica: estudiantes, docentes, egresados e investigadores. Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material, a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario, independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra que dictes.

Fuentes de datos

Koha
  • Facultad de Ciencias Agropecuarias
  • Facultad de Ciencias Económicas
  • Facultad de Lenguas
  • Escuela de Nutrición (FCM)
  • Facultad de Arquitectura, Urbanismo y Diseño
  • Facultad de Artes
  • Facultad de Ciencias Exactas, Físicas y Naturales
  • Biblioteca Mayor
  • Observatorio Astronómico de Córdoba
  • Centros de Estudios Avanzados
  • Facultad de Matemáticas, Astronomía, Física y Computación
  • Facultad de Medicina
  • Facultad de Odontología
  • Facultad de Comunicación
  • Facultad de Filosofía y Humanidades y Facultad de Psicología
  • Escuela Superior de Comercio Manuel Belgrano
  • Colegio Nacional de Monserrat
  • Facultad de Ciencias Químicas
  • Facultad de Ciencias Sociales
  • Facultad de Derecho
  • José Aricó
  • Museo de Antropología
  • Escuela de Salud Pública y Ambiente de la FCM
Otros
  • Repositorio Digital Universitario
  • Revistas de la Universidad Nacional de Córdoba
  • Mathematical foundations of co...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Mathematical foundations of computer science /

Mathematical foundations of computer science /

Bibliographic Details
Corporate Author: International Symposium on Mathematical Foundations of Computer Science, MFCS Cracow, Poland
Other Authors: Penczek, Wojciech (ed.), Szatas, Andrzej, 1958- (ed.,)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1996.
Series:Lecture notes in computer science ; LNCS ; v. 1113 v. 1113
Subjects:
Computación mediante dispositivos abstractos.
Computation by abstract devices.
Lenguajes de programación.
Programming languages.
Matemática discreta.
Discrete mathematics.
Analisis de algoritmos y problemas de complejida.
Analysis of algorithms and problem complexity.
Lógica y significado de programas.
Logics and meanings of programs.
Lógica matemática.
Lenguajes formales.
Mathematical logic.
Formal languages.
Ingeniería de software.
Software engineering.
  • Holdings
  • Description
  • Similar Items
  • Staff View
Place a Title Level Request

Holdings details from
Copy Available Place a Hold

Similar Items

  • Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /
    Published: (2009)
  • Automata and computability.
    by: Kozen, Dexter C., 1951-
    Published: (1997)
  • TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
    Published: (1997)
  • Logic foundations of computer science /
    Published: (1997)
  • Semantics engineering with PLT Redex /
    by: Felleisen, Matthias
    Published: (2009)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs