Αποτελέσματα αναζήτησης

1

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculu...

Έκδοση 2005

Θέματα: “...Applications of Mathematics Discrete Mathematics in Computer Science Mathematical Logic and Formal...”

Ηλ. βιβλίο

2

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) /

ανά Mazzola, Guerino., Milmeister, Gérard., Weissmann, Jody.
Έκδοση 2006

Θέματα: “...Applications of Mathematics Discrete Mathematics in Computer Science Mathematical Logic and Formal...”

Ηλ. βιβλίο

3

Discrete Mathematics Using a Computer

ανά O'Donnell, John., Hall, Cordelia., Page, Rex.
Έκδοση 2006

Θέματα: “...Algorithm Analysis and Problem Complexity Discrete Mathematics in Computer Science Mathematical...”

Ηλ. βιβλίο

4

Logic in computer science : modelling and reasoning about systems /

ανά Huth, Michael, 1962-, Ryan, Mark, 1962-
Έκδοση 2005

Θέματα: “...logic computer science computer logic logic programming...”

Βιβλίο

5

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21-22, 2002 Revised Papers /

Έκδοση 2006

Θέματα: “...Computer Science, general Logics and Meanings of Programs Programming Languages, Compilers...”

Ηλ. βιβλίο

6

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /

Έκδοση 2007

Θέματα: “... in Computer Science Mathematical Logic and Formal Languages...”

Ηλ. βιβλίο

7

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings /

Έκδοση 2005

Θέματα: “... in Computer Science Mathematical Logic and Formal Languages...”

Ηλ. βιβλίο

8

Ernst Zermelo An Approach to His Life and Work /

ανά Ebbinghaus, Heinz-Dieter.
Έκδοση 2007

Θέματα: “...Applications of Mathematics History of Mathematics History of Science Mathematical Logic and Formal...”

Ηλ. βιβλίο

9

Handbook of Philosophical Logic

Έκδοση 2007

Θέματα: “...Linguistics Science_xLogic design....”

Ηλ. βιβλίο

10

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /

Έκδοση 2006

Θέματα: “...Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Mathematical...”

Ηλ. βιβλίο

11

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /

Έκδοση 2007

Θέματα: “... in Computer Science Mathematical Logic and Formal Languages Pattern Recognition...”

Ηλ. βιβλίο

12

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers /

Έκδοση 2006

Θέματα: “... in Computer Science Mathematical Logic and Formal Languages Pattern Recognition...”

Ηλ. βιβλίο

13

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy /

Έκδοση 2006

Θέματα: “...Artificial Intelligence (incl. Robotics) Information Storage and Retrieval Library Science...”

Ηλ. βιβλίο

14

Advances in Geometric Modeling and Processing 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings /

Έκδοση 2006

Θέματα: “...Computer Imaging, Vision, Pattern Recognition and Graphics Discrete Mathematics in Computer Science...”

Ηλ. βιβλίο

15

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /

Έκδοση 2007

Θέματα: “... in Computer Science Mathematical Logic and Formal Languages Order, Lattices, Ordered Algebraic Structures...”

Ηλ. βιβλίο

16

Modeling and Using Context : 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings /

Έκδοση 2007

Θέματα: “.... in Social and Behavioral Sciences Mathematical Logic and Formal Languages...”

Ηλ. βιβλίο

17

Modeling and Using Context 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings /

Έκδοση 2005

Θέματα: “.... in Social and Behavioral Sciences Mathematical Logic and Formal Languages...”

Ηλ. βιβλίο

18

Modeling and Retrieval of Context Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers /

Έκδοση 2006

Θέματα: “.... in Social and Behavioral Sciences Mathematical Logic and Formal Languages...”

Ηλ. βιβλίο

19

Znanost in logično mišljenje : razumevanje logičnih zmot pri otrocih /

ανά Vezjak, Boris.

“...Science and logical thinking...”

Κεφάλαιο βιβλίου

20

Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings /

Έκδοση 2006

Θέματα: “... Appl. in Social and Behavioral Sciences Mathematical Logic and Formal Languages...”

Ηλ. βιβλίο

Περιορισμός αναζήτησης