Site Breadcrumb
Margaria / Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Margaria / Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
- Verlag: Springer
- ISBN: 978-3-319-47168-6 (Buch)
- Erscheinungstermin: 06.10.2016
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Epstein / Erlebach
Approximation and Online Algorithms
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Epstein / Erlebach
Approximation and Online Algorithms
- Verlag: Springer
- ISBN: 978-3-030-04692-7 (Buch)
- Erscheinungstermin: 29.11.2018
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Wang / Li
Simulated Evolution and Learning
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Wang / Li
Simulated Evolution and Learning
- Verlag: Springer
- ISBN: 978-3-540-47331-2 (Buch)
- Erscheinungstermin: 06.10.2006
-
Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Silva / Staton / Sutton
Language, Logic, and Computation
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Silva / Staton / Sutton
Language, Logic, and Computation
- Verlag: Springer
- ISBN: 978-3-662-59564-0 (Buch)
- Erscheinungstermin: 04.07.2019
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Lupanov / Kasim-Zade / Chaskin
Stochastic Algorithms: Foundations and Applications
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Lupanov / Kasim-Zade / Chaskin
Stochastic Algorithms: Foundations and Applications
- Verlag: Springer
- ISBN: 978-3-540-29498-6 (Buch)
- Erscheinungstermin: 13.10.2005
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Herkersdorf / Römer / Brinkschulte
Architecture of Computing Systems - ARCS 2012
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Herkersdorf / Römer / Brinkschulte
Architecture of Computing Systems - ARCS 2012
- Verlag: Springer
- ISBN: 978-3-642-28292-8 (Buch)
- Erscheinungstermin: 14.02.2012
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Betriebswirtschaft (10)
- Bibliothekswesen, Informationswissenschaften (1)
- Biowissenschaften (61)
- Chemie (1)
- Design (21)
- EDV | Informatik (935)
- Elektronik | Nachrichtentechnik (69)
- Geologie (1)
- Kunst (2)
- Maschinenbau | Werkstoffkunde (2)
- Mathematik (178)
- Medien- und Kommunikationswissenschaften (2)
- Medizin | Public Health | Pharmazie | Zahnmedizin (12)
- Musikwissenschaft (3)
- Pädagogik (9)
- Philosophie (2)
- Physik (11)
- Psychologie (3)
- Sonstige Technologien | Angewandte Technik (18)
- Sprachwissenschaft (16)
- Technik Allgemein (45)
- Volkswirtschaftslehre (3)
- Wissenschaften (43)
Unterthema 2
- Akustik, Tontechnik (3)
- Algebra (16)
- Allgemeine Psychologie (3)
- Angewandte Biologie (53)
- Angewandte Informatik (87)
- Angewandte Physik (1)
- Bereichsspezifisches Management (5)
- Betriebssysteme (56)
- Bionik, Biomimetik (20)
- Biowissenschaften (35)
- Business Application (6)
- Computeranwendungen in der Technik (10)
- Computerkommunikation & -vernetzung (100)
- Computerlinguistik, Korpuslinguistik (16)
- Daten / Datenbanken (116)
- Design: Allgemeines & Theorie (3)
- EDV & Informatik Allgemein (25)
- EDV Systeme, Internet und elektronische Ressourcen in Bibliotheken (1)
- Elektromagnetismus (1)
- Elektronik (55)
- Geometrie (9)
- GIS, Geoinformatik (1)
- Informatik (752)
- Interface Design, Interaktionsdesign, Application Design (13)
- Klinische und Innere Medizin (5)
- Kommunikationswissenschaften (2)
- Konstruktionslehre und -technik (5)
- Kunst, allgemein (2)
- Lasertechnologie, Holographie (1)
- Lehrerausbildung, Unterricht & Didaktik (9)
- Maschinenbau (2)
- Mathematik Allgemein (43)
- Mathematik für Ingenieure (1)
- Mathematik Interdisziplinär (27)
- Mathematische Analysis (13)
- Medizin, Gesundheitswesen (6)
- Medizinische Fachgebiete (1)
- Medizintechnik, Biomedizintechnik (5)
- Modellierung & Simulation (8)
- Moderne Philosophische Disziplinen (1)
- Molekularbiologie (2)
- Musikwissenschaft Allgemein (3)
- Nachhaltigkeit, Grüne Technologien (2)
- Nachrichten- und Kommunikationstechnik (15)
- Nanotechnologie (2)
- Numerik und Wissenschaftliches Rechnen (69)
- Operations Research (40)
- Philosophie der Technik (1)
- Philosophische Logik, Argumentationstheorie (1)
- Physik Allgemein (6)
- Physikalische Chemie (1)
- Produktdesign, Industriedesign (5)
- Professionelle Anwendung (45)
- Programmierung | Softwareentwicklung (486)
- Proteinforschung (1)
- Quantenphysik (3)
- Signalverarbeitung, Bildverarbeitung, Scanning (12)
- Sprachwissenschaften (1)
- Stochastik (7)
- Technik: Allgemeines (1)
- Technische Informatik (226)
- Technische Optik, Lasertechnologie (1)
- Topologie (3)
- Unternehmensforschung (2)
- Volkswirtschaftslehre Allgemein (3)
- Vorklinische Medizin: Grundlagenfächer (1)
- Wirtschaftsinformatik, SAP, IT-Management (3)
- Wirtschaftsmathematik und -statistik (2)
- Wissenschaften Interdisziplinär (12)
- Wissenschaften: Forschung und Information (31)
- Zellbiologie (1)
Unterthema 3
- Algebraische Geometrie (3)
- Algebraische Topologie (1)
- Algorithmen & Datenstrukturen (203)
- Allgemeine Didaktik (2)
- Angewandte Mathematik, Mathematische Modelle (16)
- Atom- und Molekülphysik (1)
- Automatische Datenerfassung, Datenanalyse (1)
- Bauelemente, Schaltkreise (2)
- Berechenbarkeitstheorie, Komplexitätstheorie (39)
- Big Data (3)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (1)
- Bildsignalverarbeitung (19)
- Bioinformatik (52)
- Bioinformatik (52)
- Biologische Psychologie, Neuropsychologie (3)
- Biomathematik (1)
- Biophysik (1)
- Biophysik (1)
- Cloud-Computing, Grid-Computing (25)
- Compiler (12)
- Computer-Aided Design (CAD) (7)
- Computeralgebra (10)
- Computeranwendungen in der Mathematik (9)
- Computeranwendungen in Geistes- und Sozialwissenschaften (8)
- Computeranwendungen in Wissenschaft & Technologie (19)
- Computersicherheit (17)
- Computersimulation & Modelle, 3-D Graphik (22)
- Data Mining (29)
- Data Warehouse (9)
- Datenbankdesign & Datenbanktheorie (2)
- Datenkompression, Dokumentaustauschformate (19)
- Digitale Animation (3)
- Digitale Medien, Internet, Telekommunikation (2)
- Diskrete Mathematik, Kombinatorik (16)
- Drahtlostechnologie (7)
- E-Commerce, E-Business, E-Marketing (3)
- E-Learning (7)
- E-Learning, Bildungstechnologie (7)
- Echtzeitbetriebssysteme (1)
- EDV & Informatik: Ausbildung & Berufe (3)
- EDV & Informatik: Geschichte (3)
- Eingebettete Systeme (2)
- Einkauf, Logistik, Supply-Chain-Management (2)
- Elektronische Baugruppen, Elektronische Materialien (1)
- Elementare Algebra (3)
- Elementare Stochastik (2)
- Evolutionsbiologie (2)
- Externe Speicher & Peripheriegeräte (77)
- Fernmeldetechnik (1)
- Funktechnik (1)
- Funktionale, Logische, Parallele und Visuelle Programmierung (53)
- Gesundheitssystem, Gesundheitswesen (1)
- Grafikprogrammierung (69)
- Graphentheorie (20)
- Grid-Computing & Paralleles Rechnen (45)
- Grundlagen der Mathematik (5)
- Hardware: Grundlagen und Allgemeines (14)
- Hochleistungsrechnen, Supercomputer (35)
- Homologische Algebra (4)
- Immunologie (1)
- Information Retrieval (7)
- Informationstheorie, Kodierungstheorie (14)
- Informationstheorie, Kodierungstheorie (14)
- Internet, E-Mail, VoIP (2)
- Kryptologie, Informationssicherheit (8)
- Künstliche Intelligenz (262)
- Kybernetik, Systemtheorie, Komplexe Systeme (17)
- Logik, formale Sprachen, Automaten (359)
- Mathematik für Informatiker (108)
- Mathematische & Statistische Software (5)
- Mathematische Logik (26)
- Mathematische Modellierung (1)
- Mathematische Statistik (5)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (2)
- Medizinische Mathematik & Informatik (1)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (5)
- Mensch-Maschine-Interaktion (25)
- Microsoft Programmierung (2)
- Mikroökonomie (1)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (7)
- Moderne Anwendungen der Analysis (12)
- Molekulare Chemische Nanostrukturen (1)
- Molekulare Medizin, Zellbiologie (1)
- Musikalische Akustik, Tontechnik, Musikaufnahme (3)
- Natürliche Sprachen & Maschinelle Übersetzung (3)
- Naturwissenschaften, Technik, Medizin (1)
- Netzwerk-Hardware (97)
- Netzwerkmanagement (1)
- Netzwerksicherheit (3)
- Neurobiologie, Verhaltensbiologie (1)
- Neurologie, Klinische Neurowissenschaft (4)
- Neurowissenschaften, Kognitionswissenschaft (11)
- Numerische Mathematik (28)
- Objektorientierte Programmierung (3)
- Ökonometrie (2)
- Optimierung (7)
- Optische Nachrichtentechnik (3)
- Philosophie der Technik (1)
- Programmier- und Skriptsprachen (51)
- Programmierung: Methoden und Allgemeines (155)
- Prozedurale Programmierung (31)
- Quantenchemie, Theoretische Chemie (1)
- Quantencomputer, DNA-Computing (17)
- Quantenoptik, Nichtlineare Optik, Laserphysik (1)
- Rechnerarchitektur (35)
- Regelungstechnik (3)
- Robotik (45)
- Schaltungsentwurf (8)
- Social Media, Semantic Web, Web 2.0 (1)
- Software Engineering (207)
- Soziale und ethische Aspekte der EDV (2)
- Spiele-Programmierung, Rendering, Animation (11)
- Spieltheorie (10)
- Stochastische Prozesse (2)
- Systemtheorie (17)
- Systemverwaltung & Management (56)
- Telemedizin, e-Health (1)
- Theoretische Informatik (114)
- Theoretische Linguistik (1)
- Theoretische Physik, Mathematische Physik, Computerphysik (6)
- Tonsignalverarbeitung (1)
- Unternehmenssoftware (1)
- Verteilte Systeme (Netzwerke) (21)
- Virtuelle Maschinen, Virtualisierung (1)
- Virtuelle Realität, Erweiterte Realität (1)
- Wahrscheinlichkeitsrechnung (5)
- Wartung & Reparatur (29)
- Windows Betriebssysteme (53)
- Wirtschafts- und Sozialwissenschaften (1)
- Wirtschaftsinformatik (3)
- Zahlentheorie (4)
- Zeichen- und Zahlendarstellungen (38)