Site Breadcrumb
Fdida / Rizzo
Networked Group Communication
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Fdida / Rizzo
Networked Group Communication
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-66782-7 (Buch)
- Erscheinungstermin: 08.11.1999
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
O'Leary / Aagaard
Formal Methods in Computer-Aided Design
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
O'Leary / Aagaard
Formal Methods in Computer-Aided Design
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-00116-4 (Buch)
- Erscheinungstermin: 23.10.2002
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Dimitrova / Wolff / Lahav
Verification, Model Checking, and Abstract Interpretation
80,24 € (inkl. MwSt.)
74,99 € (zzgl. MwSt.)
Dimitrova / Wolff / Lahav
Verification, Model Checking, and Abstract Interpretation
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-50523-2 (Buch)
- Erscheinungstermin: 03.01.2024
- Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.)
74,99 € (zzgl. MwSt.)
Johnson / Hunt
Formal Methods in Computer-Aided Design
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Johnson / Hunt
Formal Methods in Computer-Aided Design
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-41219-9 (Buch)
- Erscheinungstermin: 18.10.2000
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Tagliaferri / Marinaro
Neural Nets
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Tagliaferri / Marinaro
Neural Nets
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-44265-3 (Buch)
- Erscheinungstermin: 27.09.2002
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Vijaykumar / Falsafi
Power-Aware Computer Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Vijaykumar / Falsafi
Power-Aware Computer Systems
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-24031-0 (Buch)
- Erscheinungstermin: 17.12.2004
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Peled / Alur
Computer Aided Verification
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Peled / Alur
Computer Aided Verification
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-22342-9 (Buch)
- Erscheinungstermin: 29.06.2004
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Melham / Margaria
Correct Hardware Design and Verification Methods
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Melham / Margaria
Correct Hardware Design and Verification Methods
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-42541-0 (Buch)
- Erscheinungstermin: 27.08.2001
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Paterno / Palanque
Interactive Systems. Design, Specification, and Verification
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Paterno / Palanque
Interactive Systems. Design, Specification, and Verification
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-41663-0 (Buch)
- Erscheinungstermin: 30.01.2001
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Silvano / Reichenbach / Pilato
Embedded Computer Systems: Architectures, Modeling, and Simulation
128,39 € (inkl. MwSt.)
119,99 € (zzgl. MwSt.)
Silvano / Reichenbach / Pilato
Embedded Computer Systems: Architectures, Modeling, and Simulation
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-46076-0 (Buch)
- Erscheinungstermin: 07.11.2023
- Lieferzeit ca. 10 Werktage
128,39 € (inkl. MwSt.)
119,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Betriebswirtschaft (2)
- Biowissenschaften (3)
- Chemie (1)
- Design (10)
- EDV | Informatik (145)
- Elektronik | Nachrichtentechnik (12)
- Geographie | Raumplanung (1)
- Mathematik (15)
- Medien- und Kommunikationswissenschaften (9)
- Medizin | Public Health | Pharmazie | Zahnmedizin (2)
- Pädagogik (4)
- Sonstige Technologien | Angewandte Technik (3)
- Soziologie | Soziale Arbeit (3)
- Sprachwissenschaft (1)
- Technik Allgemein (16)
- Wirtschaftswissenschaften (8)
- Wissenschaften (15)
Unterthema 2
- Angewandte Biologie (2)
- Angewandte Informatik (26)
- Betriebssysteme (13)
- Biowissenschaften (2)
- Chemie Allgemein (1)
- Computeranwendungen in der Technik (9)
- Computerkommunikation & -vernetzung (40)
- Daten / Datenbanken (22)
- Digital Lifestyle (8)
- EDV & Informatik Allgemein (12)
- Elektronik (10)
- Informatik (104)
- Interface Design, Interaktionsdesign, Application Design (5)
- Kommunikationswissenschaften (9)
- Konstruktionslehre und -technik (5)
- Lehrerausbildung, Unterricht & Didaktik (4)
- Literatur für Manager (1)
- Management (1)
- Mathematik für Ingenieure (3)
- Mathematik Interdisziplinär (11)
- Medienwissenschaften (1)
- Medizin, Gesundheitswesen (2)
- Medizintechnik, Biomedizintechnik (1)
- Modellierung & Simulation (4)
- Nachrichten- und Kommunikationstechnik (2)
- Numerik und Wissenschaftliches Rechnen (4)
- Produktdesign, Industriedesign (5)
- Professionelle Anwendung (25)
- Programmierung | Softwareentwicklung (84)
- Regional- & Raumplanung (1)
- Signalverarbeitung, Bildverarbeitung, Scanning (2)
- Soziale Gruppen/Soziale Themen (1)
- Spezielle Soziologie (2)
- Technik: Allgemeines (1)
- Technische Informatik (145)
- Übersetzungswissenschaft, Translatologie, Dolmetschen (1)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (8)
- Wirtschaftsmathematik und -statistik (1)
- Wissenschaften: Forschung und Information (15)
Unterthema 3
- Algebraische Geometrie (20)
- Algebraische Strukturen, Gruppentheorie (7)
- Algebraische Topologie (4)
- Algorithmen & Datenstrukturen (634)
- Allgemeine Didaktik (5)
- Anatomie (3)
- Angewandte Mathematik, Mathematische Modelle (98)
- Arbeitsplatz, Arbeitsschutz, Gefahrstoffschutz (1)
- Automatische Datenerfassung, Datenanalyse (59)
- Bauelemente, Schaltkreise (11)
- Berechenbarkeitstheorie, Komplexitätstheorie (77)
- Besondere Themen und Arten der Fotografie (2)
- Big Data (20)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (51)
- Bildsignalverarbeitung (967)
- Binnenhandel (1)
- Bioinformatik (202)
- Bioinformatik (216)
- Biologische Psychologie, Neuropsychologie (8)
- Biomathematik (11)
- Biomedizin, Medizinische Forschung, Klinische Studien (5)
- Chemometrik, Chemoinformatik (5)
- Client-Server Netzwerke (1)
- Cloud-Computing, Grid-Computing (122)
- Compiler (96)
- Computer-Aided Design (CAD) (89)
- Computeralgebra (28)
- Computeranwendungen in der Mathematik (80)
- Computeranwendungen in Geistes- und Sozialwissenschaften (255)
- Computeranwendungen in Wissenschaft & Technologie (173)
- Computergestützte Fertigung (3)
- Computersicherheit (966)
- Computersimulation & Modelle, 3-D Graphik (140)
- Computerspiele, Internetspiele (3)
- Data Mining (470)
- Data Warehouse (132)
- Datenanalyse, Datenverarbeitung (21)
- Datenbankdesign & Datenbanktheorie (14)
- Datenbanken & das Web (29)
- Datenbankprogrammierung (24)
- Datenkompression, Dokumentaustauschformate (628)
- Desktop-Publishing, E-Publishing (5)
- Dienstprogramme (4)
- Differentialgeometrie (4)
- Differentialrechnungen und -gleichungen (1)
- Digitale Animation (37)
- Digitale Fotographie (2)
- Digitale Medien, Internet, Telekommunikation (102)
- Digitale Musik (1)
- Digitales Video (4)
- Diskrete Mathematik, Kombinatorik (61)
- DNA und Transgene Organismen (5)
- Drahtlostechnologie (79)
- E-Commerce, E-Business, E-Marketing (98)
- E-Learning (121)
- E-Learning, Bildungstechnologie (201)
- Echtzeitbetriebssysteme (3)
- EDV & Informatik: Ausbildung & Berufe (2)
- EDV & Informatik: Geschichte (5)
- Eingebettete Systeme (27)
- Einkauf, Logistik, Supply-Chain-Management (7)
- Elektrizität, Elektrodynamik (2)
- Elektronische Baugruppen, Elektronische Materialien (2)
- Elektronische Musik (3)
- Elektronischer Datenaustausch (EDI) (1)
- Elementare Algebra (124)
- Elementare Analysis und Allgemeine Begriffe (2)
- Elementare Geometrie: Allgemeines (8)
- Elementare Stochastik (5)
- Empirische Sozialforschung, Statistik (1)
- Entscheidungsfindung (4)
- Entwicklungspsychologie (1)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (13)
- Erwachsenenbildung, lebenslanges Lernen (1)
- Ethnographie (1)
- Euklidische Geometrie (1)
- Evolutionsbiologie (14)
- Externe Speicher & Peripheriegeräte (788)
- Fernmeldetechnik (66)
- Fernsehtechnik (3)
- Finanz- und Versicherungsmathematik (2)
- Finanzierung, Investition, Leasing (1)
- Forensik, Rechtsmedizin, Gerichtsmedizin (2)
- Forschung & Entwicklung (F&E), Innovation (3)
- Forschungsmethodik, Wissenschaftliche Ausstattung (3)
- Fotobeabeitung und Bildbearbeitung (35)
- Freizeitsoziologie, Konsumsoziologie, Alltagssoziologie, Populärkultur (1)
- Funktechnik (47)
- Funktionale, Logische, Parallele und Visuelle Programmierung (240)
- Funktionentheorie, Komplexe Analysis (1)
- Genetik und Genomik (nichtmedizinisch) (4)
- Geophysik (3)
- Geriatrie, Gerontologie (1)
- Gesundheits- und Sicherheitstechnische Aspekte der EDV (3)
- Gesundheitssystem, Gesundheitswesen (8)
- Grafikprogrammierung (828)
- Graphentheorie (89)
- Grid-Computing & Paralleles Rechnen (139)
- Großrechner & Minicomputer (1)
- Groupware (24)
- Grundlagen der Mathematik (91)
- Gynäkologie, Geburtshilfe (1)
- Hardware: Grundlagen und Allgemeines (145)
- Hochleistungsrechnen, Supercomputer (206)
- Homologische Algebra (34)
- Humangenetik (1)
- Immunologie (1)
- Industrielle Biotechnologie (1)
- Industrielle Qualitätskontrolle (3)
- Information Retrieval (168)
- Informationstechnik, IT-Industrie (20)
- Informationstheorie, Kodierungstheorie (364)
- Informationstheorie, Kodierungstheorie (537)
- Innen-, Bildungs- und Bevölkerungspolitik (1)
- Innere Medizin (5)
- Installations-, Aktions-, Computer- und Videokunst (3)
- Interaktionsdesign für Computerspiele (10)
- Internet, E-Mail, Social Media (143)
- Internet, E-Mail, VoIP (100)
- Invalidität, Krankheit und Abhängigkeit: Soziale Aspekte (5)
- Iranische Literatur (1)
- Kardiologie, Angiologie, Phlebologie (8)
- Kognitionspsychologie (11)
- Krankenhausmanagement, Praxismanagement (2)
- Kryptologie, Informationssicherheit (416)
- Kultur-, Wissenschafts- & Technologiepolitik (1)
- Kultursoziologie (2)
- Kulturwissenschaften (3)
- Künstliche Intelligenz (4112)
- Kybernetik, Systemtheorie, Komplexe Systeme (163)
- Lineare und multilineare Algebra, Matrizentheorie (8)
- Logik, formale Sprachen, Automaten (2203)
- Luftfahrtindustrie (1)
- Marketing (2)
- Mathematik für Informatiker (806)
- Mathematische & Statistische Software (12)
- Mathematische Logik (148)
- Mathematische Modellierung (1)
- Mathematische Statistik (44)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (4)
- Medien & Gesellschaft, Medienwirkungsforschung (2)
- Mediensoziologie (4)
- Medizinische Mathematik & Informatik (143)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (155)
- Mengentheoretische Topologie (9)
- Mensch-Maschine-Interaktion (1066)
- Microsoft Programmierung (3)
- Mikroökonomie (3)
- Mikroprozessoren (31)
- Mobilfunk (2)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (70)
- Moderne Anwendungen der Analysis (13)
- Molekulare Medizin, Zellbiologie (2)
- Multimedia (36)
- Museumskunde, Materielle Kultur, Erinnerungskultur (6)
- Musikalische Akustik, Tontechnik, Musikaufnahme (7)
- Musiktheorie, Musikästhetik, Kompositionslehre (6)
- Nachrichtendienste, Geheimdienste (3)
- Nationale und Internationale Sicherheits- und Verteidigungspolitik (1)
- Natürliche Sprachen & Maschinelle Übersetzung (118)
- Naturwissenschaften, Technik, Medizin (6)
- Netzwerk-Hardware (1219)
- Netzwerkmanagement (17)
- Netzwerkprotokolle (19)
- Netzwerksicherheit (315)
- Neurobiologie, Verhaltensbiologie (6)
- Neurochirurgie (2)
- Neurologie, Klinische Neurowissenschaft (20)
- Neurowissenschaften, Kognitionswissenschaft (18)
- Nicht-Euklidische Geometrie (2)
- NoSQL, Objektorientierte Datenbanken (3)
- Numerische Mathematik (188)
- Objektorientierte Programmierung (86)
- Öffentliche Gebäude, Gewerbliche Bauten (1)
- Office Management, Büroorganisation (1)
- Ökologie (2)
- Ökonometrie (21)
- Onkologie, Krebsforschung (1)
- Optik (2)
- Optimierung (15)
- Optische Nachrichtentechnik (2)
- Pathologie, Cytopathologie, Histopathologie (1)
- Personal Computer (20)
- Pflanzenreproduktion, Verbreitung, Genetik (2)
- Philosophie der Mathematik (3)
- Philosophie der Technik (2)
- Philosophie des Geistes, Neurophilosophie (1)
- Physiologie (1)
- Physische Anthropologie (1)
- Politische Führung (1)
- Politische Kommunikation und Partizipation (13)
- Produktionsmanagement, Qualitätskontrolle (15)
- Programmier- und Skriptsprachen (436)
- Programmierung: Methoden und Allgemeines (1353)
- Projektmanagement (1)
- Prozedurale Programmierung (559)
- Psychologische Theorie, Psychoanalyse (1)
- Public Health, Gesundheitsmanagement, Gesundheitsökonomie, Gesundheitspolitik (1)
- Qualitätsmanagement, Qualitätssicherung (QS), Total Quality Management (TQM) (1)
- Quantenchemie, Theoretische Chemie (2)
- Quantencomputer, DNA-Computing (26)
- Quantenoptik, Nichtlineare Optik, Laserphysik (3)
- Rechnerarchitektur (331)
- Rechtliche Aspekte der EDV (29)
- Regelungstechnik (6)
- Relationale Datenbanken (1)
- Risikobewertung, Risikotheorie (3)
- Risikomanagement (4)
- Robotik (733)
- Schaltungsentwurf (12)
- Schulleitung, Schulentwicklung (1)
- Sensorik (13)
- Sicherheitsgewerbe (2)
- Signalverarbeitung (57)
- Social Media, Semantic Web, Web 2.0 (118)
- Software Engineering (1965)
- Software für Projektmanagement (1)
- Sonderpädagogik, Heilpädagogik (1)
- Soziale Dienste, Soziale Organisationen (1)
- Soziale Gruppen & Klassen (1)
- Soziale und ethische Aspekte der EDV (337)
- Spiele-Programmierung, Rendering, Animation (165)
- Spieltheorie (45)
- Sport: Politik, Ökonomie, Ökologie (1)
- Staats- und Regierungsformen, Staatslehre (1)
- Stadt- und Regionalsoziologie (2)
- Stadtplanung, Kommunale Planung (4)
- Statistische Physik, Dynamische Systeme (4)
- Stochastische Prozesse (7)
- Systembiologie (1)
- Systemtheorie (161)
- Systemverwaltung & Management (1055)
- Tabellenkalkulation (5)
- Teilchenphysik (1)
- Telekommunikationsrecht, IT-Recht, Internetrecht (17)
- Telekommunikationswirtschaft, Post (1)
- Telemedizin, e-Health (12)
- Terrorismus, Religiöser Fundamentalismus (1)
- Textverarbeitung (2)
- Theoretische Informatik (372)
- Theoretische Linguistik (4)
- Theoretische Physik, Mathematische Physik, Computerphysik (20)
- Tierethologie (1)
- Tiergenetik, Reproduktion (2)
- Tierökologie (1)
- Tierphysiologie (1)
- Tonsignalverarbeitung (25)
- Tourismus & Reise: Soziologie, Psychologie, Kultur (1)
- Tourismuswirtschaft, Gastgewerbe (1)
- Überwachungstechnik (10)
- Unternehmensführung (3)
- Unternehmenssoftware (236)
- Variationsrechnung (10)
- Verteilte Datenbanken (7)
- Verteilte Systeme (Netzwerke) (62)
- Vertrieb (2)
- Verwaltungsorganisation und -politik, Verwaltungslehre (4)
- Verwaltungspraxis (51)
- Verwaltungswissenschaft, Öffentliche Verwaltung (13)
- Virtuelle Maschinen, Virtualisierung (1)
- Virtuelle Realität, Erweiterte Realität (45)
- Wahlen und Volksabstimmungen (2)
- Wahrscheinlichkeitsrechnung (32)
- Wartung & Reparatur (248)
- Web Graphik & Design, Web-Publishing (4)
- Web Services (27)
- Webprogrammierung (44)
- Windows Betriebssysteme (405)
- Wirtschafts- und Sozialwissenschaften (3)
- Wirtschafts-, Arbeits- und Organisationspsychologie (1)
- Wirtschaftsinformatik (80)
- Wirtschaftspädagogik, Berufspädagogik (1)
- Wirtschaftstheorie, Wirtschaftsphilosophie (2)
- Wissenschaften: Theorie, Epistemologie, Methodik (7)
- Wissensmanagement (7)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (4)
- Zahlentheorie (19)
- Zeichen- und Zahlendarstellungen (752)
- Zentralregierung (3)
- Zuverlässigkeitstechnik (7)