Finite automata, formal logic, and circuit complexity /

Finite automata, formal logic, and circuit complexity /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Straubing, Howard, 1952- (συγγραφέας.)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston : Birkhäuser, 1994.
Θέματα:	Επιστήμη των υπολογιστών > Μαθηματικά

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Finite automata
ανά: Lawson, Mark V.
Έκδοση: (2004)

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

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

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

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

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

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

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

Formal Models of Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007)

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

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

Bounded arithmetic, propositional logic, and complexity theory /
ανά: Krajicek, Jan
Έκδοση: (1995)

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)

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

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

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

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

Semantics and logics of computation
Έκδοση: (1997)

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

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

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

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

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

Complexity theory retrospective in honor of Juris Hartmanis on the occasion of his sixtieth birthday, July 5, 1988
ανά: Selman, Alan L.
Έκδοση: (1990)

Algebraic Geometry and Geometric Modeling
ανά: Elkadi, Mohamed
Έκδοση: (2006)

Complex Intelligent Systems and Their Applications
ανά: Xhafa, Fatos
Έκδοση: (2010)

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

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