Ihr Upcase Shop

Theorie der logischen Programmierung
54,99 € *
ggf. zzgl. Versand

Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu anderen Programmiertechniken, und welche Rolle kommt der Theorie des logischen Programmierens zu? Dieses Buch macht den Leser mit den Grundlagen und Möglichkeiten der logischen Programmierung vertraut. Die ausführliche Darstellung mit Übungsaufgaben und ausgewählten Lösungen setzt keine speziellen Vorkenntnisse in formaler Logik voraus. In der Einleitung werden die wichtigsten Probleme und Resultate der Theorie anhand von Beispielen anschaulich vorgestellt. Es ist ein besonderes Anliegen des Buches, zu zeigen, wie höhere Konzepte der mathematischen Logik, z.B. vollständige Theorien, dreiwertige Logik oder saturierte Strukturen, in natürlicher und verständlicher Weise sinnvoll eingesetzt werden können. Auch dem neuen Thema der logischen Programmierung mit Randbedingungen (constraints) ist ein Kapitel gewidmet. In allen Teilen des Buches wird Wert gelegt auf klare Darstellung, mathematische Präzision und vollständige, nachvollziehbare Beweise. Auf übertriebene Systematik und Notation wird jedoch verzichtet, und Verallgemeinerungen werden erst dort eingeführt, wo sie gebraucht werden. Das Buch ist sowohl als vorbereitende und begleitende Lektüre zu Vorlesungen als auch zum Selbststudium geeignet.

Anbieter: Dodax
Stand: 28.01.2020
Zum Angebot
Richtig einsteigen: Access 2013 VBA-Programmierung
24,90 € *
ggf. zzgl. Versand

Richtig einsteigen: Access 2013 VBA-Programmierung Von den Grundlagen bis zur professionellen Entwicklung Wenn Sie fortgeschrittene Datenbanken entwickeln wollen, benötigen Sie oft mehr Funktionalität, als Access Ihnen standardmäßig bietet. Die Lösung des Problems ist die Programmierung mit VBA. Lorenz Hölscher zeigt Ihnen hier, wie Sie mit Hilfe von VBA Ihre Datenbanken erheblich verbessern können. Er führt Sie von Grundlagen wie dem Verständnis von Datentypen und Datenzugriffsarten bis hin zu fortgeschrittenen Themen wie der Klassenprogrammierung. Dabei hält er immer anschauliche Beispiele bereit, wie und warum Ihnen die jeweils vorgestellte Methodik hilft. Neben der reinen Datenbankprogrammierung vergisst er dabei aber auch nicht die ansprechende Gestaltung der Programmoberfläche, denn auch bei Datenbanken zählt der äußere Eindruck. Wer professionelle Datenbanken erstellen und die Programmierung mit VBA erlernen will, liegt mit diesem Buch genau richtig! Der Inhalt: - Die ersten VBA-Prozeduren erstellen - Datentypen und Variablen kennen lernen - Datentypsammlungen für strukturiertere Programmierung - Operatoren, Entscheidungen und Schleifen einsetzen - Fehler/Ausnahmen behandeln - Die besonderen Fähigkeiten von Klassen nutzen - Domänen-Methoden als einfache Datenermittlung - Recordsets für umfangreichen Datenzugriff - Formulare und Berichte mit Programmierung verbessern - Dynamische Unterformulare integrieren - Start-Einstellungen für den automatischen Aufruf von Prozeduren - Das Menüband anpassen - Beschleunigung Ihrer Datenbanken - Weitere Optimierungen und Verbesserungen

Anbieter: Dodax
Stand: 28.01.2020
Zum Angebot
PetSafe Microchip Katzenklappe - Tunnelverlänge...
Empfehlung
8,99 € *
zzgl. 3,99 € Versand

