Site Breadcrumb
Editor-in-Chief: Daniel Kroening
Formal Methods in System Design
1330,01 € (inkl. MwSt.)
1243,00 € (zzgl. MwSt.)
Editor-in-Chief: Daniel Kroening
Formal Methods in System Design
- Verlag: Springer
- ISSN: 09259856 (Zeitschrift)
- Lieferzeit ca. 10 Werktage
1330,01 € (inkl. MwSt.)
1243,00 € (zzgl. MwSt.)
Editor-in-Chief: Daniel Kroening
Formal Methods in System Design
1132,06 € (inkl. MwSt.)
1058,00 € (zzgl. MwSt.)
Editor-in-Chief: Daniel Kroening
Formal Methods in System Design
- Verlag: Springer
- ISSN: 15728102 (Zeitschrift)
- Lieferzeit ca. 10 Werktage
1132,06 € (inkl. MwSt.)
1058,00 € (zzgl. MwSt.)
Editor-in-Chief: S.X.-D. Tan
Integration
1942,05 € (inkl. MwSt.)
1815,00 € (zzgl. MwSt.)
Editor-in-Chief: S.X.-D. Tan
Integration
- Verlag: Elsevier
- ISSN: 01679260 (Zeitschrift)
- Lieferzeit ca. 10 Werktage
1942,05 € (inkl. MwSt.)
1815,00 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 2
- Akustik, Tontechnik (1)
- Alternative und erneuerbare Energien (2)
- Angewandte Biologie (3)
- Angewandte Informatik (21)
- Angewandte Optik (3)
- Angewandte Physik (5)
- Betriebssysteme (5)
- Bionik, Biomimetik (2)
- Biotechnologie (4)
- Biowissenschaften (2)
- Computeranwendungen in der Technik (20)
- Computerkommunikation & -vernetzung (16)
- Daten / Datenbanken (6)
- Elektromagnetismus (9)
- Elektromotoren (2)
- Elektronik (897)
- Elektrotechnik (45)
- Energieeffizienz (5)
- Energietechnik & Elektrotechnik (1)
- Energieumwandlung, Energiespeicherung (6)
- Haustechnik, Gebäudeautomatisierung (1)
- Informatik (144)
- Konstruktionslehre und -technik (24)
- Lasertechnologie, Holographie (1)
- Maschinenbau (7)
- Mathematik Allgemein (3)
- Mathematik für Ingenieure (2)
- Mathematik Interdisziplinär (14)
- Medizin, Gesundheitswesen (11)
- Medizintechnik, Biomedizintechnik (9)
- Mess- und Automatisierungstechnik (3)
- Modellierung & Simulation (35)
- Nachhaltigkeit, Grüne Technologien (1)
- Nachrichten- und Kommunikationstechnik (110)
- Nanotechnologie (19)
- Numerik und Wissenschaftliches Rechnen (10)
- Operations Research (2)
- Physik Allgemein (2)
- Physik, Chemie für Ingenieure (1)
- Physikalische Chemie (1)
- Produktdesign, Industriedesign (14)
- Produktionstechnik (10)
- Professionelle Anwendung (38)
- Programmierung | Softwareentwicklung (116)
- Signalverarbeitung, Bildverarbeitung, Scanning (2)
- Stochastik (3)
- Systems Engineering (3)
- Technische Informatik (197)
- Technische Mechanik | Werkstoffkunde (10)
- Technische Optik, Lasertechnologie (1)
- Technische Zuverlässigkeit, Sicherheitstechnik (13)
- Thermodynamik (4)
- Umweltüberwachung (2)
- Wissenschaften: Forschung und Information (15)
Unterthema 3
- Adoptionsrecht, Betreuungsrecht, Pflege und Vormundschaft (4)
- Afrikanische Literaturen (2)
- Agrarökonomie, Ernährungswirtschaft (2)
- Akustik, Schwingungsanalyse (3)
- Algebraische Strukturen, Gruppentheorie (2)
- Allgemeine Didaktik (91)
- Altenpflege (7)
- Altes Testament: Exegese, Geschichte (2)
- Alzheimer und Demenz (2)
- Amerikanische Literatur (3)
- Analytische Philosophie (5)
- Anatomie (4)
- Angewandte Mathematik, Mathematische Modelle (4)
- Angewandte Psychologie (1)
- Antike Philosophie (1)
- Arzt-Patient-Beziehung (1)
- Autismus und Asperger-Syndrom (3)
- Bauelemente, Schaltkreise (6)
- Beratungspsychologie (5)
- Berechenbarkeitstheorie, Komplexitätstheorie (9)
- Berufs- und Gebührenrecht im Gesundheitswesen (2)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (1)
- Bildungssystem (6)
- Biographien & Autobiographien: Historisch, Politisch, Militärisch (1)
- Bioinformatik (2)
- Bioinformatik (2)
- Biologische Psychologie, Neuropsychologie (86)
- Biomedizin, Medizinische Forschung, Klinische Studien (2)
- Biophysik (4)
- Biophysik (4)
- Change Management (2)
- Christliche Spiritualität, Christliche Mystik (1)
- Cloud-Computing, Grid-Computing (3)
- Coaching, Training, Supervision (1)
- Computer-Aided Design (CAD) (1)
- Computeranwendungen in Geistes- und Sozialwissenschaften (1)
- Computeranwendungen in Wissenschaft & Technologie (7)
- Computersicherheit (1)
- Computersimulation & Modelle, 3-D Graphik (7)
- Data Mining (2)
- Datenanalyse, Datenverarbeitung (2)
- Datenkompression, Dokumentaustauschformate (1)
- Demographie, Demoskopie (4)
- Diagnosis Related Groups (DRG), Medizinische Klassifikation, Medizinische Gutachten (9)
- Differentialrechnungen und -gleichungen (2)
- Differentielle Psychologie, Persönlichkeitspsychologie (24)
- Digitale Medien, Internet, Telekommunikation (3)
- Diplomatie (2)
- Diskrete Mathematik, Kombinatorik (2)
- Drahtlostechnologie (1)
- Dynamische Systeme (2)
- E-Learning (3)
- E-Learning, Bildungstechnologie (7)
- Eingebettete Systeme (5)
- Empirische Sozialforschung, Statistik (10)
- Energiewirtschaft: Alternative & Erneuerbare Energien (2)
- Entscheidungsfindung (1)
- Entwicklungsökonomie & Emerging Markets (1)
- Entwicklungspolitik, Nord-Süd Beziehungen (3)
- Entwicklungspsychologie (105)
- Entwicklungsstudien (3)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (3)
- Erwachsenenbildung, lebenslanges Lernen (1)
- Erziehungsberatung (1)
- Europäische Geschichte (2)
- Europäische Union, Europapolitik (1)
- Europäisches Arbeits- und Sozialrecht (1)
- Evolutionsbiologie (9)
- Experimentelle Psychologie (20)
- Familiensoziologie (7)
- Feminismus, Feministische Theorie (2)
- Fertigungstechnik (2)
- Film, Video, Foto (1)
- Filmgattungen, Filmgenre (2)
- Filmtheorie, Filmanalyse (6)
- Finanzverwaltung, Finanzverfassung, Finanzausgleich, allg. Haushaltsrecht (1)
- Forschung & Entwicklung (F&E), Innovation (8)
- Forschungsmethodik, Wissenschaftliche Ausstattung (1)
- Friedens- und Konfliktforschung (2)
- Frühes Christentum, Patristik, Christliche Archäologie (1)
- Frühmenschen, Hominiden (1)
- Fundamentaltheologie, Dogmatik, Christologie (1)
- Geisteswissenschaften (3)
- Gender Studies, Geschlechtersoziologie (7)
- Gender Studies: Homosexualität, LGBTQ+ (1)
- Genetik und Genomik (nichtmedizinisch) (6)
- Geopolitik (1)
- Geriatrie, Gerontologie (2)
- Geschichte der klassischen Antike (1)
- Geschichte der Naturwissenschaften, Formalen Wissenschaften & Technik (2)
- Geschichte der Pädagogik, Richtungen in der Pädagogik (2)
- Geschichte der Psychologie (10)
- Geschichte der Sprachwissenschaft (4)
- Geschichte des Judentums: Biblische & Klassische Periode (2)
- Geschichtspolitik, Erinnerungskultur (1)
- Gesellschaftstheorie (1)
- Gesundheitspsychologie (3)
- Gesundheitssystem, Gesundheitswesen (2)
- Gewalt und Diskriminierung: Soziale Aspekte (2)
- Grid-Computing & Paralleles Rechnen (2)
- Großrechner & Minicomputer (2)
- Grundschulen, Hauptschulen (1)
- Hardware: Grundlagen und Allgemeines (4)
- Heilige & Traditionstexte: Torah, Talmud, Mischna, Halacha (2)
- Historiographie (1)
- HNO-Heilkunde, Phoniatrie, Audiologie (2)
- Humangenetik (3)
- Industrielle Organisation (2)
- Informationstechnik, IT-Industrie (1)
- Informationstheorie, Kodierungstheorie (5)
- Informationstheorie, Kodierungstheorie (5)
- Inklusive Pädagogik, Inklusion (1)
- Innen-, Bildungs- und Bevölkerungspolitik (1)
- Interkulturelle Kommunikation & Interaktion (11)
- Internet, E-Mail, Social Media (1)
- Irische Literatur (2)
- Italienische Literatur (1)
- Jazz (1)
- Journalismus & Presse (3)
- Jüdische Studien: Leben & Praxis, Soziale Aspekte (2)
- Kinder- & Jugendpsychiatrie (2)
- Kinder- und Jugendsoziologie (2)
- Kindergarten & Vorschule (4)
- Klassische Lateinische Literatur (1)
- Kognitionspsychologie (407)
- Kommunikation & Medien in der Politik (2)
- Kommunikationstheorie (19)
- Konflikt- und Friedensforschung, Rüstungskontrolle, Abrüstung (2)
- Konstruktionslehre, Bauelemente, CAD (11)
- Krankenpflege (5)
- Krankenversicherung (6)
- Kriminalpsychologie, Forensische Psychologie (4)
- Kultur- und Ideengeschichte (3)
- Kultur- und Sozialethnologie: Allgemeines (17)
- Kultur- und Sozialethnologie: Politische Ethnologie, Recht, Organisation, Identität (1)
- Kultursoziologie (1)
- Kulturwissenschaften (15)
- Kunstgeschichte: Renaissance, Manierismus (1)
- Künstliche Intelligenz (92)
- Kunsttheorie, Kunstphilosophie (3)
- Kybernetik, Systemtheorie, Komplexe Systeme (35)
- Landesrecht Bayern (2)
- Lehrerausbildung (2)
- Logik, formale Sprachen, Automaten (10)
- Logopädie, Sprachstörungen, Stimmtherapie (49)
- Logopädie, Sprech- & Sprachstörungen & Therapie (46)
- Marketing (4)
- Massenmedien & Massenkommunikation (1)
- Materialwissenschaft: Elektronik, Optik (2)
- Mathematik für Informatiker (2)
- Mathematische Statistik (4)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (1)
- Medienpädagogik, Mediendidaktik (1)
- Medienpsychologie, Kommunikationspsychologie (3)
- Mediensoziologie (1)
- Medientheorie, Medienanalyse (6)
- Medizin, Gesundheit: Sachbuch, Ratgeber (2)
- Medizinische Berufe, Gesundheitsfachberufe (1)
- Medizinische Mathematik & Informatik (2)
- Medizinrecht, Gesundheitsrecht (11)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (4)
- Mehrsprachige Wörterbücher (1)
- Mensch-Maschine-Interaktion (21)
- Methoden des Lehrens und Lernens (21)
- Mikroprozessoren (3)
- Minderheiten, Interkulturelle & Multikulturelle Fragen (4)
- Mittelalterliche & Scholastische Philosophie (2)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (1)
- Musikalische Akustik, Tontechnik, Musikaufnahme (1)
- Musikpsychologie, Musiksoziologie (3)
- Musiktheorie, Musikästhetik, Kompositionslehre (2)
- Natürliche Sprachen & Maschinelle Übersetzung (23)
- Naturwissenschaften, Technik, Medizin (2)
- Neues Testament: Exegese, Geschichte (1)
- Neurobiologie, Verhaltensbiologie (33)
- Neurologie, Klinische Neurowissenschaft (50)
- Neurowissenschaften, Kognitionswissenschaft (116)
- Numerische Mathematik (3)
- Objektorientierte Programmierung (1)
- Öffentliches Finanz- und Rechnungswesen (4)
- Optimierung (1)
- Ost- & Südostasiatische Literatur (3)
- Pädagogik: Sachbuch, Ratgeber (4)
- Pädagogische Psychologie (57)
- Pädagogische Soziologie, Bildungssoziologie (2)
- Pädiatrie, Neonatologie (5)
- Palliativmedizin (1)
- Palliativpflege, Sterbebegleitung, Hospiz (1)
- Personalwesen, Human Resource Management (2)
- Pflegedienste (1)
- Pflegeforschung, Pflegemanagement (26)
- Phänomenologie (7)
- Philosophie der Erziehung, Bildungstheorie (2)
- Philosophie der Mathematik (1)
- Philosophie des Geistes, Neurophilosophie (84)
- Philosophische Anthropologie (13)
- Physiologie (6)
- Physische Anthropologie, Paläoanthropologie, Evolutionäre Anthropologie (1)
- Politische Führung (2)
- Politische Kommunikation und Partizipation (6)
- Politische Propaganda & Kampagnen, Politik & Medien (3)
- Politische Soziologie (1)
- Politische Studien zu einzelnen Ländern und Gebieten (2)
- Politische Theorie, Politische Philosophie (5)
- Populärwissenschaftliche Werke (2)
- Pragmatismus (1)
- Produktionsmanagement, Qualitätskontrolle (6)
- Programmier- und Skriptsprachen (4)
- Projektmanagement (7)
- Prozessmanagement (2)
- Psychiatrie, Sozialpsychiatrie, Suchttherapie (7)
- Psychologie: Allgemeines (51)
- Psychologie: Sachbuch, Ratgeber (5)
- Psychologische Forschungsmethoden (10)
- Psychologische Theorie, Psychoanalyse (33)
- Psychopathologie (4)
- Public Health, Gesundheitsmanagement, Gesundheitsökonomie, Gesundheitspolitik (7)
- Rechnerarchitektur (5)
- Regelungstechnik (16)
- Regionalwissenschaften, Regionalstudien (5)
- Rehabilitation (2)
- Religionsphilosophie, Philosophische Theologie (1)
- Risikomanagement (4)
- Robotik (24)
- Schaltungsentwurf (3)
- Schulleitung, Schulentwicklung (1)
- Schulpädagogik (3)
- Semiotik (25)
- Semiotik (15)
- Signalverarbeitung (4)
- Software Engineering (40)
- Sonderpädagogik, Heilpädagogik (76)
- Sonstige vertragliche Schuldverhältnisse (2)
- Soziale Arbeit/Sozialpädagogik, Theorie und Methoden (1)
- Soziale Arbeit/Sozialpädagogik: Kranken-, Alten- und Behindertenhilfe (2)
- Soziale Dienste, Soziale Organisationen (3)
- Soziale Fragen & Probleme (1)
- Soziale und ethische Aspekte der EDV (3)
- Sozialpolitik (2)
- Sozialpsychologie (50)
- Soziologie von Migranten und Minderheiten (7)
- Spieltheorie (2)
- Sprachphilosophie (209)
- Sprachpsychologie (331)
- Sprachsoziologie (111)
- Stadt- und Regionalsoziologie (5)
- Stadtplanung, Kommunale Planung (1)
- Statik, Dynamik, Kinetik, Kinematik (4)
- Statistische Physik, Dynamische Systeme (4)
- Strategisches Management (2)
- Systemtheorie (31)
- Telemedizin, e-Health (1)
- Theoretische Informatik (1)
- Theoretische Linguistik (82)
- Tierethologie (6)
- Tierökologie (1)
- Tierpsychologie (2)
- Tod, Sterbehilfe: Soziale und Ethische Themen (2)
- Tonsignalverarbeitung (6)
- Umwelt- und Gesundheitspolitik (1)
- Umwelt-, Konsum- und Werbepsychologie (1)
- Umweltmedizin, Arbeitsmedizin, Tropenmedizin, Sportmedizin (5)
- Umweltrecht allg., Technikrecht, Immissionsschutzrecht (1)
- Universitäten, Hochschulen (2)
- Unternehmensführung (1)
- Verbale & Nonverbale Kommunikationsprozesse (15)
- Versicherungsrecht (6)
- Vertrieb (1)
- Vorschul- und Kindergartenpädagogik (11)
- Wachstum, Entwicklung, Altern (2)
- Wahlen und Volksabstimmungen (1)
- Wasserwirtschaft (2)
- Weiterführende Schulen (1)
- Werbung (2)
- Westliche Philosophie: 19. Jahrhundert (3)
- Westliche Philosophie: 20./21. Jahrhundert (2)
- Wirbeltiere (Vertebrata) (2)
- Wirtschaftliche Globalisierung (2)
- Wirtschafts-, Arbeits- und Organisationspsychologie (6)
- Wirtschaftsinformatik (6)
- Wirtschaftssoziologie, Arbeitssoziologie, Organisationssoziologie (1)
- Wirtschaftstheorie, Wirtschaftsphilosophie (2)
- Wissenschaften: Theorie, Epistemologie, Methodik (10)
- Wissenschaftliches Arbeiten, Studientechnik (4)
- Wissenschaftliches Arbeiten, Studientechnik (2)
- Wissenschafts- und Universitätsgeschichte (1)
- Wissensmanagement (1)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (5)
- Wörterbücher (1)
- Zuverlässigkeitstechnik (3)