History


Help on query formulation
first | previous | 1 21 41 61 | next | last

Result 1 to 20 of 77 total

Tie knots. (Krawattenknoten.) (German)
Wurzel 50, No. 1, 12-18 (2016).
Classification: H70 K20 N70 M80
1
Some philosophical and logical remarks on the concept of truth (in mathematics). (Einige philosophische und logische Bemerkungen zum Begriff der Wahrheit (in der Mathematik).) (German)
Reinhold, Simone (ed.) et al., Mathematische Studien im Spannungsfeld von Geschichte, Philosophie \& Didaktik der Mathematik. Festschrift für Thomas Bedürftig. Münster: WTM-Verlag (ISBN 978-3-942197-46-5/pbk). Festschriften der Mathematikdidaktik 2, 101-114 (2015).
Classification: E20 E30 A30
2
Alan Turing. Mathematician and father of computer science. (Alan Turing. Matematico e padre dell’informatica.) (Italian. English summary)
Boll. Docenti Mat. 65, 9-18 (2012).
Classification: A30 P20
3
Discrete mathematics. (English)
New Delhi: Narosa Publishing House; Oxford: Alpha Science International (ISBN 978-81-8487-135-7/pbk; 978-1-84265-695-2/pbk). xiii, 432~p., not consecutively paged. (2012).
Classification: N75 K35 K25 P25 H55 Reviewer: Werner Kleinert (Berlin)
4
Automata theory and logic. (Automatentheorie und Logik.) (German)
eXamen.press. Berlin: Springer (ISBN 978-3-642-18089-7/pbk; 978-3-642-18090-3/ebook). x, 240~p. (2011).
Classification: P25 E35 Reviewer: Klaus D. Kiermeier (Berlin)
5
Discrete mathematics. (English)
Oxford Higher Education. Oxford: Oxford University Press (ISBN 978-0-19-806543-2/pbk). xvi, 567~p. (2011).
Classification: N70 Reviewer: Ulrich Knauer (Oldenburg)
6
Grammars and finite-state automata. (English)
Math. Compet. 23, No. 2, 46-54 (2011).
Classification: B60 D50 M50 P20
7
Modelling techniques for knowledge management. (Modellierungstechniken für das Wissensmanagement.) (German)
Log In 30, No. 166-167, 28-37 (2010).
Classification: P20 Q50 M10 D30
8
An excursion into compiler building: Syntactic analysis and calculation of arithmetic terms. (Ein Ausflug in den Compilerbau: Syntaktische Analyse und Berechnung arithmetischer Ausdrücke.) (German)
Log In 29, No. 156, 59-64 (2009).
Classification: P20 P30 P40 P50
9
Implementation of a function plotter. (Implementation eines Funktionenplotters.) (German)
Greefrath, Gilbert (ed.) et al., Materialien für einen projektorientierten Mathematik- und Informatikunterricht. Band 5. Unterrichtsmaterialien und Projektideen von der Schülerakademie Mathematik und Informatik Münster 2007. Hildesheim: Franzbecker (ISBN 978-3-88120-478-1/pbk). Materialien SMIMS, 62-76 (2008).
Classification: Q54 P24 P54 M54
10
A “curriculum-hard” problem: Theoretical computer science in education. (Ein “LP-schweres Problem”: Theoretische Informatik im Unterricht.) (German)
Log In, No. 150-151, 69-73 (2008).
11
Mathematics for the computer scientist. Discrete mathematics. Course and solved problems. (Outils mathématiques pour l’informaticien. Mathématiques discrètes. Cours et exercices corrigés.) (French)
De Boeck Université, Bruxelles (ISBN 2-8041-4963-3). 448 p. (2005).
Classification: N70 E60 H50 K30 H40 P20
12
The Brain. From Fuzzy arithmetic to quantum computing. (English)
Springer, Berlin (ISBN 3-540-21858-0). 234 p. (2004).
Classification: M60 E70 F10
13
Theories of computability. (English)
Cambridge: Cambridge University Press. ix, 251 p. (1997).
Classification: P25 E35 Reviewer: U.Schöning (Ulm)
14
Mathematics, computer science and education. Vol. 1: Derive, Maple and Mathematica. Mathematiques, informatique et enseignement. Livre 1: Derive, Maple et Mathematica. (French)
Argenteuil: Editions du Choix. 1993. 328 p. [ISBN 2-90-9028-1]3-5
Classification: N80 P20 R20
15
Basic course practical informatics. Vol. 4: Automata, languages, compatibility. Grundkurs Angewandte Informatik. Bd. 4: Automaten, Sprachen, Berechenbarkeit. (German)
Stuttgart: Teubner. 1992. 267 p. Ser. Title: Leitfaeden der angewandten Informatik. [ISBN 3-519-02937-5]
Classification: P25
16
The flowering of string rewriting systems. Das Aufbluehen von String-Rewriting-Systemen. (English)
Coll. Math. J. (May 1992) v. 23(3) p. 225-236.
Classification: R60 P20
17
Concise theoretical computer science. Theoretische Informatik kurz gefasst. (German)
Mannheim: BI-Wissenschaftsverlag. 1992. 188 p. [ISBN 3-411-15641-4]
Classification: P25
18
Mathematical fundamentals of computer science. Mathematische Grundlagen der Informatik. (German)
Berlin: Akademie-Verlag. 1992. 294 p. Ser. Title: Informatik. v. 6. CODEN: IIDWAN [ISBN 3-05-501342-5] [ISSN 0019-9915]
Classification: P20
19
Fundamentals of information. Grundlagen der Information. (German)
Berlin: Akademie Verlag. 1991. 643 p. With 253 figs. and 173 tabs. Ser. Title: Informatik - Kybernetik - Rechentechnik. v. 32. [ISBN 3-05-500779-4] [ISSN 0232-1351]
Classification: P20 P10 R30 A10
20
first | previous | 1 21 41 61 | next | last

Result 1 to 20 of 77 total

Valid XHTML 1.0 Transitional Valid CSS!