Semantics and logics of computation /

Semantics and logics of computation /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Pitts, A. M. (Andrew M.) (Επιμελητής έκδοσης), Dybjer, Peter (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Cambridge University Press 1997
Σειρά:	Publications of the Newton Institute 14
Θέματα:	Επιστήμη των υπολογιστών > Μαθηματικά

Παρόμοια τεκμήρια

Finite automata, formal logic, and circuit complexity /
ανά: Straubing, Howard, 1952-
Έκδοση: (1994)

Comprehensive mathematics for computer scientists /
ανά: Mazzola, Guerino
Έκδοση: (2006)

Topology via logic /
ανά: Vickers, Steven
Έκδοση: (1996)

Relations and graphs : discrete mathematics for computer scientists /
ανά: Schmidt, Gunther, 1939-
Έκδοση: (1993)

Computational science for the 21st century /
Έκδοση: (1997)

Learning discrete mathematics with ISETL
ανά: Baxter Hastings, Nancy
Έκδοση: (1989)

The geometry of information retrieval /
ανά: Van Rijsbergen, C. J., 1943-
Έκδοση: (2004)

Διακριτά μαθηματικά και εφαρμογές : μια "διακριτική" εισαγωγή με εφαρμογές /
ανά: Scheinerman, Edward R.
Έκδοση: (2023)

Διακριτά μαθηματικά : βασικές αρχές /
ανά: Hunter, David James, 1968-
Έκδοση: (2024)

Διακριτά μαθηματικά με εφαρμογές /
ανά: Epp, Susanna S.
Έκδοση: (2024)

Randomness and completeness in computational complexity /
ανά: Melkebeek, Dieter Van
Έκδοση: (2000)

Discrete mathematics and its applications /
ανά: Rosen, Kenneth H.
Έκδοση: (2013)

Discrete mathematics with algorithms /
ανά: Albertson, Michael O.
Έκδοση: (1988)

HERCMA 2003 : 6th Hellenic-European Conference Computer Mathematics and its Applications, September 25-27, 2003, Athens University of Economics and Business, Athens, Hellas /
Έκδοση: (2004)

Μαθηματικές δομές για την επιστήμη υπολογιστών : διακριτά μαθηματικά και εφαρμογές /
ανά: Gersting, Judith L.
Έκδοση: (2024)

Στοιχεία της πιθανοτικής μεθόδου : μαθηματικές θεμελιώσεις της επιστήμης των υπολογιστών /
ανά: Νικολετσέας, Σωτήρης Ε.

Διακριτά μαθηματικά και θεωρία αριθμών με εφαρμογές /
ανά: Ρασσιάς, Μιχαήλ Θ.
Έκδοση: (2022)

Computational partial differential equations : numerical methods and Diffpack programming /
ανά: Langtangen, Hans Petter
Έκδοση: (1999)

Discrete combinatorial mathematics : an applied introduction /
ανά: Grimaldi, Ralph P.
Έκδοση: (1989)

Grouping multidimensional data : recent advances in clustering /
Έκδοση: (2006)

Data streams : models and algorithms /
Έκδοση: (2007)

Διακριτά μαθηματικά με εφαρμογές /
Έκδοση: (2024)

Computational Methods in Biometric Authentication Statistical Methods for Performance Evaluation
ανά: Schuckers, Michael E
Έκδοση: (2010)

Mathematics for Computer Graphics
ανά: Vince, John (John A.)
Έκδοση: (2006)

System Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18β22, 2005, in Turin, Italy
ανά: Ceragioli, F.
Έκδοση: (2006)

Geometry Our Cultural Heritage
ανά: Holme, Audun
Έκδοση: (2010)

Handbook of Mathematical Models in Computer Vision
ανά: Paragios, Nikos
Έκδοση: (2006)

Current Trends in High Performance Computing and Its Applications Proceedings of the International Conference on High Performance Computing and Applications, August 8β10, 2004, Shanghai, P.R. China
ανά: Zhang, Wu
Έκδοση: (2005)

Adaptive Mesh Refinement - Theory and Applications Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3β5, 2003
ανά: Plewa, Tomasz
Έκδοση: (2005)

Αυτόματα γλώσσες γραμματικές /
ανά: Μποζαπαλίδης, Συμεών
Έκδοση: (2010)

Max-Plus Linear Stochastic Systems and Perturbation Analysis
ανά: Heidergott, Bernd
Έκδοση: (2006)

Discrete structures, logic and computability
ανά: Hein, James L.
Έκδοση: (2002)

Compiling natural semantics
ανά: Pettersson, Mikael
Έκδοση: (1999)

Logic for computer science
ανά: Reeves, Steve, κ.ά.
Έκδοση: (1990)

A Computational Differential Geometry Approach to Grid Generation
ανά: Liseikin, Vladimir D.
Έκδοση: (2007)

Geometry of Cuts and Metrics
ανά: Deza, Michel Marie
Έκδοση: (2010)

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
ανά: Nowak, Ivo
Έκδοση: (2005)

Grey Information Theory and Practical Applications
ανά: Liu, Sifeng
Έκδοση: (2006)

Mathematical logic for computer science
ανά: Mordechai, Ben-Ari
Έκδοση: (2001)

Handbook of Floating-Point Arithmetic
ανά: Muller, Jean-Michel
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών