Site Breadcrumb
Miller / Hawblitzel
Certified Programs and Proofs
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Miller / Hawblitzel
Certified Programs and Proofs
- Verlag: Springer
- ISBN: 978-3-642-35307-9 (Buch)
- Erscheinungstermin: 01.11.2012
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Bezhanishvili / Richter / Löbner
Logic, Language, and Computation
49,22 € (inkl. MwSt.)
46,00 € (zzgl. MwSt.)
Bezhanishvili / Richter / Löbner
Logic, Language, and Computation
- Verlag: Springer
- ISBN: 978-3-642-36975-9 (Buch)
- Erscheinungstermin: 10.02.2013
- Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.)
46,00 € (zzgl. MwSt.)
Aalst / Best
Applications and Theory of Petri Nets 2003
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Aalst / Best
Applications and Theory of Petri Nets 2003
- Verlag: Springer
- ISBN: 978-3-540-40334-0 (Buch)
- Erscheinungstermin: 04.06.2003
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Gottlob / Mundici / Leitsch
Computational Logic and Proof Theory
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Gottlob / Mundici / Leitsch
Computational Logic and Proof Theory
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-63385-3 (Buch)
- Erscheinungstermin: 13.08.1997
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Kleijn / Donatelli
Application and Theory of Petri Nets 1999
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Kleijn / Donatelli
Application and Theory of Petri Nets 1999
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-66132-0 (Buch)
- Erscheinungstermin: 09.06.1999
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Sandford
Using Sophisticated Models in Resolution Theorem Proving
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-10231-1 (Buch)
- Erscheinungstermin: 01.08.1980
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Kelemen / Kelemenova
Trends, Techniques, and Problems in Theoretical Computer Science
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Kelemen / Kelemenova
Trends, Techniques, and Problems in Theoretical Computer Science
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-18535-2 (Buch)
- Erscheinungstermin: 21.10.1987
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Perrin / Nivat
Automata on Infinite Words
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Perrin / Nivat
Automata on Infinite Words
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-15641-3 (Buch)
- Erscheinungstermin: 01.06.1985
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Börger / Richter / Jäger
Computer Science Logic
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Börger / Richter / Jäger
Computer Science Logic
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-55789-0 (Buch)
- Erscheinungstermin: 10.09.1992
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Jouannaud / Kaplan
Conditional Term Rewriting Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Jouannaud / Kaplan
Conditional Term Rewriting Systems
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-19242-8 (Buch)
- Erscheinungstermin: 22.06.1988
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Betriebswirtschaft (1)
- Biowissenschaften (9)
- Chemie (3)
- Design (2)
- EDV | Informatik (143)
- Elektronik | Nachrichtentechnik (29)
- Mathematik (148)
- Medien- und Kommunikationswissenschaften (1)
- Medizin | Public Health | Pharmazie | Zahnmedizin (3)
- Pädagogik (1)
- Philosophie (5)
- Physik (1)
- Sprachwissenschaft (3)
- Technik Allgemein (4)
- Wirtschaftswissenschaften (1)
- Wissenschaften (7)
Unterthema 2
- Algebra (11)
- Angewandte Biologie (7)
- Angewandte Informatik (10)
- Betriebssysteme (7)
- Biowissenschaften (5)
- Business Application (1)
- Chemie Allgemein (1)
- Computeranwendungen in der Technik (2)
- Computerkommunikation & -vernetzung (4)
- Computerlinguistik, Korpuslinguistik (2)
- Daten / Datenbanken (17)
- EDV & Informatik Allgemein (5)
- Elektronik (29)
- Grammatik, Syntax, Morphologie (1)
- Informatik (142)
- Klinische und Innere Medizin (1)
- Kommunikationswissenschaften (1)
- Konstruktionslehre und -technik (2)
- Lehrerausbildung, Unterricht & Didaktik (1)
- Mathematik Allgemein (148)
- Mathematik für Ingenieure (1)
- Mathematik Interdisziplinär (4)
- Mathematische Analysis (2)
- Medizin, Gesundheitswesen (1)
- Mess- und Automatisierungstechnik (2)
- Molekularbiologie (1)
- Numerik und Wissenschaftliches Rechnen (10)
- Operations Research (2)
- Philosophie der Mathematik, Philosophie der Physik (3)
- Philosophische Logik, Argumentationstheorie (2)
- Physik Allgemein (1)
- Physikalische Chemie (2)
- Produktdesign, Industriedesign (2)
- Professionelle Anwendung (4)
- Programmierung | Softwareentwicklung (75)
- Stochastik (1)
- Technische Informatik (22)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (1)
- Vorklinische Medizin: Grundlagenfächer (1)
- Wirtschaftsinformatik, SAP, IT-Management (1)
- Wissenschaften Interdisziplinär (1)
- Wissenschaften: Forschung und Information (6)
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 (967)
- 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 (828)
- 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 (4112)
- Kybernetik, Systemtheorie, Komplexe Systeme (163)
- Lineare und multilineare Algebra, Matrizentheorie (8)
- Logik, formale Sprachen, Automaten (2203)
- Luftfahrtindustrie (1)
- Marketing (2)
- Mathematik für Informatiker (806)
- 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 (1219)
- 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)