Angebote zu "Higher-Order" (16 Treffer)

Higher-Order Perl
65,49 € *
ggf. zzgl. Versand

Higher-Order Perl

Anbieter: Allyouneed.com
Stand: 05.05.2017
Zum Angebot
Die Macht der Abstraktion
16,99 € *
ggf. zzgl. Versand

Die Macht der Abstraktion´´ ist eine Einführung in die Entwicklung von Programmen und die dazugehörigen formalen Grundlagen. Im Zentrum stehen Konstruktionsanleitungen, die die systematische Konstruktion von Programmen fördern, sowie Techniken zur Abstraktion, welche die Umsetzung der Konstruktionsanleitungen ermöglichen. In der Betonung systematischer Konstruktion unterscheidet sich dieses Buch drastisch von den meisten anderen Einführungen in die Programmierung. Die vermittelten Grundlagen und Techniken sind unabhängig von einer bestimmten Programmiersprache. Zur Illustration und zum Training der Programmierung dient Scheme, eine kleine und leicht erlernbare Programmiersprache, die es erlaubt, die Konzepte der Programmierung zu präsentieren, ohne Zeit mit der Konstruktvielfalt anderer Programmiersprachen zu verlieren. Entsprechend vermittelt dieses Buch fortgeschrittene Techniken. Scheme-Könner sind in der Lage, andere Programmiersprachen in kürzester Zeit zu erlernen.

Anbieter: Bol.de
Stand: 07.05.2017
Zum Angebot
Die Macht der Abstraktion
16,99 € *
ggf. zzgl. Versand

Die Macht der Abstraktion´´ ist eine Einführung in die Entwicklung von Programmen und die dazugehörigen formalen Grundlagen. Im Zentrum stehen Konstruktionsanleitungen, die die systematische Konstruktion von Programmen fördern, sowie Techniken zur Abstraktion, welche die Umsetzung der Konstruktionsanleitungen ermöglichen. In der Betonung systematischer Konstruktion unterscheidet sich dieses Buch drastisch von den meisten anderen Einführungen in die Programmierung. Die vermittelten Grundlagen und Techniken sind unabhängig von einer bestimmten Programmiersprache. Zur Illustration und zum Training der Programmierung dient Scheme, eine kleine und leicht erlernbare Programmiersprache, die es erlaubt, die Konzepte der Programmierung zu präsentieren, ohne Zeit mit der Konstruktvielfalt anderer Programmiersprachen zu verlieren. Entsprechend vermittelt dieses Buch fortgeschrittene Techniken. Scheme-Könner sind in der Lage, andere Programmiersprachen in kürzester Zeit zu erlernen.

Anbieter: Thalia.de
Stand: 19.04.2017
Zum Angebot
Die Macht der Abstraktion
16,99 € *
ggf. zzgl. Versand

Die Macht der Abstraktion´´ ist eine Einführung in die Entwicklung von Programmen und die dazugehörigen formalen Grundlagen. Im Zentrum stehen Konstruktionsanleitungen, die die systematische Konstruktion von Programmen fördern, sowie Techniken zur Abstraktion, welche die Umsetzung der Konstruktionsanleitungen ermöglichen. In der Betonung systematischer Konstruktion unterscheidet sich dieses Buch drastisch von den meisten anderen Einführungen in die Programmierung. Die vermittelten Grundlagen und Techniken sind unabhängig von einer bestimmten Programmiersprache. Zur Illustration und zum Training der Programmierung dient Scheme, eine kleine und leicht erlernbare Programmiersprache, die es erlaubt, die Konzepte der Programmierung zu präsentieren, ohne Zeit mit der Konstruktvielfalt anderer Programmiersprachen zu verlieren. Entsprechend vermittelt dieses Buch fortgeschrittene Techniken. Scheme-Könner sind in der Lage, andere Programmiersprachen in kürzester Zeit zu erlernen.

Anbieter: buch.de
Stand: 27.03.2017
Zum Angebot
Klaeren, Herbert;Sperber, Michael: Die Macht de...
47,99 € *
ggf. zzgl. Versand

Einführung in die Programmierung Teubner Leitfäden der Informatik. Auflage 2007

Anbieter: eBook.de
Stand: 05.03.2017
Zum Angebot
Herbert Klaeren;Michael Sperber: Die Macht der ...
36,99 € *
ggf. zzgl. Versand

Einführung in die Programmierung

Anbieter: eBook.de
Stand: 15.01.2017
Zum Angebot
Klaeren, Herbert;Sperber, Michael: Die Macht de...
47,99 € *
ggf. zzgl. Versand

Einführung in die Programmierung Teubner Leitfäden der Informatik. Auflage 2007

Anbieter: eBook.de
Stand: 05.03.2017
Zum Angebot
Handbook of Automated Reasoning
277,00 € *
ggf. zzgl. Versand

This second volume of ´´Handbook of Automated Reasoning´´ covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Anbieter: buch.de
Stand: 07.05.2017
Zum Angebot
Handbook of Automated Reasoning
321,99 € *
ggf. zzgl. Versand

This second volume of ´´Handbook of Automated Reasoning´´ covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Anbieter: Thalia.de
Stand: 19.04.2017
Zum Angebot
Handbook of Automated Reasoning
277,00 € *
ggf. zzgl. Versand

This second volume of ´´Handbook of Automated Reasoning´´ covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Anbieter: Bol.de
Stand: 18.02.2017
Zum Angebot