Suchergebnisse für ""Joachim F. Schreiber""

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
48,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Joachim F. Schreiber
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage
2019
Utz Verlag
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Joachim F. Schreiber
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1996
Herbert Utz Verlag

Ähnliche Artikel

Automatische Synthese rekursiver Programme als Beweisverfahren
54,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in über 4 Wochen
Versandkostenfrei*
Susanne Biundo
Automatische Synthese rekursiver Programme als Beweisverfahren
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1992.
8. April 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55300-7
Calendars as Types
52,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Stephanie Spranger
Calendars as Types
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Data Modeling, Constraint Reasoning, and Type Checking with Calendars. Dissertationsschrift
2., unveränderte Auflage (Erstauflage 2006)
17. Mai 2022
Utz Verlag
Benutzerauthentisierung durch Analyse des Tippverhaltens mit Hilfe einer Kombination aus statistischen und neuronalen Ve
59,98 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Dieter A. Bartmann
Benutzerauthentisierung durch Analyse des Tippverhaltens mit Hilfe einer Kombination aus statistischen und neuronalen Ve
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2., unveränderte Auflage
2014
Utz Verlag
wp-Kalkül und relationale Spezifikation kommunizierender Systeme
49,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Thomas Gritzner
wp-Kalkül und relationale Spezifikation kommunizierender Systeme
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage (Erstauflage 1996)
2022
Utz Verlag
Objektzentrierte Visualisierung mehrdimensionaler Daten als Erweiterung konventioneller Datenbankmodelle
55,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Leo Pfefferer
Objektzentrierte Visualisierung mehrdimensionaler Daten als Erweiterung konventioneller Datenbankmodelle
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage
2019
Utz Verlag
An Engineering Method for Adaptive, Context-aware Web Applications
49,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Joachim Wolfgang Kaltz
An Engineering Method for Adaptive, Context-aware Web Applications
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage (Erstauflage 2006)
2022
Utz Verlag
Organisationsprinzipien zur Integration von geometrischer Modellierung, numerischer Simulation und Visualisierung
49,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Anton Christian Frank
Organisationsprinzipien zur Integration von geometrischer Modellierung, numerischer Simulation und Visualisierung
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage (Erstauflage 2000)
2022
Utz Verlag
Accounting and Payment Concepts for Fee-Based Scientific Digital Libraries
53,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Ricarda Weber
Accounting and Payment Concepts for Fee-Based Scientific Digital Libraries
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Dissertationsschrift
2., unveränderte Auflage (Erstauflage 2000)
2022
Utz Verlag
Fingerprint Verification with Microprocessor Security Tokens
44,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Robert Müller
Fingerprint Verification with Microprocessor Security Tokens
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2001
Utz Verlag
Quantitatives dynamisches Modell zur Simulation von Systembelastungen in Luftverkehrsabläufen
49,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Olaf Kreichgauer
Quantitatives dynamisches Modell zur Simulation von Systembelastungen in Luftverkehrsabläufen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Dissertationsschrift
3., unveränderte Auflage
2020
Utz Verlag


Ähnlichkeitssuche: Fact®Finder von OMIKRON