Die mikrochip-gesteuerte Katzenklappe aus dem Hause PetSafe bietet Ihrem Liebling den einfachen Zugang nach draußen oder drinnen, während fremden Katzen aus der Nachbarschaft und Tieren wie Marder oder Fuchs der Zutritt verwehrt wird. Die batteriebetriebene PetSafe Microchip Katzenklappe ist für maximal 40 Katzen bis zu 8 kg geeignet und erkennt jede einzelne, eindeutige Identifikations-Transponder-Nummer Ihrer Katze, ganz ohne Halsband! Die Programmierung der Kenn-Nummern ist einfach und schnell. Die vier manuellen Verschlussoptionen lassen sich kinderleicht mittels einem Drehknopf einstellen. So können Sie entscheiden, ob der Durchgang komplett verschlossen, in beide Richtungen oder nur in jeweils eine Richtung geöffnet ist. Dank der verstärkten, doppelten Verriegelung bleibt die robuste Katzenklappe sicher geschlossen. Der magnetische Windstopper und die Zugluftdichtung aus Dämmvlies vermindern den Luftzug. Die Katzenklappe kann in Türen oder Wände aus Holz, PVC, UPVC, Metall, Ziegel oder Glas bis zu einer Stärke von 5 cm montiert werden. Mit der PetSafe Microchip Katzenklappe schenken Sie Ihrer Katze die Bewegung und Freiheit, die sie verdient! PetSafe Microchip Katzenklappe im Überblick: Katzenklappe mit batteriebetriebener Mikrochip-Steuerung Für Katzen bis zu 8 kg mit einer Schulterbreite bis 14,6 cm – ideal auch für den Mehrkatzenhaushalt geeignet Hält fremde Katzen oder andere Tiere aus Ihrem Zuhause fern Leichte Programmierung: für bis zu 40 mit Mikrochip versehene Katzen Funktioniert mit europäischem Microchip (FDX-B 15-stellig) Alternativ auch mit PetSafe-Halsbandanhänger mit RFID Schlüssel nutzbar, falls das Haustier nicht gechipt ist Manuelle Vier-Wege-Steuerung: Komplett geschlossen - nur nach Innen - nur nach Außen - komplett geöffnet Einfache Handhabung: durch 1-Drehknopf-Bedienung Mit verstärkter Verriegelung: dank doppelt automatischem Riegelverschluss Zugluftabdichtung: Dämmvlies an der Schwingklappe reduziert den Luftzug Magnetischer...

Anbieter: zooplus.de
Stand: 28.01.2020
Zum Angebot
Design und Programmierung in Second Life
8,61 € *
ggf. zzgl. Versand

In Second Life ist es auch nicht anders als im richtigen Leben, es zählt der erste Eindruck. Gutes Aussehen gehört dazu, und das kostet auch dort bares Geld. Coole Skins und schicke Klamotten können Sie für viele Linden-Dollars kaufen - oder selbst programmieren und damit Geld verdienen. Das nötige Know-how zu Design, Programmierung und erfolgreichem Verkaufen in Second Life finden Sie in diesem Buch.Mit vielen Beispielskripten, Schritt-für-Schritt-Anleitungen und Abbildungen führt Sie der Autor - selbst SL-Profi der ersten Stunde - durch die Programmierung Ihres eigenen Avatars. Sie erstellen anhand konkreter Anleitungen sexy Skins und fesselnde Bewegungsanimationen. Auch Accessoires wie Schuhe oder Hüte kommen nicht zu kurz, genauso wenig wie die Programmierung von Möbeln oder Ausrüstungsgegenständen. All das können Sie selbst nutzen oder verkaufen, sogar zum Aufbau Ihres SL-Shops gibt dieses Buch nützliche Tipps.

Anbieter: Dodax AT
Stand: 28.01.2020
Zum Angebot
JURA GIGA 5 Piano Black Kaffeevollautomat
Aktuell
3.249,00 € *
ggf. zzgl. Versand

• Farbiges TFT-Display mit Rotray Switch • Programmierung aller Kaffeespezialitäten, 19 Produkte auf Knopfdruck • Ein bis zwei Milch-/Kaffeeprodukte auf Knopfdruck • Zwei elektrisch verstellbare Profi-Keramikscheibenmahlwerke • Automatische Spül- und Reinigungsprogramme

