Site Breadcrumb
Anzahl Produkte: 2
Lecture Notes in Computer Science
Professionelle Anwendung
Mathematische & Statistische Software
Dams / Massinek / Gerth
Theoretical and Practical Aspects of SPIN Model Checking
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Dams / Massinek / Gerth
Theoretical and Practical Aspects of SPIN Model Checking
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-66499-4 (Buch)
- Erscheinungstermin: 08.09.1999
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Leung / Lee / Chan
Neural Information Processing
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Leung / Lee / Chan
Neural Information Processing
- Verlag: Springer
- ISBN: 978-3-642-10676-7 (Buch)
- Erscheinungstermin: 24.11.2009
- Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 2
- Angewandte Biologie (1)
- Angewandte Informatik (1)
- Business Application (12)
- Daten / Datenbanken (4)
- Elektronik (1)
- Informatik (8)
- Interface Design, Interaktionsdesign, Application Design (1)
- Mathematik Allgemein (1)
- Modellierung & Simulation (1)
- Nachrichten- und Kommunikationstechnik (1)
- Numerik und Wissenschaftliches Rechnen (3)
- Operations Research (1)
- Professionelle Anwendung (2)
- Programmierung | Softwareentwicklung (6)
- Signalverarbeitung, Bildverarbeitung, Scanning (2)
- Stochastik (2)
- Technische Informatik (1)
- Wissenschaften: Forschung und Information (1)
Unterthema 3
- Algebraische Geometrie (5)
- Algebraische Strukturen, Gruppentheorie (1)
- Algebraische Topologie (1)
- Algorithmen & Datenstrukturen (67)
- Anatomie (2)
- Angewandte Mathematik, Mathematische Modelle (10)
- Automatische Datenerfassung, Datenanalyse (4)
- Bauelemente, Schaltkreise (2)
- Berechenbarkeitstheorie, Komplexitätstheorie (3)
- Besondere Themen und Arten der Fotografie (2)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (8)
- Bildsignalverarbeitung (54)
- Bioinformatik (7)
- Bioinformatik (7)
- Biologische Psychologie, Neuropsychologie (1)
- Biomedizin, Medizinische Forschung, Klinische Studien (1)
- Chemometrik, Chemoinformatik (3)
- Cloud-Computing, Grid-Computing (1)
- Computer-Aided Design (CAD) (89)
- Computeralgebra (5)
- Computeranwendungen in der Mathematik (8)
- Computeranwendungen in Geistes- und Sozialwissenschaften (13)
- Computeranwendungen in Wissenschaft & Technologie (80)
- Computergestützte Fertigung (3)
- Computersicherheit (3)
- Computersimulation & Modelle, 3-D Graphik (140)
- Computerspiele, Internetspiele (2)
- Data Mining (56)
- Data Warehouse (26)
- Datenbanken & das Web (1)
- Datenkompression, Dokumentaustauschformate (56)
- Desktop-Publishing, E-Publishing (5)
- Differentialgeometrie (2)
- Digitale Animation (37)
- Digitale Fotographie (2)
- Digitale Medien, Internet, Telekommunikation (10)
- Digitale Musik (1)
- Digitales Video (4)
- Diskrete Mathematik, Kombinatorik (1)
- E-Commerce, E-Business, E-Marketing (1)
- E-Learning (18)
- E-Learning, Bildungstechnologie (18)
- Einkauf, Logistik, Supply-Chain-Management (1)
- Elektronische Baugruppen, Elektronische Materialien (1)
- Elektronische Musik (1)
- Elementare Algebra (11)
- Elementare Geometrie: Allgemeines (3)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (1)
- Erwachsenenbildung, lebenslanges Lernen (1)
- Euklidische Geometrie (1)
- Externe Speicher & Peripheriegeräte (37)
- Fernmeldetechnik (9)
- Fernsehtechnik (1)
- Fotobeabeitung und Bildbearbeitung (35)
- Freizeitsoziologie, Konsumsoziologie, Alltagssoziologie, Populärkultur (1)
- Funktechnik (5)
- Funktionale, Logische, Parallele und Visuelle Programmierung (7)
- Geophysik (3)
- Geriatrie, Gerontologie (1)
- Gesundheitssystem, Gesundheitswesen (5)
- Grafikprogrammierung (154)
- Graphentheorie (12)
- Grid-Computing & Paralleles Rechnen (4)
- Groupware (6)
- Grundlagen der Mathematik (2)
- Hardware: Grundlagen und Allgemeines (25)
- Hochleistungsrechnen, Supercomputer (16)
- Homologische Algebra (2)
- Industrielle Biotechnologie (1)
- Information Retrieval (19)
- Informationstheorie, Kodierungstheorie (16)
- Informationstheorie, Kodierungstheorie (15)
- Innere Medizin (1)
- Interaktionsdesign für Computerspiele (10)
- Internet, E-Mail, Social Media (16)
- Internet, E-Mail, VoIP (8)
- Invalidität, Krankheit und Abhängigkeit: Soziale Aspekte (1)
- Kardiologie, Angiologie, Phlebologie (3)
- Künstliche Intelligenz (248)
- Kybernetik, Systemtheorie, Komplexe Systeme (16)
- Logik, formale Sprachen, Automaten (101)
- Mathematik für Informatiker (53)
- Mathematische & Statistische Software (2)
- Mathematische Logik (4)
- Mathematische Modellierung (1)
- Mathematische Statistik (4)
- Mediensoziologie (1)
- Medizinische Mathematik & Informatik (5)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (4)
- Mengentheoretische Topologie (4)
- Mensch-Maschine-Interaktion (90)
- Mikroprozessoren (4)
- Moderne Anwendungen der Analysis (3)
- Molekulare Medizin, Zellbiologie (1)
- Multimedia (36)
- Museumskunde, Materielle Kultur, Erinnerungskultur (2)
- Musikalische Akustik, Tontechnik, Musikaufnahme (2)
- Musiktheorie, Musikästhetik, Kompositionslehre (1)
- Natürliche Sprachen & Maschinelle Übersetzung (9)
- Netzwerk-Hardware (83)
- Netzwerkmanagement (1)
- Netzwerkprotokolle (1)
- Netzwerksicherheit (1)
- Neurobiologie, Verhaltensbiologie (1)
- Neurologie, Klinische Neurowissenschaft (2)
- Numerische Mathematik (21)
- Objektorientierte Programmierung (1)
- Ökonometrie (3)
- Physiologie (1)
- Produktionsmanagement, Qualitätskontrolle (2)
- Programmier- und Skriptsprachen (12)
- Programmierung: Methoden und Allgemeines (62)
- Prozedurale Programmierung (11)
- Psychologische Theorie, Psychoanalyse (1)
- Rechnerarchitektur (18)
- Robotik (53)
- Sensorik (2)
- Social Media, Semantic Web, Web 2.0 (2)
- Software Engineering (98)
- Soziale und ethische Aspekte der EDV (14)
- Spiele-Programmierung, Rendering, Animation (47)
- Spieltheorie (5)
- Systemtheorie (16)
- Systemverwaltung & Management (75)
- Theoretische Informatik (6)
- Theoretische Physik, Mathematische Physik, Computerphysik (6)
- Tonsignalverarbeitung (7)
- Überwachungstechnik (3)
- Unternehmenssoftware (16)
- Variationsrechnung (2)
- Verwaltungspraxis (3)
- Virtuelle Realität, Erweiterte Realität (9)
- Wahrscheinlichkeitsrechnung (3)
- Wartung & Reparatur (60)
- Web Graphik & Design, Web-Publishing (4)
- Webprogrammierung (5)
- Windows Betriebssysteme (18)
- Wirtschaftsinformatik (5)
- Wirtschaftstheorie, Wirtschaftsphilosophie (1)
- Zeichen- und Zahlendarstellungen (47)
- Zuverlässigkeitstechnik (2)