Site Breadcrumb
Polivka / Thomson
APL2 in Depth
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Polivka / Thomson
APL2 in Depth
- Verlag: Springer
- ISBN: 978-0-387-94213-1 (Buch)
- Erscheinungstermin: 13.06.1995
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Morgan / McIver
Abstraction, Refinement and Proof for Probabilistic Systems
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Morgan / McIver
Abstraction, Refinement and Proof for Probabilistic Systems
- Verlag: Springer
- ISBN: 978-1-4419-2312-7 (Buch)
- Erscheinungstermin: 19.11.2010
- Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 1
Unterthema 2
- Angewandte Informatik (9)
- Betriebssysteme (14)
- Biowissenschaften (2)
- Business Application (5)
- Chemie Allgemein (1)
- Computeranwendungen in der Technik (7)
- Computerkommunikation & -vernetzung (9)
- Computerlinguistik, Korpuslinguistik (2)
- Daten / Datenbanken (11)
- Digital Lifestyle (2)
- EDV & Informatik Allgemein (2)
- Elektronik (15)
- GIS, Geoinformatik (1)
- Informatik (51)
- Interface Design, Interaktionsdesign, Application Design (1)
- Internationale Beziehungen (1)
- Kommunikationswissenschaften (3)
- Konstruktionslehre und -technik (2)
- Mathematik Allgemein (2)
- Mathematik für Ingenieure (1)
- Mathematik Interdisziplinär (6)
- Medien-, Informations und Kommunikationswirtschaft (1)
- Mess- und Automatisierungstechnik (3)
- Nachrichten- und Kommunikationstechnik (4)
- Numerik und Wissenschaftliches Rechnen (7)
- Physik Allgemein (2)
- Produktdesign, Industriedesign (2)
- Professionelle Anwendung (11)
- Programmierung | Softwareentwicklung (119)
- Psychologie / Allgemeines & Theorie (1)
- Semantik & Pragmatik (2)
- Stochastik (2)
- Technik: Allgemeines (1)
- Technische Informatik (33)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (2)
- Verwaltungsrecht (1)
- Wirtschaftsinformatik, SAP, IT-Management (3)
- Wissenschaften: Forschung und Information (8)
Unterthema 3
- Agrarökonomie, Ernährungswirtschaft (2)
- Akustik, Schwingungsanalyse (4)
- Algebraische Geometrie (4)
- Algebraische Strukturen, Gruppentheorie (6)
- Algebraische Topologie (1)
- Algorithmen & Datenstrukturen (17)
- Allgemeine Didaktik (12)
- Allgemeinmedizin, Familienmedizin (2)
- Analytische Geometrie (3)
- Analytische Topologie (3)
- Angewandte Mathematik, Mathematische Modelle (472)
- Astrophysik (9)
- Atom- und Molekülphysik (8)
- Außenhandel (2)
- Automatische Datenerfassung, Datenanalyse (14)
- Ballsportarten (2)
- Bayesianische Inferenz (8)
- Berechenbarkeitstheorie, Komplexitätstheorie (10)
- Betriebliches Energie- und Umweltmanagement (1)
- Betriebliches Rechnungswesen (2)
- Betriebliches Steuerwesen (1)
- Big Data (6)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (4)
- Bildsignalverarbeitung (8)
- Bioinformatik (51)
- Bioinformatik (42)
- Biomathematik (103)
- Biomedizin, Medizinische Forschung, Klinische Studien (7)
- Biophysik (9)
- Biophysik (9)
- Chemische Physik (1)
- Chemometrik, Chemoinformatik (7)
- Compiler (1)
- Compliance (1)
- Computer-Aided Design (CAD) (29)
- Computeralgebra (5)
- Computeranwendungen in der Mathematik (111)
- Computeranwendungen in Wissenschaft & Technologie (64)
- Computergestützte Fertigung (2)
- Computersicherheit (9)
- Computersimulation & Modelle, 3-D Graphik (11)
- Data Mining (21)
- Data Warehouse (2)
- Datenanalyse, Datenverarbeitung (230)
- Datenbankdesign & Datenbanktheorie (4)
- Datenbankprogrammierung (1)
- Datenkompression, Dokumentaustauschformate (9)
- Demographie, Demoskopie (18)
- Differentialgeometrie (7)
- Differentialrechnungen und -gleichungen (75)
- Differentielle Psychologie, Persönlichkeitspsychologie (5)
- Diskrete Mathematik, Kombinatorik (20)
- DNA und Transgene Organismen (3)
- Dynamische Systeme (39)
- E-Commerce, E-Business, E-Marketing (1)
- E-Learning (1)
- E-Learning, Bildungstechnologie (1)
- Einkauf, Logistik, Supply-Chain-Management (2)
- Elektrizität, Elektrodynamik (1)
- Elektrochemie, Magnetochemie (1)
- Elementare Algebra (9)
- Elementare Analysis und Allgemeine Begriffe (20)
- Elementare Geometrie: Allgemeines (5)
- Elementare Stochastik (95)
- Empirische Sozialforschung, Statistik (100)
- Energiewirtschaft: Alternative & Erneuerbare Energien (1)
- Entscheidungsfindung (6)
- Entscheidungstheorie, Sozialwahltheorie (15)
- Entwicklungspsychologie (1)
- Entwicklungsstudien (1)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (2)
- Epidemiologie, Medizinische Statistik (27)
- Ernährungsmedizin, Diätetik (1)
- Euklidische Geometrie (1)
- Evolutionsbiologie (6)
- Experimentalphysik (10)
- Experimentelle Psychologie (3)
- Externe Speicher & Peripheriegeräte (3)
- Externes Rechnungswesen, Rechnungslegung, Bilanzierung (1)
- Fernmeldetechnik (4)
- Fertigungstechnik (2)
- Fertigungstechnik, Automatisierung (1)
- Festkörperphysik, Kondensierte Materie (12)
- Finanz- und Versicherungsmathematik (79)
- Finanzierung, Investition, Leasing (10)
- Forschung & Entwicklung (F&E), Innovation (2)
- Forschungsmethodik, Wissenschaftliche Ausstattung (11)
- Forstwirtschaft, Forstwissenschaft (1)
- Funktechnik (3)
- Funktionalanalysis (38)
- Funktionale, Logische, Parallele und Visuelle Programmierung (1)
- Genetik und Genomik (nichtmedizinisch) (14)
- Geophysik (4)
- Geschichte der Human- und Sozialwissenschaften (4)
- Geschichte der Mathematik (40)
- Geschichte der Naturwissenschaften, Formalen Wissenschaften & Technik (32)
- Geschichte der Physik (5)
- Geschichte der VWL (1)
- Geschichtswissenschaft: Theorie und Methoden (1)
- Gesellschaftstheorie (1)
- Grafikprogrammierung (28)
- Graphentheorie (24)
- Grid-Computing & Paralleles Rechnen (2)
- Grundlagen der Mathematik (9)
- Hardware: Grundlagen und Allgemeines (2)
- Harmonische Analysis, Fourier-Mathematik (16)
- Historiographie (1)
- Homologische Algebra (13)
- Humangenetik (6)
- Immunologie (1)
- Industrielle Qualitätskontrolle (15)
- Infektionskrankheiten (2)
- Information Retrieval (6)
- Informationstheorie, Kodierungstheorie (17)
- Informationstheorie, Kodierungstheorie (15)
- Integralrechnungen- und -gleichungen (11)
- Internationale Finanzmärkte (5)
- Journalismus & Presse (1)
- Klassische Mechanik, Newtonsche Mechanik (5)
- Kognitionspsychologie (1)
- Kommunal-, Regional-, und Landesverwaltung (1)
- Kontinuumsmechanik, Strömungslehre (5)
- Kryptologie, Informationssicherheit (1)
- Künstliche Intelligenz (120)
- Kybernetik, Systemtheorie, Komplexe Systeme (29)
- Lineare und multilineare Algebra, Matrizentheorie (18)
- Logik, formale Sprachen, Automaten (16)
- Magnetismus (1)
- Makroökonomie (3)
- Marketing (5)
- Materialwissenschaft: Verbundwerkstoffe (1)
- Mathematik für Informatiker (70)
- Mathematische & Statistische Software (90)
- Mathematische Logik (12)
- Mathematische Modellierung (4)
- Mathematische Statistik (1288)
- Medizinische Biotechnologie (3)
- Medizinische Mathematik & Informatik (70)
- Medizinische Mikrobiologie & Virologie (2)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (3)
- Mengenlehre (1)
- Mengentheoretische Topologie (5)
- Mensch-Maschine-Interaktion (9)
- Menschenrechte, Bürgerrechte (1)
- Methoden des Lehrens und Lernens (2)
- Microsoft Programmierung (1)
- Mikroökonomie (1)
- Mikroskopie, Spektroskopie (1)
- Moderne Anwendungen der Analysis (12)
- Musiktheorie, Musikästhetik, Kompositionslehre (1)
- Natürliche Sprachen & Maschinelle Übersetzung (2)
- Naturwissenschaften, Technik, Medizin (14)
- Netzwerk-Hardware (2)
- Netzwerkmanagement (2)
- Netzwerkprotokolle (2)
- Neurobiologie, Verhaltensbiologie (1)
- Nicht-Euklidische Geometrie (3)
- Nichtlineare Wissenschaft (3)
- Numerische Mathematik (74)
- Oberflächen- und Grenzflächenphysik, Dünne Schichten (1)
- Ökologie (11)
- Ökonometrie (116)
- Onkologie, Krebsforschung (3)
- Optimierung (14)
- Pädagogische Psychologie (1)
- Pflanzenökologie (1)
- Pflanzenreproduktion, Verbreitung, Genetik (9)
- Pharmaindustrie (3)
- Pharmakologie, Toxikologie (5)
- Philosophie der Mathematik (7)
- Physiologie (1)
- Politische Kommunikation und Partizipation (1)
- Politische Soziologie (1)
- Politische Theorie, Politische Philosophie (1)
- Populäre Darstellungen der Mathematik (5)
- Populärwissenschaftliche Werke (3)
- Präsentationsgraphik (2)
- Präventivmedizin, Gesundheitsförderung, Medizinisches Screening (7)
- Produktionsmanagement, Qualitätskontrolle (7)
- Programmier- und Skriptsprachen (5)
- Programmierung: Methoden und Allgemeines (5)
- Prozedurale Programmierung (2)
- Prozessmanagement (1)
- Psychologie: Allgemeines (2)
- Psychologische Forschungsmethoden (16)
- Psychologische Theorie, Psychoanalyse (1)
- Public Health, Gesundheitsmanagement, Gesundheitsökonomie, Gesundheitspolitik (14)
- Qualitätsmanagement, Qualitätssicherung (QS), Total Quality Management (TQM) (3)
- Quantenchemie, Theoretische Chemie (12)
- Quantencomputer, DNA-Computing (4)
- Quantenoptik, Nichtlineare Optik, Laserphysik (2)
- Reelle Analysis (13)
- Regelungstechnik (23)
- Relativität, Gravitation (1)
- Risikobewertung, Risikotheorie (16)
- Risikomanagement (6)
- Robotik (17)
- Schulpädagogik (1)
- Sensorik (1)
- Signalverarbeitung (8)
- Software Engineering (9)
- Soziophysik, Wirtschaftsphysik (7)
- Spiele-Programmierung, Rendering, Animation (2)
- Spieltheorie (40)
- Sport- und Freizeitindustrie (1)
- Sport, Sportwissenschaft: Allgemeines (6)
- Sport: Politik, Ökonomie, Ökologie (1)
- Statik, Dynamik, Kinetik, Kinematik (6)
- Statistische Physik, Dynamische Systeme (99)
- Stochastische Prozesse (437)
- Strömungslehre (5)
- Systemtheorie (16)
- Systemverwaltung & Management (7)
- Tabellenkalkulation (6)
- Technische Thermodynamik (4)
- Teilchenphysik (1)
- Terrestrische Ökologie (1)
- Theoretische Informatik (17)
- Theoretische Physik, Mathematische Physik, Computerphysik (136)
- Tiergenetik, Reproduktion (9)
- Tierökologie (2)
- Trainingswissenschaft, Sportunterricht (1)
- Überwachungstechnik (4)
- Umwelt- und Gesundheitspolitik (1)
- Umweltchemie, Lebensmittelchemie (1)
- Umweltfaktoren in der Medizin (2)
- Umweltmedizin, Arbeitsmedizin, Tropenmedizin, Sportmedizin (2)
- Universitäten, Wissenschaftliche Akademien, Gelehrtengesellschaften (2)
- Unternehmenskultur, Corporate Governance (1)
- Unternehmenssoftware (4)
- Variationsrechnung (18)
- Verhaltensökonomik (1)
- Verteilte Systeme (Netzwerke) (1)
- Vertrieb (3)
- Volkswirtschaften einzelner Länder und Regionen (1)
- Wahrscheinlichkeitsrechnung (984)
- Werkstoffkunde, Materialwissenschaft: Forschungsmethoden (2)
- Werkstoffprüfung (3)
- Wirtschafts- und Sozialwissenschaften (1)
- Wirtschafts-, Arbeits- und Organisationspsychologie (1)
- Wirtschaftsgeschichte (1)
- Wirtschaftsinformatik (11)
- Wirtschaftsstatistik, Demographie (40)
- Wirtschaftstheorie, Wirtschaftsphilosophie (17)
- Wirtschaftswachstum (1)
- Wissenschaften: Theorie, Epistemologie, Methodik (7)
- Wissenschafts- und Universitätsgeschichte (9)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (1)
- Zahlentheorie (17)
- Zeichen- und Zahlendarstellungen (2)
- Zuverlässigkeitstechnik (25)