Site Breadcrumb
Kaufmann / Paulson
Interactive Theorem Proving
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Kaufmann / Paulson
Interactive Theorem Proving
- Verlag: Springer
- ISBN: 978-3-642-14051-8 (Buch)
- Erscheinungstermin: 30.06.2010
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 1
Unterthema 2
Unterthema 3
- Algebraische Geometrie (20)
- Algebraische Strukturen, Gruppentheorie (7)
- Algebraische Topologie (4)
- Algorithmen & Datenstrukturen (634)
- Allgemeine Didaktik (5)
- Anatomie (3)
- Angewandte Mathematik, Mathematische Modelle (98)
- Arbeitsplatz, Arbeitsschutz, Gefahrstoffschutz (1)
- Automatische Datenerfassung, Datenanalyse (59)
- Bauelemente, Schaltkreise (11)
- Berechenbarkeitstheorie, Komplexitätstheorie (77)
- Besondere Themen und Arten der Fotografie (2)
- Big Data (20)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (51)
- Bildsignalverarbeitung (964)
- Binnenhandel (1)
- Bioinformatik (202)
- Bioinformatik (216)
- Biologische Psychologie, Neuropsychologie (8)
- Biomathematik (11)
- Biomedizin, Medizinische Forschung, Klinische Studien (5)
- Chemometrik, Chemoinformatik (5)
- Client-Server Netzwerke (1)
- Cloud-Computing, Grid-Computing (122)
- Compiler (96)
- Computer-Aided Design (CAD) (89)
- Computeralgebra (28)
- Computeranwendungen in der Mathematik (80)
- Computeranwendungen in Geistes- und Sozialwissenschaften (255)
- Computeranwendungen in Wissenschaft & Technologie (173)
- Computergestützte Fertigung (3)
- Computersicherheit (966)
- Computersimulation & Modelle, 3-D Graphik (140)
- Computerspiele, Internetspiele (3)
- Data Mining (470)
- Data Warehouse (132)
- Datenanalyse, Datenverarbeitung (21)
- Datenbankdesign & Datenbanktheorie (14)
- Datenbanken & das Web (29)
- Datenbankprogrammierung (24)
- Datenkompression, Dokumentaustauschformate (628)
- Desktop-Publishing, E-Publishing (5)
- Dienstprogramme (4)
- Differentialgeometrie (4)
- Differentialrechnungen und -gleichungen (1)
- Digitale Animation (37)
- Digitale Fotographie (2)
- Digitale Medien, Internet, Telekommunikation (102)
- Digitale Musik (1)
- Digitales Video (4)
- Diskrete Mathematik, Kombinatorik (61)
- DNA und Transgene Organismen (5)
- Drahtlostechnologie (79)
- E-Commerce, E-Business, E-Marketing (98)
- E-Learning (121)
- E-Learning, Bildungstechnologie (201)
- Echtzeitbetriebssysteme (3)
- EDV & Informatik: Ausbildung & Berufe (2)
- EDV & Informatik: Geschichte (5)
- Eingebettete Systeme (27)
- Einkauf, Logistik, Supply-Chain-Management (7)
- Elektrizität, Elektrodynamik (2)
- Elektronische Baugruppen, Elektronische Materialien (2)
- Elektronische Musik (3)
- Elektronischer Datenaustausch (EDI) (1)
- Elementare Algebra (124)
- Elementare Analysis und Allgemeine Begriffe (2)
- Elementare Geometrie: Allgemeines (8)
- Elementare Stochastik (5)
- Empirische Sozialforschung, Statistik (1)
- Entscheidungsfindung (4)
- Entwicklungspsychologie (1)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (13)
- Erwachsenenbildung, lebenslanges Lernen (1)
- Ethnographie (1)
- Euklidische Geometrie (1)
- Evolutionsbiologie (14)
- Externe Speicher & Peripheriegeräte (788)
- Fernmeldetechnik (66)
- Fernsehtechnik (3)
- Finanz- und Versicherungsmathematik (2)
- Finanzierung, Investition, Leasing (1)
- Forensik, Rechtsmedizin, Gerichtsmedizin (2)
- Forschung & Entwicklung (F&E), Innovation (3)
- Forschungsmethodik, Wissenschaftliche Ausstattung (3)
- Fotobeabeitung und Bildbearbeitung (35)
- Freizeitsoziologie, Konsumsoziologie, Alltagssoziologie, Populärkultur (1)
- Funktechnik (47)
- Funktionale, Logische, Parallele und Visuelle Programmierung (240)
- Funktionentheorie, Komplexe Analysis (1)
- Genetik und Genomik (nichtmedizinisch) (4)
- Geophysik (3)
- Geriatrie, Gerontologie (1)
- Gesundheits- und Sicherheitstechnische Aspekte der EDV (3)
- Gesundheitssystem, Gesundheitswesen (8)
- Grafikprogrammierung (826)
- Graphentheorie (89)
- Grid-Computing & Paralleles Rechnen (139)
- Großrechner & Minicomputer (1)
- Groupware (24)
- Grundlagen der Mathematik (91)
- Gynäkologie, Geburtshilfe (1)
- Hardware: Grundlagen und Allgemeines (145)
- Hochleistungsrechnen, Supercomputer (206)
- Homologische Algebra (34)
- Humangenetik (1)
- Immunologie (1)
- Industrielle Biotechnologie (1)
- Industrielle Qualitätskontrolle (3)
- Information Retrieval (168)
- Informationstechnik, IT-Industrie (20)
- Informationstheorie, Kodierungstheorie (364)
- Informationstheorie, Kodierungstheorie (537)
- Innen-, Bildungs- und Bevölkerungspolitik (1)
- Innere Medizin (5)
- Installations-, Aktions-, Computer- und Videokunst (3)
- Interaktionsdesign für Computerspiele (10)
- Internet, E-Mail, Social Media (143)
- Internet, E-Mail, VoIP (100)
- Invalidität, Krankheit und Abhängigkeit: Soziale Aspekte (5)
- Iranische Literatur (1)
- Kardiologie, Angiologie, Phlebologie (8)
- Kognitionspsychologie (11)
- Krankenhausmanagement, Praxismanagement (2)
- Kryptologie, Informationssicherheit (416)
- Kultur-, Wissenschafts- & Technologiepolitik (1)
- Kultursoziologie (2)
- Kulturwissenschaften (3)
- Künstliche Intelligenz (4107)
- Kybernetik, Systemtheorie, Komplexe Systeme (163)
- Lineare und multilineare Algebra, Matrizentheorie (8)
- Logik, formale Sprachen, Automaten (2203)
- Luftfahrtindustrie (1)
- Marketing (2)
- Mathematik für Informatiker (802)
- Mathematische & Statistische Software (12)
- Mathematische Logik (148)
- Mathematische Modellierung (1)
- Mathematische Statistik (44)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (4)
- Medien & Gesellschaft, Medienwirkungsforschung (2)
- Mediensoziologie (4)
- Medizinische Mathematik & Informatik (143)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (155)
- Mengentheoretische Topologie (9)
- Mensch-Maschine-Interaktion (1066)
- Microsoft Programmierung (3)
- Mikroökonomie (3)
- Mikroprozessoren (31)
- Mobilfunk (2)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (70)
- Moderne Anwendungen der Analysis (13)
- Molekulare Medizin, Zellbiologie (2)
- Multimedia (36)
- Museumskunde, Materielle Kultur, Erinnerungskultur (6)
- Musikalische Akustik, Tontechnik, Musikaufnahme (7)
- Musiktheorie, Musikästhetik, Kompositionslehre (6)
- Nachrichtendienste, Geheimdienste (3)
- Nationale und Internationale Sicherheits- und Verteidigungspolitik (1)
- Natürliche Sprachen & Maschinelle Übersetzung (118)
- Naturwissenschaften, Technik, Medizin (6)
- Netzwerk-Hardware (1217)
- Netzwerkmanagement (17)
- Netzwerkprotokolle (19)
- Netzwerksicherheit (315)
- Neurobiologie, Verhaltensbiologie (6)
- Neurochirurgie (2)
- Neurologie, Klinische Neurowissenschaft (20)
- Neurowissenschaften, Kognitionswissenschaft (18)
- Nicht-Euklidische Geometrie (2)
- NoSQL, Objektorientierte Datenbanken (3)
- Numerische Mathematik (188)
- Objektorientierte Programmierung (86)
- Öffentliche Gebäude, Gewerbliche Bauten (1)
- Office Management, Büroorganisation (1)
- Ökologie (2)
- Ökonometrie (21)
- Onkologie, Krebsforschung (1)
- Optik (2)
- Optimierung (15)
- Optische Nachrichtentechnik (2)
- Pathologie, Cytopathologie, Histopathologie (1)
- Personal Computer (20)
- Pflanzenreproduktion, Verbreitung, Genetik (2)
- Philosophie der Mathematik (3)
- Philosophie der Technik (2)
- Philosophie des Geistes, Neurophilosophie (1)
- Physiologie (1)
- Physische Anthropologie (1)
- Politische Führung (1)
- Politische Kommunikation und Partizipation (13)
- Produktionsmanagement, Qualitätskontrolle (15)
- Programmier- und Skriptsprachen (436)
- Programmierung: Methoden und Allgemeines (1353)
- Projektmanagement (1)
- Prozedurale Programmierung (559)
- Psychologische Theorie, Psychoanalyse (1)
- Public Health, Gesundheitsmanagement, Gesundheitsökonomie, Gesundheitspolitik (1)
- Qualitätsmanagement, Qualitätssicherung (QS), Total Quality Management (TQM) (1)
- Quantenchemie, Theoretische Chemie (2)
- Quantencomputer, DNA-Computing (26)
- Quantenoptik, Nichtlineare Optik, Laserphysik (3)
- Rechnerarchitektur (331)
- Rechtliche Aspekte der EDV (29)
- Regelungstechnik (6)
- Relationale Datenbanken (1)
- Risikobewertung, Risikotheorie (3)
- Risikomanagement (4)
- Robotik (733)
- Schaltungsentwurf (12)
- Schulleitung, Schulentwicklung (1)
- Sensorik (13)
- Sicherheitsgewerbe (2)
- Signalverarbeitung (57)
- Social Media, Semantic Web, Web 2.0 (118)
- Software Engineering (1965)
- Software für Projektmanagement (1)
- Sonderpädagogik, Heilpädagogik (1)
- Soziale Dienste, Soziale Organisationen (1)
- Soziale Gruppen & Klassen (1)
- Soziale und ethische Aspekte der EDV (337)
- Spiele-Programmierung, Rendering, Animation (165)
- Spieltheorie (45)
- Sport: Politik, Ökonomie, Ökologie (1)
- Staats- und Regierungsformen, Staatslehre (1)
- Stadt- und Regionalsoziologie (2)
- Stadtplanung, Kommunale Planung (4)
- Statistische Physik, Dynamische Systeme (4)
- Stochastische Prozesse (7)
- Systembiologie (1)
- Systemtheorie (161)
- Systemverwaltung & Management (1055)
- Tabellenkalkulation (5)
- Teilchenphysik (1)
- Telekommunikationsrecht, IT-Recht, Internetrecht (17)
- Telekommunikationswirtschaft, Post (1)
- Telemedizin, e-Health (12)
- Terrorismus, Religiöser Fundamentalismus (1)
- Textverarbeitung (2)
- Theoretische Informatik (372)
- Theoretische Linguistik (4)
- Theoretische Physik, Mathematische Physik, Computerphysik (20)
- Tierethologie (1)
- Tiergenetik, Reproduktion (2)
- Tierökologie (1)
- Tierphysiologie (1)
- Tonsignalverarbeitung (25)
- Tourismus & Reise: Soziologie, Psychologie, Kultur (1)
- Tourismuswirtschaft, Gastgewerbe (1)
- Überwachungstechnik (10)
- Unternehmensführung (3)
- Unternehmenssoftware (236)
- Variationsrechnung (10)
- Verteilte Datenbanken (7)
- Verteilte Systeme (Netzwerke) (62)
- Vertrieb (2)
- Verwaltungsorganisation und -politik, Verwaltungslehre (4)
- Verwaltungspraxis (51)
- Verwaltungswissenschaft, Öffentliche Verwaltung (13)
- Virtuelle Maschinen, Virtualisierung (1)
- Virtuelle Realität, Erweiterte Realität (45)
- Wahlen und Volksabstimmungen (2)
- Wahrscheinlichkeitsrechnung (32)
- Wartung & Reparatur (248)
- Web Graphik & Design, Web-Publishing (4)
- Web Services (27)
- Webprogrammierung (44)
- Windows Betriebssysteme (405)
- Wirtschafts- und Sozialwissenschaften (3)
- Wirtschafts-, Arbeits- und Organisationspsychologie (1)
- Wirtschaftsinformatik (80)
- Wirtschaftspädagogik, Berufspädagogik (1)
- Wirtschaftstheorie, Wirtschaftsphilosophie (2)
- Wissenschaften: Theorie, Epistemologie, Methodik (7)
- Wissensmanagement (7)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (4)
- Zahlentheorie (19)
- Zeichen- und Zahlendarstellungen (752)
- Zentralregierung (3)
- Zuverlässigkeitstechnik (7)