Site Breadcrumb
Larsen / Woodcock
FME '93: Industrial-Strength Formal Methods
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Larsen / Woodcock
FME '93: Industrial-Strength Formal Methods
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-56662-5 (Buch)
- Erscheinungstermin: 06.04.1993
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Naftalin / Bertran / Denvir
FME '94: Industrial Benefit of Formal Methods
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Naftalin / Bertran / Denvir
FME '94: Industrial Benefit of Formal Methods
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58555-8 (Buch)
- Erscheinungstermin: 12.10.1994
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Thalheim / Demetrovics
MFDBS 89
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Thalheim / Demetrovics
MFDBS 89
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-51251-6 (Buch)
- Erscheinungstermin: 30.05.1989
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Schek / Litwin
Foundations of Data Organization and Algorithms
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Schek / Litwin
Foundations of Data Organization and Algorithms
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-51295-0 (Buch)
- Erscheinungstermin: 07.06.1989
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 1
Unterthema 2
- Algebra (1)
- Angewandte Informatik (1)
- Bereichsspezifisches Management (1)
- Business Application (8)
- Computeranwendungen in der Technik (1)
- Computerkommunikation & -vernetzung (1)
- Daten / Datenbanken (4)
- Digital Lifestyle (1)
- EDV & Informatik Allgemein (1)
- Elektronik (2)
- Informatik (4)
- Kommunikationswissenschaften (1)
- Professionelle Anwendung (1)
- Programmierung | Softwareentwicklung (6)
- Technische Informatik (4)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (2)
- Urheberrecht (1)
- Wirtschaft: Sachbuch, Ratgeber (1)
- Wirtschaftsinformatik, SAP, IT-Management (2)
Unterthema 3
- Abfall- und Bodenschutzrecht (1)
- Akustik, Schwingungsanalyse (12)
- Algebraische Geometrie (21)
- Algebraische Strukturen, Gruppentheorie (12)
- Algebraische Topologie (5)
- Algorithmen & Datenstrukturen (216)
- Allgemeine Didaktik (2)
- Anatomie (3)
- Angewandte Mathematik, Mathematische Modelle (239)
- Angewandte Psychologie (1)
- Arbeitsplatz, Arbeitsschutz, Gefahrstoffschutz (1)
- Astrophysik (1)
- Atom- und Molekülphysik (2)
- Außenhandel (1)
- Automatische Datenerfassung, Datenanalyse (50)
- Bauelemente, Schaltkreise (9)
- Berechenbarkeitstheorie, Komplexitätstheorie (18)
- Besondere Themen und Arten der Fotografie (1)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (25)
- Bildsignalverarbeitung (127)
- Binnenhandel (1)
- Bioinformatik (143)
- Bioinformatik (144)
- Biologische Psychologie, Neuropsychologie (13)
- Biomathematik (9)
- Biomedizin, Medizinische Forschung, Klinische Studien (5)
- Biophysik (12)
- Biophysik (11)
- Chemische Labormethoden, Stöchiometrie (2)
- Chemometrik, Chemoinformatik (17)
- Client-Server Netzwerke (1)
- Cloud-Computing, Grid-Computing (5)
- Compiler (50)
- Computer-Aided Design (CAD) (345)
- Computeralgebra (31)
- Computeranwendungen in der Mathematik (149)
- Computeranwendungen in Geistes- und Sozialwissenschaften (97)
- Computeranwendungen in Wissenschaft & Technologie (390)
- Computergestützte Fertigung (7)
- Computersicherheit (203)
- Computersimulation & Modelle, 3-D Graphik (73)
- Computerspiele, Internetspiele (6)
- Dampfmaschinen, Dampfturbinen, Stirlingmotoren (1)
- Data Mining (72)
- Data Warehouse (39)
- Datenanalyse, Datenverarbeitung (43)
- Datenbanken & das Web (15)
- Datenbankprogrammierung (13)
- Datenkompression, Dokumentaustauschformate (565)
- Desktop-Publishing, E-Publishing (2)
- Dienstprogramme (4)
- Differentialgeometrie (4)
- Differentialrechnungen und -gleichungen (34)
- Digitale Animation (24)
- Digitale Fotographie (1)
- Digitale Medien, Internet, Telekommunikation (63)
- Diskrete Mathematik, Kombinatorik (27)
- DNA und Transgene Organismen (5)
- Drahtlostechnologie (4)
- E-Commerce, E-Business, E-Marketing (49)
- E-Learning (55)
- E-Learning, Bildungstechnologie (61)
- EDV & Informatik: Ausbildung & Berufe (2)
- EDV & Informatik: Geschichte (4)
- Eingebettete Systeme (3)
- Einkauf, Logistik, Supply-Chain-Management (7)
- Elastizität, Plastizität, Rheologie (2)
- Elektrizität, Elektrodynamik (7)
- Elektronische Baugruppen, Elektronische Materialien (1)
- Elektronischer Datenaustausch (EDI) (2)
- Elementare Algebra (129)
- Elementare Analysis und Allgemeine Begriffe (10)
- Elementare Geometrie: Allgemeines (10)
- Elementare Stochastik (8)
- Empirische Sozialforschung, Statistik (3)
- Entscheidungstheorie, Sozialwahltheorie (2)
- Entwicklungspsychologie (1)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (10)
- Epidemiologie, Medizinische Statistik (1)
- Erwachsenenbildung, lebenslanges Lernen (1)
- Euklidische Geometrie (4)
- Evolutionsbiologie (16)
- Experimentalphysik (6)
- Externe Speicher & Peripheriegeräte (677)
- Fernmeldetechnik (61)
- Fernsehtechnik (2)
- Fertigungstechnik (2)
- Fertigungstechnik, Automatisierung (3)
- Festkörperphysik, Kondensierte Materie (6)
- Finanz- und Versicherungsmathematik (2)
- Finanzierung, Investition, Leasing (5)
- Forschung & Entwicklung (F&E), Innovation (5)
- Forschungsmethodik, Wissenschaftliche Ausstattung (2)
- Fotobeabeitung und Bildbearbeitung (23)
- Funktechnik (19)
- Funktionalanalysis (3)
- Funktionale, Logische, Parallele und Visuelle Programmierung (131)
- Funktionentheorie, Komplexe Analysis (1)
- Genetik und Genomik (nichtmedizinisch) (7)
- Geophysik (7)
- Geschichte der Human- und Sozialwissenschaften (1)
- Geschichte der Mathematik (3)
- Geschichte der Naturwissenschaften, Formalen Wissenschaften & Technik (3)
- Geschichte der Physik (6)
- Gesundheitssystem, Gesundheitswesen (8)
- Grafikprogrammierung (862)
- Graphentheorie (85)
- Grid-Computing & Paralleles Rechnen (38)
- Großrechner & Minicomputer (1)
- Groupware (8)
- Grundlagen der Mathematik (118)
- Grundschulen, Hauptschulen (1)
- Halb- und Supraleitertechnologie (1)
- Halbleiter- und Supraleiterphysik (2)
- Hardware: Grundlagen und Allgemeines (89)
- Harmonische Analysis, Fourier-Mathematik (4)
- HNO-Heilkunde, Phoniatrie, Audiologie (1)
- Hochenergiephysik (3)
- Hochleistungsrechnen, Supercomputer (196)
- Homologische Algebra (50)
- Humangenetik (2)
- Imkerei (Bienenzucht) (1)
- Industrielle Biotechnologie (3)
- Industrielle Qualitätskontrolle (3)
- Information Retrieval (8)
- Informationstechnik, IT-Industrie (11)
- Informationstheorie, Kodierungstheorie (289)
- Informationstheorie, Kodierungstheorie (289)
- Innere Medizin (7)
- Installations-, Aktions-, Computer- und Videokunst (1)
- Internationales Management (1)
- Internet, E-Mail, Social Media (107)
- Internet, E-Mail, VoIP (57)
- Invalidität, Krankheit und Abhängigkeit: Soziale Aspekte (3)
- Kardiologie, Angiologie, Phlebologie (4)
- Klassische Mechanik, Newtonsche Mechanik (11)
- Kognitionspsychologie (24)
- Kontinuumsmechanik (1)
- Kontinuumsmechanik, Strömungslehre (7)
- Krankenhausmanagement, Praxismanagement (5)
- Kryptologie, Informationssicherheit (67)
- Kulturpolitik, Kulturmanagement (1)
- Kultursoziologie (1)
- Kulturwissenschaften (1)
- Kundenbeziehungsmanagement, Kundenpflege (1)
- Künstliche Intelligenz (2252)
- Kunstsammlung, Museen, Ausstellungen (1)
- Kybernetik, Systemtheorie, Komplexe Systeme (112)
- Lagerhaltung und Versand (1)
- Landschaftsplanung, Ländliche Planung (1)
- Lineare und multilineare Algebra, Matrizentheorie (14)
- Logik, formale Sprachen, Automaten (2166)
- Luftfahrtindustrie (8)
- Magnetismus (1)
- Marketing (2)
- Materialwissenschaft: Elektronik, Optik (1)
- Mathematik für Informatiker (537)
- Mathematische & Statistische Software (14)
- Mathematische Logik (161)
- Mathematische Statistik (69)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (2)
- Medien & Gesellschaft, Medienwirkungsforschung (3)
- Mediensoziologie (3)
- Medizinische Mathematik & Informatik (80)
- Medizinische Physik (1)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (22)
- Meeres- und Süßwasserökologie (1)
- Mengentheoretische Topologie (11)
- Mensch-Maschine-Interaktion (376)
- Methoden des Lehrens und Lernens (1)
- Microsoft Programmierung (2)
- Mikroökonomie (1)
- Mikroprozessoren (42)
- Mikrowellentechnik (3)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (2)
- Moderne Anwendungen der Analysis (28)
- Molekulare Medizin, Zellbiologie (1)
- Musikalische Akustik, Tontechnik, Musikaufnahme (2)
- Musiktheorie, Musikästhetik, Kompositionslehre (2)
- Nachrichtendienste, Geheimdienste (1)
- Natürliche Sprachen & Maschinelle Übersetzung (72)
- Naturwissenschaften, Technik, Medizin (5)
- Netzwerk-Hardware (577)
- Netzwerkprogrammierung (1)
- Netzwerkprotokolle (3)
- Netzwerksicherheit (12)
- Neurobiologie, Verhaltensbiologie (15)
- Neurologie, Klinische Neurowissenschaft (23)
- Neurowissenschaften, Kognitionswissenschaft (6)
- Nichtmetallische Chemie (1)
- Numerische Mathematik (236)
- Oberflächen- und Grenzflächenphysik, Dünne Schichten (3)
- Objektorientierte Programmierung (39)
- Office Management, Büroorganisation (1)
- Ökonometrie (66)
- Onkologie, Krebsforschung (1)
- Optik (7)
- Pädagogische Psychologie (1)
- Personal Computer (9)
- Pflanzenreproduktion, Verbreitung, Genetik (7)
- Pharmazeutische Chemie, Medizinische Chemie (2)
- Philosophie der Mathematik (3)
- Physik der Zustandsübergänge (1)
- Physiologie (2)
- Plasmaphysik (1)
- Politische Theorie, Politische Philosophie (1)
- Populäre Darstellungen der Mathematik (3)
- Populärwissenschaftliche Werke (4)
- Präventivmedizin, Gesundheitsförderung, Medizinisches Screening (1)
- Produktionsmanagement, Qualitätskontrolle (31)
- Programmier- und Skriptsprachen (244)
- Programmierung: Methoden und Allgemeines (1406)
- Prozedurale Programmierung (499)
- Psychologische Theorie, Psychoanalyse (1)
- Public Health, Gesundheitsmanagement, Gesundheitsökonomie, Gesundheitspolitik (2)
- Quantenchemie, Theoretische Chemie (8)
- Quantencomputer, DNA-Computing (17)
- Quantenoptik, Nichtlineare Optik, Laserphysik (10)
- Radartechnik (1)
- Radioaktivität (2)
- Rechnerarchitektur (241)
- Rechtliche Aspekte der EDV (10)
- Reelle Analysis (1)
- Regelungstechnik (9)
- Rehabilitation (2)
- Robotik (1096)
- Schulleitung, Schulentwicklung (1)
- Schweißtechnik (2)
- Sensorik (12)
- Sicherheitsgewerbe (1)
- Signalverarbeitung (7)
- Social Media, Semantic Web, Web 2.0 (8)
- Software Engineering (979)
- Software für Projektmanagement (1)
- Soziale Dienste, Soziale Organisationen (1)
- Soziale Gruppen & Klassen (1)
- Soziale und ethische Aspekte der EDV (203)
- Soziophysik, Wirtschaftsphysik (7)
- Spiele-Programmierung, Rendering, Animation (167)
- Spieltheorie (48)
- Stadt- und Regionalsoziologie (1)
- Stadtplanung, Kommunale Planung (2)
- Statik, Dynamik, Kinetik, Kinematik (19)
- Statistische Physik, Dynamische Systeme (39)
- Stochastische Prozesse (10)
- Strömungslehre (7)
- Systemtheorie (112)
- Systemverwaltung & Management (860)
- Tabellenkalkulation (4)
- Technische Thermodynamik (2)
- Teilchenphysik (3)
- Telekommunikationsrecht, IT-Recht, Internetrecht (10)
- Telemedizin, e-Health (3)
- Textverarbeitung (1)
- Theoretische Informatik (61)
- Theoretische Physik, Mathematische Physik, Computerphysik (59)
- Tierethologie (1)
- Tiergenetik, Reproduktion (7)
- Tierökologie (1)
- Tierphysiologie (2)
- Tonsignalverarbeitung (22)
- Toxikologie, Gefahrstoffe, Sicherheit in der Chemie (2)
- Triebwerkstechnik, Energieübertragung (10)
- Überwachungstechnik (22)
- Umweltphysik (1)
- Universitäten, Hochschulen (1)
- Unternehmensführung (7)
- Unternehmensorganisation & Entwicklungsstrategien (2)
- Unternehmenssoftware (219)
- Variationsrechnung (37)
- Vektoranalysis, Physikalische Felder (1)
- Vergleichende Politikwissenschaft (1)
- Verkehrsplanung, Verkehrspolitik (1)
- Verteilte Systeme (Netzwerke) (7)
- Vertrieb (1)
- Verwaltungsorganisation und -politik, Verwaltungslehre (2)
- Verwaltungspraxis (45)
- Verwaltungswissenschaft, Öffentliche Verwaltung (2)
- Virtuelle Realität, Erweiterte Realität (10)
- Volkswirtschaften einzelner Länder und Regionen (1)
- Wahrscheinlichkeitsrechnung (60)
- Wartung & Reparatur (106)
- Web Graphik & Design, Web-Publishing (1)
- Web Services (2)
- Webprogrammierung (23)
- Werkstoffkunde, Materialwissenschaft: Forschungsmethoden (5)
- Werkstoffprüfung (4)
- Werkzeugbau (5)
- Westliche Philosophie: 20./21. Jahrhundert (1)
- Windows Betriebssysteme (311)
- Wirbellose (Invertebrata) (1)
- Wirtschafts- und Sozialwissenschaften (1)
- Wirtschaftsinformatik (21)
- Wirtschaftsprognose (1)
- Wirtschaftstheorie, Wirtschaftsphilosophie (9)
- Wissenschaften: Theorie, Epistemologie, Methodik (13)
- Wissenschaftliches Arbeiten, Studientechnik (1)
- Wissenschaftliches Arbeiten, Studientechnik (1)
- Wissenschafts- und Universitätsgeschichte (3)
- Wissenschaftsethik, Technikethik (1)
- Wissensmanagement (5)
- Zahlentheorie (30)
- Zeichen- und Zahlendarstellungen (682)
- Zentralregierung (2)
- Zuverlässigkeitstechnik (1)