Anbieter: cyberport.de
Stand: 28.01.2020
Zum Angebot
Software Reliability Determination for Conventi...
91,89 € *
ggf. zzgl. Versand

Gebraucht - Sehr gut BI - Bibliotheksexemplar, gestempelt, Aufkleber, altersgemä&#223er Zustand, Versand BüchersendungSoftware Reliability Determination for Conventional and Logic Programming (Programmierung Komplexer Systeme / Programming Comp

Anbieter: Rakuten
Stand: 28.01.2020
Zum Angebot
5 l Trixie Futterautomat TX7 Katze
Unser Tipp
64,99 € *
ggf. zzgl. Versand

Mit diesem Futterautomat können Sie eine optimale und vor allem pünktliche Fütterung für Ihren Liebling einstellen – auch wenn Sie gerade nicht Zuhause sind. Sie können bis zu 5 verschiedene Mahlzeiten pro Tag festlegen. Zusätzlich ist die Portion je Mahlzeit individuell festlegbar. Und dabei ist die Programmierung ein Kinderspiel! Eine Spirale im Inneren verhindert ein Verklemmen der Kroketten. Mittels Sprachaufnahme-Funktion können Sie Ihre vertraute Stimme für Ihren Liebling aufnehmen. So locken Sie ihn zu dem Futter und gewöhnen ihn schrittweise an den Automaten. Trixie Futterautomat TX7 im Überblick: Trockenfutter-Spender für Hunde und Katzen Flexibilität: Futter kann mehrmals pro Tag in verschiedenen Portionen ausgegeben werden Manuelle Fütterung per Tastendruck möglich Transparenter Futter-Vorratsbehälter: zur einfachen Kontrolle des Füllstands Stabiler, abnehmbarer Deckel: leichtes Befüllen Schutz vor neugierigen Vierbeinern Spirale im Inneren: verhindert Verklemmen des Futters Sprachaufnahme-Funktion (10 Sekunden): machen Sie Ihr Tier auf das Futter aufmerksam Tastensperre: verhindert das versehentliche Verstellen durch Ihr Tier Einfache 24-Stunden Programmierung Mit LCD-Anzeige und USB-Kabel (USB-Adapter nicht im Lieferumfang enthalten) Anzahl Portionen: 5 pro Tag Futtermenge pro Portion: min. 25 ml / max. 500 ml Futterart: trocken Krokettengröße: bis 15 mm Stromversorgung: USB-Kabel, optional batteriebetrieben (4 × D-Mono-Batterien, USB-Adapter und Batterien nicht im Lieferumfang enthalten) Farbe: weiß Material: Kunststoff Maße: Gesamt: L 40 × B 26 × H 34 cm Napf: Ø 18 x H 4 cm USB-Kabel: L 143 cm Futterbehälter: 5 l Pflegehinweis: leicht zu reinigen, Futterschale ist spülmaschinengeeignet Lieferumfang: Futterautomat TX7, USB-Kabel, Bedienungsanleitung

Anbieter: zooplus.de
Stand: 28.01.2020
Zum Angebot
JURA E8 Piano White Kaffeevollautomat
Empfehlung
935,00 € *
ggf. zzgl. Versand

• Farbiges TFT-Display • Programmierung aller Kaffeespezialitäten • Milchschaumgetränke auf Knopfdruck • Kegelmahlwerk • Automatische Spül- und Reinigungsprogramme Nur bei autorisierten Fachhändlern wie Cyberport 25-monatige-Herstellergarantie!

Anbieter: cyberport.de
Stand: 28.01.2020
Zum Angebot
PI-Wasser Urlaubsset, Spül-Programmierung der P...
Aktuell
137,00 € *
zzgl. 4,90 € Versand

