Site Breadcrumb
Cornélio / Roscoe
Formal Methods: Foundations and Applications
42,80 € (inkl. MwSt.)
40,00 € (zzgl. MwSt.)
Cornélio / Roscoe
Formal Methods: Foundations and Applications
- Verlag: Palgrave Macmillan
- ISBN: 978-3-319-29472-8 (Buch)
- Erscheinungstermin: 03.02.2016
-
Lieferzeit ca. 10 Werktage
42,80 € (inkl. MwSt.)
40,00 € (zzgl. MwSt.)
Sadayappan / Parashar / Badrinath
High Performance Computing - HiPC 2008
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Sadayappan / Parashar / Badrinath
High Performance Computing - HiPC 2008
- Verlag: Springer
- ISBN: 978-3-540-89893-1 (Buch)
- Erscheinungstermin: 23.11.2008
-
Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Dumke / Braungarten / Büren
Software Process and Product Measurement
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Dumke / Braungarten / Büren
Software Process and Product Measurement
- Verlag: Springer
- ISBN: 978-3-540-89402-5 (Buch)
- Erscheinungstermin: 12.11.2008
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Wobcke / Zhang
AI 2008: Advances in Artificial Intelligence
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Wobcke / Zhang
AI 2008: Advances in Artificial Intelligence
- Verlag: Springer
- ISBN: 978-3-540-89377-6 (Buch)
- Erscheinungstermin: 13.11.2008
-
Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Bakker / Leeuwen
Automata, Languages and Programming
50,28 € (inkl. MwSt.)
46,99 € (zzgl. MwSt.)
Bakker / Leeuwen
Automata, Languages and Programming
- Verlag: Springer
- ISBN: 978-3-540-10003-4 (Buch)
- Erscheinungstermin: 01.06.1980
-
Lieferzeit ca. 10 Werktage
50,28 € (inkl. MwSt.)
46,99 € (zzgl. MwSt.)
Balandin / Moltchanov / Koucheryavy
Next Generation Teletraffic and Wired/Wireless Advanced Networking
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Balandin / Moltchanov / Koucheryavy
Next Generation Teletraffic and Wired/Wireless Advanced Networking
- Verlag: Springer
- ISBN: 978-3-540-85499-9 (Buch)
- Erscheinungstermin: 25.08.2008
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Johannesson / Lee / Liddle
Conceptual Modeling
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Johannesson / Lee / Liddle
Conceptual Modeling
- Verlag: Palgrave Macmillan
- ISBN: 978-3-319-25263-6 (Buch)
- Erscheinungstermin: 08.12.2015
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Cassez / Jard
Formal Modeling and Analysis of Timed Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Cassez / Jard
Formal Modeling and Analysis of Timed Systems
- Verlag: Springer
- ISBN: 978-3-540-85777-8 (Buch)
- Erscheinungstermin: 05.09.2008
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Peters / Willemse
Formal Techniques for Distributed Objects, Components, and Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Peters / Willemse
Formal Techniques for Distributed Objects, Components, and Systems
- Verlag: Palgrave Macmillan
- ISBN: 978-3-030-78088-3 (Buch)
- Erscheinungstermin: 10.06.2021
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Buyya / Baker
Grid Computing - GRID 2000
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Buyya / Baker
Grid Computing - GRID 2000
- Verlag: Springer
- ISBN: 978-3-540-41403-2 (Buch)
- Erscheinungstermin: 29.11.2000
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Architektur (1)
- Bauingenieurwesen (2)
- Betriebswirtschaft (191)
- Bibliothekswesen, Informationswissenschaften (15)
- Biowissenschaften (139)
- Chemie (3)
- Design (89)
- EDV | Informatik (4301)
- Elektronik | Nachrichtentechnik (668)
- Energietechnik | Elektrotechnik (3)
- Geographie | Raumplanung (17)
- Geologie (16)
- Maschinenbau | Werkstoffkunde (2)
- Mathematik (685)
- Medien- und Kommunikationswissenschaften (53)
- Medizin | Public Health | Pharmazie | Zahnmedizin (57)
- Musikwissenschaft (2)
- Öffentliches Recht (23)
- Pädagogik (57)
- Philosophie (6)
- Physik (19)
- Politikwissenschaft (1)
- Psychologie (8)
- Sonstige Technologien | Angewandte Technik (80)
- Soziologie | Soziale Arbeit (3)
- Sprachwissenschaft (22)
- Strafrecht (1)
- Technik Allgemein (178)
- Umwelttechnik | Umwelttechnologie (1)
- Umweltwissenschaften (2)
- Verfahrenstechnik | Chemieingenieurwesen | Biotechnologie (4)
- Verkehrstechnik | Transportgewerbe (3)
- Volkswirtschaftslehre (12)
- Wirtschaftsrecht (1)
- Wirtschaftssektoren & Branchen (12)
- Wirtschaftswissenschaften (42)
- Wissenschaften (476)
Unterthema 2
- Akustik, Tontechnik (2)
- Algebra (133)
- Allgemeine Psychologie (8)
- Angewandte Biologie (87)
- Angewandte Informatik (585)
- Angewandte Optik (5)
- Angewandte Physik (7)
- Bauingenieurwesen (1)
- Bereichsspezifisches Management (45)
- Berufliche Bildung (1)
- Betriebssysteme (307)
- Betriebswirtschaft für Ingenieure (2)
- Bibliotheks- und Auskunftssdienste (2)
- Biochemie (nichtmedizinisch) (4)
- Biotechnologie (1)
- Biowissenschaften (109)
- Botanik (2)
- Business Application (127)
- Chemie Allgemein (3)
- Chirurgie (3)
- Computeranwendungen in der Technik (93)
- Computerkommunikation & -vernetzung (463)
- Computerlinguistik, Korpuslinguistik (19)
- Daten / Datenbanken (1005)
- Dialektologie (1)
- Digital Lifestyle (66)
- EDV & Informatik Allgemein (292)
- EDV Systeme, Internet und elektronische Ressourcen in Bibliotheken (13)
- Elektromagnetismus (2)
- Elektronik (576)
- Elektrotechnik (3)
- Ergonomie, Barrierefreiheit (1)
- Ethik, Moralphilosophie (1)
- Fahrzeugtechnik (2)
- Fertigungsindustrie (1)
- Fertigungsverfahren der Präzisionsgeräte (2)
- Geodäsie, Kartographie, Fernerkundung (16)
- Geodäsie, Kartographie, GIS, Fernerkundung (16)
- Geometrie (33)
- Geophysik (3)
- GIS, Geoinformatik (8)
- Humanbiologie (1)
- Informatik (3225)
- Interface Design, Interaktionsdesign, Application Design (57)
- Klinische und Innere Medizin (20)
- Kommunikationswissenschaften (53)
- Konstruktionslehre und -technik (33)
- Konstruktiver Ingenieurbau, Baustatik (1)
- Kriminologie, Strafverfolgung (1)
- Lehrerausbildung, Unterricht & Didaktik (55)
- Literatur für Manager (5)
- Luft- und Raumfahrttechnik, Luftverkehr (1)
- Management (13)
- Maschinenbau (1)
- Mathematik Allgemein (200)
- Mathematik für Ingenieure (26)
- Mathematik Interdisziplinär (123)
- Mathematische Analysis (26)
- Mechanik (1)
- Medien-, Informations und Kommunikationswirtschaft (10)
- Medienrecht (1)
- Medizin, Gesundheitswesen (41)
- Medizinische Fachgebiete (19)
- Medizintechnik, Biomedizintechnik (7)
- Mess- und Automatisierungstechnik (15)
- Modellierung & Simulation (35)
- Molekularbiologie (1)
- Musikgattungen (1)
- Musikwissenschaft Allgemein (2)
- Nachhaltigkeit (1)
- Nachrichten- und Kommunikationstechnik (99)
- Nanotechnologie (1)
- Numerik und Wissenschaftliches Rechnen (217)
- Operations Research (104)
- Pädagogik (3)
- Philosophie der Mathematik, Philosophie der Physik (1)
- Philosophische Logik, Argumentationstheorie (4)
- Physik Allgemein (9)
- Physische Geographie und Topographie (1)
- Politische Systeme (1)
- Produktdesign, Industriedesign (32)
- Produktionstechnik (2)
- Professionelle Anwendung (303)
- Programmierung | Softwareentwicklung (4301)
- Quantenphysik (1)
- Regional- & Raumplanung (1)
- Semantik & Pragmatik (2)
- Signalverarbeitung, Bildverarbeitung, Scanning (72)
- Soziale Arbeit/Sozialpädagogik (1)
- Soziale Gruppen/Soziale Themen (2)
- Soziologie Allgemein (1)
- Sprachwissenschaften (2)
- Städtebau, Stadtplanung (Architektur) (1)
- Stochastik (32)
- Systematiken, Katalogisierung, Klassifikation, Bibliographisches Arbeiten (1)
- Systems Engineering (3)
- Technik: Allgemeines (12)
- Technische Informatik (1775)
- Technische Zuverlässigkeit, Sicherheitstechnik (6)
- Tierkunde / Zoologie (2)
- Topologie (6)
- Transport- und Verkehrswirtschaft (1)
- Umwelttechnik (1)
- Umwelttechnik (1)
- Unternehmensforschung (6)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (38)
- Verfahrenstechnik, Chemieingenieurwesen (1)
- Verwaltungsrecht (23)
- Volkswirtschaftslehre Allgemein (12)
- Vorklinische Medizin: Grundlagenfächer (4)
- Wirtschaftsinformatik, SAP, IT-Management (134)
- Wirtschaftsmathematik und -statistik (20)
- Wissenschaften Interdisziplinär (1)
- Wissenschaften: Allgemeines (10)
- Wissenschaften: Forschung und Information (465)
Unterthema 3
- Algebraische Geometrie (16)
- Algebraische Strukturen, Gruppentheorie (5)
- Algebraische Topologie (1)
- Algorithmen & Datenstrukturen (717)
- Anatomie (2)
- Angewandte Mathematik, Mathematische Modelle (59)
- Automatische Datenerfassung, Datenanalyse (25)
- Bauelemente, Schaltkreise (4)
- Berechenbarkeitstheorie, Komplexitätstheorie (21)
- Big Data (3)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (19)
- Bildsignalverarbeitung (158)
- Bioinformatik (84)
- Bioinformatik (84)
- Biologische Psychologie, Neuropsychologie (7)
- Biomathematik (3)
- Biomedizin, Medizinische Forschung, Klinische Studien (1)
- Biophysik (1)
- Biophysik (1)
- Change Management (1)
- Chemische Labormethoden, Stöchiometrie (1)
- Chemometrik, Chemoinformatik (3)
- Client-Server Netzwerke (2)
- Cloud-Computing, Grid-Computing (38)
- Compiler (122)
- Computer-Aided Design (CAD) (67)
- Computeralgebra (9)
- Computeranwendungen in der Mathematik (51)
- Computeranwendungen in Geistes- und Sozialwissenschaften (84)
- Computeranwendungen in Wissenschaft & Technologie (98)
- Computergestützte Fertigung (1)
- Computersicherheit (186)
- Computersimulation & Modelle, 3-D Graphik (105)
- Computerspiele, Internetspiele (4)
- Data Mining (112)
- Data Warehouse (65)
- Datenanalyse, Datenverarbeitung (14)
- Datenbankdesign & Datenbanktheorie (4)
- Datenbanken & das Web (9)
- Datenbankprogrammierung (22)
- Datenkompression, Dokumentaustauschformate (325)
- Desktop-Publishing, E-Publishing (2)
- Dienstprogramme (4)
- Differentialgeometrie (2)
- Digitale Animation (13)
- Digitale Medien, Internet, Telekommunikation (53)
- Diskrete Mathematik, Kombinatorik (72)
- DNA und Transgene Organismen (2)
- Drahtlostechnologie (12)
- E-Commerce, E-Business, E-Marketing (35)
- E-Learning (32)
- E-Learning, Bildungstechnologie (55)
- Echtzeitbetriebssysteme (2)
- EDV & Informatik: Ausbildung & Berufe (1)
- EDV & Informatik: Geschichte (2)
- Eingebettete Systeme (11)
- Elektrizität, Elektrodynamik (2)
- Elementare Algebra (96)
- Elementare Analysis und Allgemeine Begriffe (2)
- Elementare Geometrie: Allgemeines (6)
- Elementare Stochastik (2)
- Empirische Sozialforschung, Statistik (1)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (10)
- Euklidische Geometrie (2)
- Evolutionsbiologie (12)
- Externe Speicher & Peripheriegeräte (524)
- Fernmeldetechnik (36)
- Fernsehtechnik (2)
- Forschung & Entwicklung (F&E), Innovation (3)
- Forschungsmethodik, Wissenschaftliche Ausstattung (3)
- Fotobeabeitung und Bildbearbeitung (13)
- Funktechnik (35)
- Funktionale, Logische, Parallele und Visuelle Programmierung (252)
- Funktionentheorie, Komplexe Analysis (1)
- Genetik und Genomik (nichtmedizinisch) (2)
- Geophysik (3)
- Gesundheits- und Sicherheitstechnische Aspekte der EDV (1)
- Gesundheitssystem, Gesundheitswesen (1)
- Grafikprogrammierung (815)
- Graphentheorie (69)
- Grid-Computing & Paralleles Rechnen (96)
- Groupware (2)
- Grundlagen der Mathematik (75)
- Handheld Programmierung (1)
- Handheld, Smartphone, Tablet (1)
- Hardware: Grundlagen und Allgemeines (76)
- Hochleistungsrechnen, Supercomputer (154)
- Homologische Algebra (21)
- Immunologie (2)
- Industrielle Qualitätskontrolle (1)
- Information Retrieval (37)
- Informationstechnik, IT-Industrie (10)
- Informationstheorie, Kodierungstheorie (332)
- Informationstheorie, Kodierungstheorie (151)
- Innere Medizin (4)
- Interaktionsdesign für Computerspiele (8)
- Internet, E-Mail, Social Media (60)
- Internet, E-Mail, VoIP (54)
- Invalidität, Krankheit und Abhängigkeit: Soziale Aspekte (1)
- Kardiologie, Angiologie, Phlebologie (4)
- Kognitionspsychologie (1)
- Kryptologie, Informationssicherheit (30)
- Künstliche Intelligenz (1590)
- Kybernetik, Systemtheorie, Komplexe Systeme (120)
- Lineare und multilineare Algebra, Matrizentheorie (4)
- Logik, formale Sprachen, Automaten (1665)
- Luftfahrtindustrie (1)
- Mathematik für Informatiker (687)
- Mathematische & Statistische Software (5)
- Mathematische Logik (76)
- Mathematische Statistik (28)
- Medizinische Mathematik & Informatik (38)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (7)
- Mengentheoretische Topologie (5)
- Mensch-Maschine-Interaktion (278)
- Microsoft Programmierung (1)
- Mikroprozessoren (16)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (9)
- Moderne Anwendungen der Analysis (8)
- Molekulare Medizin, Zellbiologie (1)
- Multimedia (6)
- Musikalische Akustik, Tontechnik, Musikaufnahme (2)
- Musiktheorie, Musikästhetik, Kompositionslehre (1)
- Natürliche Sprachen & Maschinelle Übersetzung (58)
- Netzwerk-Hardware (744)
- Netzwerkmanagement (4)
- Netzwerkprogrammierung (2)
- Netzwerkprotokolle (4)
- Netzwerksicherheit (55)
- Neurobiologie, Verhaltensbiologie (7)
- Neurologie, Klinische Neurowissenschaft (9)
- Nicht-Euklidische Geometrie (1)
- Numerische Mathematik (148)
- Objektorientierte Programmierung (81)
- Ökologie (1)
- Ökonometrie (12)
- Onkologie, Krebsforschung (1)
- Optik (2)
- Optimierung (7)
- Personal Computer (2)
- Pflanzenreproduktion, Verbreitung, Genetik (2)
- Pharmazeutische Chemie, Medizinische Chemie (1)
- Philosophie der Mathematik (1)
- Produktionsmanagement, Qualitätskontrolle (10)
- Programmier- und Skriptsprachen (473)
- Programmierung: Methoden und Allgemeines (1364)
- Projektmanagement (1)
- Prozedurale Programmierung (576)
- Quantencomputer, DNA-Computing (6)
- Quantenoptik, Nichtlineare Optik, Laserphysik (2)
- Rechnerarchitektur (194)
- Rechtliche Aspekte der EDV (8)
- Regelungstechnik (4)
- Risikobewertung, Risikotheorie (1)
- Risikomanagement (1)
- Robotik (527)
- Schaltungsentwurf (12)
- Sensorik (8)
- Signalverarbeitung (4)
- Social Media, Semantic Web, Web 2.0 (10)
- Software Engineering (2169)
- Soziale Dienste, Soziale Organisationen (1)
- Soziale Gruppen & Klassen (1)
- Soziale und ethische Aspekte der EDV (123)
- Spiele-Programmierung, Rendering, Animation (157)
- Spieltheorie (23)
- Stadtplanung, Kommunale Planung (1)
- Statistische Physik, Dynamische Systeme (3)
- Stochastische Prozesse (2)
- Systemtheorie (114)
- Systemverwaltung & Management (691)
- Tabellenkalkulation (5)
- Telekommunikationsrecht, IT-Recht, Internetrecht (1)
- Telemedizin, e-Health (1)
- Theoretische Informatik (105)
- Theoretische Physik, Mathematische Physik, Computerphysik (9)
- Tiergenetik, Reproduktion (2)
- Tierphysiologie (1)
- Tonsignalverarbeitung (5)
- Toxikologie, Gefahrstoffe, Sicherheit in der Chemie (1)
- Überwachungstechnik (6)
- Unternehmensführung (1)
- Unternehmensorganisation & Entwicklungsstrategien (1)
- Unternehmenssoftware (117)
- Variationsrechnung (7)
- Verteilte Systeme (Netzwerke) (17)
- Verwaltungsorganisation und -politik, Verwaltungslehre (1)
- Verwaltungspraxis (22)
- Verwaltungswissenschaft, Öffentliche Verwaltung (1)
- Virtuelle Realität, Erweiterte Realität (15)
- Wahrscheinlichkeitsrechnung (23)
- Wartung & Reparatur (154)
- Web Graphik & Design, Web-Publishing (3)
- Web Services (24)
- Webprogrammierung (43)
- Windows Betriebssysteme (259)
- Wirtschafts- und Sozialwissenschaften (1)
- Wirtschaftsinformatik (26)
- Wirtschaftspädagogik, Berufspädagogik (1)
- Zahlentheorie (11)
- Zeichen- und Zahlendarstellungen (465)
Medium
Verlag
- Birkhäuser (41)
- Humana (5)
- J.B. Metzler (108)
- Palgrave Macmillan (155)
- Springer (3489)
- Springer Berlin Heidelberg (291)
- Springer International Publishing (53)
- Springer Nature B.V. (1)
- Springer Nature Singapore (28)
- Springer Nature Switzerland (56)
- Springer Nature Switzerland AG (34)
- Springer Netherlands (6)
- Springer Verlag, Singapore (4)
- Springer-Verlag GmbH (30)