Site Breadcrumb
Thomas / Nielsen
Computer Science Logic
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Thomas / Nielsen
Computer Science Logic
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-64570-2 (Buch)
- Erscheinungstermin: 20.05.1998
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Coquand / Smith / Dybjer
Types for Proofs and Programs
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Coquand / Smith / Dybjer
Types for Proofs and Programs
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-41517-6 (Buch)
- Erscheinungstermin: 13.12.2000
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Felty / Gunter
Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Felty / Gunter
Theorem Proving in Higher Order Logics
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-63379-2 (Buch)
- Erscheinungstermin: 06.08.1997
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Matiyasevich / Nerode
Logical Foundations of Computer Science
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Matiyasevich / Nerode
Logical Foundations of Computer Science
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58140-6 (Buch)
- Erscheinungstermin: 08.06.1994
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Callaghan / Pollack / Luo
Types for Proofs and Programs
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Callaghan / Pollack / Luo
Types for Proofs and Programs
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-43287-6 (Buch)
- Erscheinungstermin: 20.02.2002
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Raymond / Yu / Wood
Automata Implementation
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Raymond / Yu / Wood
Automata Implementation
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-63174-3 (Buch)
- Erscheinungstermin: 18.06.1997
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Kutylowski / Wierzbicki / Pacholski
Mathematical Foundations of Computer Science 1999
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Kutylowski / Wierzbicki / Pacholski
Mathematical Foundations of Computer Science 1999
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-66408-6 (Buch)
- Erscheinungstermin: 18.08.1999
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Heering / Nipkow / Meinke
Higher-Order Algebra, Logic, and Term Rewriting
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Heering / Nipkow / Meinke
Higher-Order Algebra, Logic, and Term Rewriting
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58233-5 (Buch)
- Erscheinungstermin: 28.07.1994
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Börger / Meinke / Gurevich
Computer Science Logic
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Börger / Meinke / Gurevich
Computer Science Logic
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58277-9 (Buch)
- Erscheinungstermin: 20.07.1994
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Remy / Rusinowitch
Conditional Term Rewriting Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Remy / Rusinowitch
Conditional Term Rewriting Systems
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-56393-8 (Buch)
- Erscheinungstermin: 29.01.1993
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Betriebswirtschaft (1)
- Biowissenschaften (12)
- Chemie (3)
- Design (3)
- EDV | Informatik (263)
- Elektronik | Nachrichtentechnik (62)
- Mathematik (271)
- Medien- und Kommunikationswissenschaften (1)
- Medizin | Public Health | Pharmazie | Zahnmedizin (4)
- Pädagogik (1)
- Philosophie (5)
- Physik (2)
- Sonstige Technologien | Angewandte Technik (2)
- Sprachwissenschaft (3)
- Technik Allgemein (5)
- Wirtschaftswissenschaften (1)
- Wissenschaften (29)
Unterthema 2
- Akustik, Tontechnik (6)
- Algebra (189)
- Allgemeine Psychologie (20)
- Analytische Chemie (2)
- Angewandte Biologie (220)
- Angewandte Informatik (1435)
- Angewandte Optik (6)
- Angewandte Physik (7)
- Angewandte Sprachwissenschaft (2)
- Archivierung, Konservierung & Digitalisierung (2)
- Bankwirtschaft (6)
- Bauingenieurwesen (2)
- Bereichsspezifisches Management (122)
- Berufliche Bildung (1)
- Betriebssysteme (450)
- Betriebswirtschaft für Ingenieure (3)
- Bibliotheks- und Auskunftssdienste (3)
- Biochemie (nichtmedizinisch) (3)
- Bionik, Biomimetik (31)
- Biotechnologie (2)
- Biowissenschaften (159)
- Botanik (2)
- Business Application (278)
- Chemie Allgemein (5)
- Chirurgie (5)
- Computeranwendungen in der Technik (147)
- Computerkommunikation & -vernetzung (1521)
- Computerlinguistik, Korpuslinguistik (75)
- Daten / Datenbanken (2613)
- Design: Allgemeines & Theorie (1)
- Dialektologie (1)
- Dienstleistungssektor & Branchen (3)
- Digital Lifestyle (151)
- EDV & Informatik Allgemein (899)
- EDV Systeme, Internet und elektronische Ressourcen in Bibliotheken (26)
- Einzelne Sprachen & Sprachfamilien (2)
- Elektromagnetismus (3)
- Elektronik (901)
- Elektrotechnik (7)
- Energietechnik & Elektrotechnik (1)
- Energieverteilung, Stromnetze (1)
- Entwicklungsbiologie (1)
- Ergonomie, Barrierefreiheit (27)
- Ethnologie (1)
- Fahrzeugtechnik (8)
- Fertigungsindustrie (1)
- Fertigungsverfahren der Präzisionsgeräte (3)
- Finanzsektor & Finanzdienstleistungen: Allgemeines (4)
- Fotografie (2)
- Gebäudesicherheit (3)
- Gebäudetypen (1)
- Geodäsie, Kartographie, Fernerkundung (31)
- Geodäsie, Kartographie, GIS, Fernerkundung (33)
- Geometrie (50)
- Geophysik (3)
- GIS, Geoinformatik (33)
- Grammatik, Syntax, Morphologie (2)
- Haustechnik, Gebäudeautomatisierung (1)
- Humanbiologie (2)
- Industrie- und Technologiepolitik (1)
- Informatik (7221)
- Ingenieurwissenschaftliches Knowhow (2)
- Interface Design, Interaktionsdesign, Application Design (176)
- Internationale Beziehungen (3)
- Klimawandel, Globale Erwärmung (1)
- Klinische und Innere Medizin (37)
- Kommunikationswissenschaften (102)
- Konstruktionslehre und -technik (47)
- Konstruktiver Ingenieurbau, Baustatik (2)
- Kriminologie, Strafverfolgung (3)
- Kunst, allgemein (1)
- Kunstformen, Kunsthandwerk (3)
- Lasertechnologie, Holographie (1)
- Lebensmitteltechnologie und Getränketechnologie (1)
- Lehrerausbildung, Unterricht & Didaktik (204)
- Lexikologie, Lexikographie (1)
- Literatur für Manager (9)
- Literaturen sonstiger Sprachräume (1)
- Luft- und Raumfahrttechnik, Luftverkehr (1)
- Management (32)
- Maschinenbau (5)
- Mathematik Allgemein (271)
- Mathematik für Ingenieure (35)
- Mathematik Interdisziplinär (191)
- Mathematische Analysis (36)
- Mechanik (2)
- Medien-, Informations und Kommunikationswirtschaft (20)
- Medienrecht (17)
- Medienwissenschaften (2)
- Medizin, Gesundheitswesen (258)
- Medizinische Fachgebiete (54)
- Medizintechnik, Biomedizintechnik (154)
- Mess- und Automatisierungstechnik (31)
- Militärwesen (1)
- Modellierung & Simulation (59)
- Moderne Philosophische Disziplinen (3)
- Molekularbiologie (7)
- Musikgattungen (4)
- Musikwissenschaft Allgemein (14)
- Nachhaltigkeit, Grüne Technologien (5)
- Nachrichten- und Kommunikationstechnik (287)
- Nanotechnologie (2)
- Numerik und Wissenschaftliches Rechnen (345)
- Öffentlicher Dienst, Öffentlicher Sektor (4)
- Operations Research (160)
- Pädagogik (2)
- Philosophie der Mathematik, Philosophie der Physik (3)
- Philosophie der Technik (2)
- Philosophische Logik, Argumentationstheorie (11)
- Physik Allgemein (20)
- Physik, Chemie für Ingenieure (1)
- Physikalische Chemie (2)
- Physische Geographie und Topographie (1)
- Politische Gewalt (1)
- Politische Kultur (13)
- Politische Systeme (19)
- Produktdesign, Industriedesign (40)
- Produktionstechnik (14)
- Professionelle Anwendung (521)
- Programmierung | Softwareentwicklung (4001)
- Proteinforschung (1)
- Psycholinguistik, Neurolinguistik, Kognition (1)
- Psychologie / Allgemeines & Theorie (1)
- Psychologische Disziplinen (1)
- Quantenphysik (8)
- Rechtssoziologie, Rechtspsychologie, Rechtslinguistik (2)
- Rechtstheorie, Rechtsmethodik, Rechtsdogmatik, Rechtsprechungslehre (1)
- Regierungspolitik (7)
- Regional- & Raumplanung (4)
- Schienenfahrzeugtechnik und -gewerbe (2)
- Schulen, Schulleitung (1)
- Semantik & Pragmatik (3)
- Signalverarbeitung, Bildverarbeitung, Scanning (248)
- Soziale Arbeit/Sozialpädagogik (1)
- Soziale Gruppen/Soziale Themen (6)
- Soziologie Allgemein (2)
- Spezielle Soziologie (12)
- Sport (1)
- Sprachwissenschaften (8)
- Städtebau, Stadtplanung (Architektur) (1)
- Stochastik (65)
- Systematiken, Katalogisierung, Klassifikation, Bibliographisches Arbeiten (1)
- Systems Engineering (4)
- Technik: Allgemeines (16)
- Technische Informatik (3224)
- Technische Optik, Lasertechnologie (1)
- Technische Zuverlässigkeit, Sicherheitstechnik (23)
- Technologie: Soziale & Ethische Aspekte (1)
- Teildisziplinen der Pädagogik (2)
- Theaterwissenschaft (1)
- Tierkunde / Zoologie (3)
- Topologie (14)
- Tourismus & Reise (1)
- Transport- und Verkehrswirtschaft (1)
- Übersetzungswissenschaft, Translatologie, Dolmetschen (3)
- Umwelttechnik (1)
- Umwelttechnik (1)
- Unternehmensfinanzen (1)
- Unternehmensfinanzierung (1)
- Unternehmensforschung (19)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (81)
- Verkehrsingenieurwesen, Verkehrsplanung (2)
- Verkehrstechnologie: Allgemeines (1)
- Verwaltungsrecht (52)
- Volkswirtschaftslehre Allgemein (27)
- Vorklinische Medizin: Grundlagenfächer (7)
- Wirtschaftsinformatik, SAP, IT-Management (296)
- Wirtschaftsmathematik und -statistik (37)
- Wissenschaft und Gesellschaft | Kulturwissenschaften (7)
- Wissenschaften Interdisziplinär (26)
- Wissenschaften: Allgemeines (20)
- Wissenschaften: Forschung und Information (722)
- Wissenschaftstheorie, Wissenschaftsphilosophie (7)
- Zeichensprachen, Künstliche Sprachen (1)
- Zellbiologie (2)
Unterthema 3
- Algebraische Geometrie (2)
- Algebraische Strukturen, Gruppentheorie (2)
- Algorithmen & Datenstrukturen (43)
- Allgemeine Didaktik (1)
- Angewandte Mathematik, Mathematische Modelle (10)
- Automatische Datenerfassung, Datenanalyse (2)
- Berechenbarkeitstheorie, Komplexitätstheorie (7)
- Bildsignalverarbeitung (6)
- Bioinformatik (5)
- Bioinformatik (6)
- Biomathematik (2)
- Chemometrik, Chemoinformatik (1)
- Compiler (3)
- Computer-Aided Design (CAD) (3)
- Computeranwendungen in der Mathematik (7)
- Computeranwendungen in Geistes- und Sozialwissenschaften (3)
- Computeranwendungen in Wissenschaft & Technologie (3)
- Computersicherheit (7)
- Computersimulation & Modelle, 3-D Graphik (2)
- Data Mining (3)
- Data Warehouse (1)
- Datenanalyse, Datenverarbeitung (2)
- Datenkompression, Dokumentaustauschformate (10)
- Digitale Medien, Internet, Telekommunikation (1)
- Diskrete Mathematik, Kombinatorik (61)
- E-Learning (1)
- E-Learning, Bildungstechnologie (1)
- Elementare Algebra (12)
- Elementare Analysis und Allgemeine Begriffe (1)
- Externe Speicher & Peripheriegeräte (19)
- Funktionale, Logische, Parallele und Visuelle Programmierung (5)
- Grafikprogrammierung (15)
- Graphentheorie (4)
- Grundlagen der Mathematik (91)
- Hochleistungsrechnen, Supercomputer (11)
- Homologische Algebra (4)
- Humangenetik (1)
- Immunologie (1)
- Information Retrieval (2)
- Informationstheorie, Kodierungstheorie (23)
- Informationstheorie, Kodierungstheorie (7)
- Internet, E-Mail, VoIP (1)
- Kryptologie, Informationssicherheit (4)
- Künstliche Intelligenz (111)
- Kybernetik, Systemtheorie, Komplexe Systeme (4)
- Lineare und multilineare Algebra, Matrizentheorie (2)
- Logik, formale Sprachen, Automaten (173)
- Mathematik für Informatiker (101)
- Mathematische & Statistische Software (1)
- Mathematische Logik (148)
- Mathematische Statistik (2)
- Medizinische Mathematik & Informatik (2)
- Mensch-Maschine-Interaktion (2)
- Mikroprozessoren (3)
- Moderne Anwendungen der Analysis (1)
- Natürliche Sprachen & Maschinelle Übersetzung (5)
- Netzwerk-Hardware (21)
- Neurowissenschaften, Kognitionswissenschaft (1)
- Numerische Mathematik (14)
- Objektorientierte Programmierung (1)
- Optimierung (2)
- Philosophie der Mathematik (3)
- Programmier- und Skriptsprachen (31)
- Programmierung: Methoden und Allgemeines (83)
- Prozedurale Programmierung (20)
- Quantenchemie, Theoretische Chemie (2)
- Quantencomputer, DNA-Computing (5)
- Rechnerarchitektur (33)
- Robotik (57)
- Signalverarbeitung (2)
- Software Engineering (43)
- Spieltheorie (2)
- Systemtheorie (4)
- Systemverwaltung & Management (8)
- Theoretische Informatik (13)
- Theoretische Physik, Mathematische Physik, Computerphysik (2)
- Unternehmenssoftware (1)
- Wahrscheinlichkeitsrechnung (2)
- Windows Betriebssysteme (10)
- Zahlentheorie (3)
- Zeichen- und Zahlendarstellungen (16)