PI®-Wasser Urlaubsset für PI-Power-Compact Umkehrosmose-Systemprogrammierbares Set für die regelmäßige Spülung der gesamten PI®-Wasser-AnlageUrlaubsset zur Verhinderung der Verkeimung (mit allem notwendigen Anschlussmaterial). Die Verkeimung wird durch das regelmäßige automatisierte Spülen der Anlage während der Abwesenheit verhindert. Die Spülung erfolgt bei geschlossenem Abwasserhahn durch ein spezielles Spülventil. Das Urlaubsset besteht aus den folgenden Komponenten: Elektronische Zeitschaltuhr für Steckdosen Steckleiste mit Verlängerungskabel Magnetventil mit Kabel 1m weißer Schlauch 2x T-Stück mit Sicherungslip 1x Rückschlagventil

Anbieter: wasserstelle
Stand: 28.01.2020
Zum Angebot
Genetische Programmierung
49,00 € *
ggf. zzgl. Versand

Das Graphenfärbeproblem ist für die Wirtschaft und Informatik sehr bedeutend, da sich viele praxisnahe Problemstellungen, wie zum Beispiel das Frequency Assignment Problem, das Register Allocation Problem oder aber das (Time-)Scheduling Problem, darauf abbilden lassen. Aufgrund der hohen Komplexität (NP-vollständig) gibt es nur sehr wenige exakte Verfahren, die sich lediglich auf kleine Graphinstanzen anwenden lassen. Der Bedarf nach schnellen guten heuristischen Verfahren ist groß. Doch lassen sich die bereits bestehenden Verfahren kombinieren, um Synergieeffekte zu erhalten? Lassen sich neue Ansätze einbinden? Der Autor André Steinkamp gibt einen Überblick über die vorhandenen Verfahren für das Graphenfärbeproblem und entwickelt weitere Ansätze. Darauf aufbauend wird das Lernen einer Heuristik auf der Basis der Genetischen Programmierung spezifiziert und durchgeführt, sowie die Ergebnisse analysiert. Grundlage der Untersuchung bilden die Evolutionären Algorithmen. Das Buch richtet sich an alle Personen in der Forschung und Wirtschaft, die sich mit der Optimierung von heuristischen Verfahren für komplexe Problemstellungen beschäftigen.

Anbieter: Dodax
Stand: 28.01.2020
Zum Angebot
Formale Grundlagen der Programmierung
28,78 € *
ggf. zzgl. Versand

Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt.Der InhaltSyntax von Programmiersprachen - Semantik von Programmiersprachen - Die Grenzen des BerechenbarenDie ZielgruppeStudierende der Informatik im Bachelor-Studiengang an Fachhochschulen und UniversitätenDer AutorProf. Dr. Markus Nebel lehrt und forscht an der TU Kaiserslautern.Die Reihe"Studienbücher Informatik" wird herausgegeben von Prof. Dr. Walter Hower.

Anbieter: Dodax AT
Stand: 28.01.2020
Zum Angebot
Kurs in Logischer Programmierung
56,53 € *
ggf. zzgl. Versand

Das Buch ist eine Einführung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmierpraxis, sowie einige Anwendungen vorgestellt werden. Nach einer kurzen Begriffsbestimmung der logischen Programmierung wird das sogenannte reine Prolog als Programmiersprache anhand von Beispielen eingeführt. Die logischen Hintergründe werden dabei nur angedeutet. Anschließend werden die Erweiterungen vorgestellt, die Prolog zur vollen Programmiersprache machen. Es folgen etablierte Programmiertechniken, die Prolog wie jede andere Programmiersprache besitzt. Mit diesen Vorkenntnissen ist es nun leichter, die theoretischen Grundlagen der logischen Programmierung zu verstehen. Es wird gezeigt, wie Logik zur Wissensdarstellung und zur Ableitung von weiterem Wissen verwendet werden kann. Ferner wird der Weg von der Prädikatenlogik zur logischen Programmiersprache Prolog nachvollzogen. Den Schluß bilden Anwendungen aus den Gebieten wissensbasierte Systeme und Computerlinguistik.

Anbieter: Dodax AT
Stand: 28.01.2020
Zum Angebot

Stöbern Sie durch unser Sortiment


Alle Angebote

Eine Auswahl unserer Shops

Häufig gesucht