Site Breadcrumb
Kurshan / Clarke
Computer-Aided Verification
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Kurshan / Clarke
Computer-Aided Verification
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-54477-7 (Buch)
- Erscheinungstermin: 02.10.1991
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Schrefl / Klas
Metaclasses and Their Application
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Schrefl / Klas
Metaclasses and Their Application
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-60063-3 (Buch)
- Erscheinungstermin: 14.07.1995
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Moreno-Diaz / Pichler
Computer Aided Systems Theory - EUROCAST '89
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Moreno-Diaz / Pichler
Computer Aided Systems Theory - EUROCAST '89
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-52215-7 (Buch)
- Erscheinungstermin: 07.02.1990
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Zheng / Imai
Public Key Cryptography
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Zheng / Imai
Public Key Cryptography
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-65644-9 (Buch)
- Erscheinungstermin: 17.02.1999
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Gilmore / Alfaro
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-42556-4 (Buch)
- Erscheinungstermin: 29.08.2001
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Bauingenieurwesen (2)
- Betriebswirtschaft (178)
- Bibliothekswesen, Informationswissenschaften (15)
- Biowissenschaften (23)
- Chemie (1)
- Design (25)
- EDV | Informatik (1055)
- Elektronik | Nachrichtentechnik (250)
- Energietechnik | Elektrotechnik (1)
- Finanzsektor & Finanzdienstleistungen (5)
- Geographie | Raumplanung (7)
- Geologie (11)
- Kunst (2)
- Maschinenbau | Werkstoffkunde (3)
- Mathematik (80)
- Medien- und Kommunikationswissenschaften (33)
- Medizin | Public Health | Pharmazie | Zahnmedizin (17)
- Musikwissenschaft (1)
- Öffentliches Recht (22)
- Pädagogik (23)
- Physik (2)
- Politikwissenschaft (6)
- Psychologie (8)
- Recht, Rechtswissenschaft Allgemein (2)
- Sonstige Technologien | Angewandte Technik (12)
- Soziologie | Soziale Arbeit (6)
- Sprachwissenschaft (3)
- Strafrecht (1)
- Technik Allgemein (34)
- Verfahrenstechnik | Chemieingenieurwesen | Biotechnologie (2)
- Verkehrstechnik | Transportgewerbe (1)
- Volkswirtschaftslehre (3)
- Wirtschaftsrecht (13)
- Wirtschaftssektoren & Branchen (6)
- Wirtschaftswissenschaften (33)
- Wissenschaften (216)
Unterthema 2
- Akustik, Tontechnik (1)
- Algebra (8)
- Allgemeine Psychologie (7)
- Angewandte Biologie (20)
- Angewandte Informatik (73)
- Angewandte Optik (2)
- Angewandte Physik (1)
- Bankwirtschaft (4)
- Bereichsspezifisches Management (34)
- Betriebssysteme (227)
- Bibliotheks- und Auskunftssdienste (2)
- Biochemie (nichtmedizinisch) (1)
- Biowissenschaften (22)
- Business Application (161)
- Chemie Allgemein (1)
- Computeranwendungen in der Technik (20)
- Computerkommunikation & -vernetzung (167)
- Computerlinguistik, Korpuslinguistik (3)
- Daten / Datenbanken (645)
- Digital Lifestyle (88)
- EDV & Informatik Allgemein (241)
- EDV Systeme, Internet und elektronische Ressourcen in Bibliotheken (13)
- Elektronik (160)
- Elektrotechnik (1)
- Fertigungsindustrie (1)
- Fertigungsverfahren der Präzisionsgeräte (2)
- Finanzsektor & Finanzdienstleistungen: Allgemeines (1)
- Fotografie (2)
- Gebäudesicherheit (2)
- Geodäsie, Kartographie, Fernerkundung (6)
- Geodäsie, Kartographie, GIS, Fernerkundung (6)
- Geometrie (1)
- GIS, Geoinformatik (9)
- Industrie- und Technologiepolitik (1)
- Informatik (698)
- Interface Design, Interaktionsdesign, Application Design (20)
- Klinische und Innere Medizin (5)
- Kommunikationswissenschaften (32)
- Konstruktionslehre und -technik (5)
- Kriminologie, Strafverfolgung (1)
- Lehrerausbildung, Unterricht & Didaktik (23)
- Literatur für Manager (5)
- Luft- und Raumfahrttechnik, Luftverkehr (1)
- Management (9)
- Mathematik Allgemein (8)
- Mathematik für Ingenieure (5)
- Mathematik Interdisziplinär (41)
- Mathematische Analysis (2)
- Medien-, Informations und Kommunikationswirtschaft (4)
- Medienrecht (13)
- Medienwissenschaften (1)
- Medizin, Gesundheitswesen (12)
- Medizintechnik, Biomedizintechnik (3)
- Mess- und Automatisierungstechnik (5)
- Musikgattungen (1)
- Musikwissenschaft Allgemein (1)
- Nachhaltigkeit, Grüne Technologien (1)
- Nachrichten- und Kommunikationstechnik (90)
- Numerik und Wissenschaftliches Rechnen (26)
- Öffentlicher Dienst, Öffentlicher Sektor (1)
- Operations Research (1)
- Physik Allgemein (1)
- Physik, Chemie für Ingenieure (1)
- Politische Kultur (1)
- Politische Systeme (5)
- Produktdesign, Industriedesign (5)
- Produktionstechnik (3)
- Professionelle Anwendung (75)
- Programmierung | Softwareentwicklung (700)
- Psychologie / Allgemeines & Theorie (1)
- Regierungspolitik (1)
- Regional- & Raumplanung (1)
- Signalverarbeitung, Bildverarbeitung, Scanning (8)
- Soziale Gruppen/Soziale Themen (3)
- Soziologie Allgemein (1)
- Spezielle Soziologie (2)
- Stochastik (5)
- Systematiken, Katalogisierung, Klassifikation, Bibliographisches Arbeiten (1)
- Technik: Allgemeines (6)
- Technische Informatik (1055)
- Topologie (1)
- Unternehmensfinanzen (1)
- Unternehmensfinanzierung (1)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (28)
- Verwaltungsrecht (22)
- Volkswirtschaftslehre Allgemein (2)
- Wirtschaftsinformatik, SAP, IT-Management (160)
- Wirtschaftsmathematik und -statistik (4)
- Wissenschaften Interdisziplinär (1)
- Wissenschaften: Allgemeines (1)
- Wissenschaften: Forschung und Information (214)
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 (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 (4110)
- Kybernetik, Systemtheorie, Komplexe Systeme (163)
- Lineare und multilineare Algebra, Matrizentheorie (8)
- Logik, formale Sprachen, Automaten (2203)
- Luftfahrtindustrie (1)
- Marketing (2)
- Mathematik für Informatiker (804)
- 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)