Mathematical structures for computer science

Mathematical structures for computer science

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Gersting, Judith L.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York W.H. Freeman and Company 1999
Έκδοση:	4th edition
Θέματα:	Επιστήμη των υπολογιστών > Μαθηματικά Λογική

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

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

Computer science mathematics
ανά: Spencer, Donald D.
Έκδοση: (1976)

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

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

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

Discrete structures : an introduction to mathematics for computer science /
ανά: Norris, Fletcher R., 1934-
Έκδοση: (1985)

Discrete mathematics for computer science
ανά: Haggard, Gary
Έκδοση: (2006)

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Έκδοση: (1997)

Discrete mathematics for computing
ανά: Haggarty, Rod
Έκδοση: (2002)

Discrete mathematics
ανά: Hein, James L.
Έκδοση: (2003)

Concrete mathematics : a foundation for computer science /
ανά: Graham, Ronald L., 1935-
Έκδοση: (1994)

Logic and discrete mathematics a computer science perspective
ανά: Grassmann, Winfried Karl
Έκδοση: (1996)

Discrete mathematics : elementary and beyond /
ανά: Lovasz, Laszlo 1948-
Έκδοση: (2003)

Category theory and computer science proceedings...[of] 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997
Έκδοση: (1997)

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

A beginners guide to discrete mathematics
ανά: Wallis, W. D.
Έκδοση: (2003)

Basic caterogy theory for computer scientistis
ανά: Pierce, Benjamin C.
Έκδοση: (1991)

Discrete mathematics mathematical reasoning and proof with puzzles, patterns and games
ανά: Ensley, Douglas E.
Έκδοση: (2006)

Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing Chicago, Illinois, May 2-4, 1988
Έκδοση: (1988)

Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing Providence, Rhode Island, May 6-8, 1985
Έκδοση: (1985)

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Έκδοση: (1992)

Combinatorics for computer sciences
ανά: Williamson, S. Gill
Έκδοση: (2002)

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

A first course in discrete mathematics /
ανά: Anderson, Ian
Έκδοση: (2001)

Handbook of logic in computer science /
Έκδοση: (1992)

Perspectives on enclosure methods
Έκδοση: (2001)

Proceedings of the Nineteenth Annual ACM Symposium New York City, May 25-27, 1987
Έκδοση: (1987)

Proceedings of the Twenty First Annual ACM Symposium Seattle, Washington May 15-17, 1989
Έκδοση: (1989)

Διακριτά μαθηματικά
ανά: Παναγιωτόπουλος, Αντώνιος Χ.
Έκδοση: (1999)

Επίλυση προβλημάτων στα διακριτά μαθηματικά
ανά: Χριστόπουλος, Κωνσταντίνος

Διακριτά μαθηματικά και εφαρμογές /
ανά: Rosen, Kenneth H.
Έκδοση: (2015)

Διακριτά μαθηματικά : Τα μαθηματικά της επιστήμης των υπολογιστών /
ανά: Κυρούσης, Λευτέρης Μ., κ.ά.
Έκδοση: (1992)

Διακριτά μαθηματικά : τα μαθηματικά της επιστήμης των υπολογιστών /
ανά: Κυρούσης, Λευτέρης Μ.
Έκδοση: (2008)

Διακριτά μαθηματικά : τα μαθηματικά της επιστήμης των υπολογιστών /
ανά: Κυρούσης, Λευτέρης Μ.
Έκδοση: (2003)

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

Διακριτά μαθηματικά και εφαρμογές τους /
ανά: Rosen, Kenneth H.
Έκδοση: (2019)

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

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

Στοιχεία διακριτών μαθηματικών /
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (1999)

Στοιχεία διακριτών μαθηματικών
ανά: Liu, C. L. 1934- (Chung Laung)
Έκδοση: (2009)

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