Site Breadcrumb
Börger / Kleine Büning / Richter
Computer Science Logic
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Börger / Kleine Büning / Richter
Computer Science Logic
- Verlag: Springer
- ISBN: 978-3-540-54487-6 (Buch)
- Erscheinungstermin: 11.09.1991
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Gurfinkel / Heule
Tools and Algorithms for the Construction and Analysis of Systems
42,79 € (inkl. MwSt.)
39,99 € (zzgl. MwSt.)
Gurfinkel / Heule
Tools and Algorithms for the Construction and Analysis of Systems
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-90652-7 (Buch)
- Erscheinungstermin: 01.05.2025
-
Lieferzeit ca. 10 Werktage
42,79 € (inkl. MwSt.)
39,99 € (zzgl. MwSt.)
Aramaki / Derrien / Kronland-Martinet
Sound, Music, and Motion
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Aramaki / Derrien / Kronland-Martinet
Sound, Music, and Motion
- Verlag: Springer
- ISBN: 978-3-319-12975-4 (Buch)
- Erscheinungstermin: 16.12.2014
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Palazzo
Evolutionary Trends of the Internet
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-42592-2 (Buch)
- Erscheinungstermin: 05.09.2001
-
Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Kuncak / Rybalchenko
Verification, Model Checking, and Abstract Interpretation
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Kuncak / Rybalchenko
Verification, Model Checking, and Abstract Interpretation
- Verlag: Springer
- ISBN: 978-3-642-27939-3 (Buch)
- Erscheinungstermin: 12.01.2012
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Hernández Aguirre / Monroy Borja / Reyes García
MICAI 2009: Advances in Artificial Intelligence
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Hernández Aguirre / Monroy Borja / Reyes García
MICAI 2009: Advances in Artificial Intelligence
- Verlag: Springer
- ISBN: 978-3-642-05257-6 (Buch)
- Erscheinungstermin: 26.10.2009
-
Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Gabbay / Ohlbach
Practical Reasoning
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Gabbay / Ohlbach
Practical Reasoning
- Verlag: Springer
- ISBN: 978-3-540-61313-8 (Buch)
- Erscheinungstermin: 21.05.1996
-
Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Pauli
Learning-Based Robot Vision
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-42108-5 (Buch)
- Erscheinungstermin: 09.05.2001
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Dolev / Oltean
Optical Supercomputing
49,22 € (inkl. MwSt.)
46,00 € (zzgl. MwSt.)
Dolev / Oltean
Optical Supercomputing
- Verlag: Springer
- ISBN: 978-3-642-38249-9 (Buch)
- Erscheinungstermin: 06.06.2013
-
Lieferzeit ca. 10 Werktage
49,22 € (inkl. MwSt.)
46,00 € (zzgl. MwSt.)
Ambler / Calo / Kar
Services Management in Intelligent Networks
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Ambler / Calo / Kar
Services Management in Intelligent Networks
- Verlag: Springer
- ISBN: 978-3-540-41427-8 (Buch)
- Erscheinungstermin: 22.11.2000
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Architektur (1)
- Bauingenieurwesen (9)
- Betriebswirtschaft (112)
- Bibliothekswesen, Informationswissenschaften (5)
- Biowissenschaften (100)
- Chemie (9)
- Design (66)
- EDV | Informatik (1893)
- Elektronik | Nachrichtentechnik (1326)
- Energietechnik | Elektrotechnik (11)
- Ethnologie | Volkskunde (1)
- Geographie | Raumplanung (18)
- Geologie (19)
- Geschichtswissenschaft (1)
- Kunst (3)
- Literaturwissenschaft (1)
- Maschinenbau | Werkstoffkunde (16)
- Mathematik (190)
- Medien- und Kommunikationswissenschaften (23)
- Medizin | Public Health | Pharmazie | Zahnmedizin (214)
- Musikwissenschaft (8)
- Öffentliches Recht (35)
- Pädagogik (94)
- Philosophie (6)
- Physik (17)
- Psychologie (15)
- Recht, Rechtswissenschaft Allgemein (1)
- Sonstige Technologien | Angewandte Technik (359)
- Soziologie | Soziale Arbeit (6)
- Sprachwissenschaft (28)
- Strafrecht (1)
- Technik Allgemein (365)
- Umwelttechnik | Umwelttechnologie (1)
- Umweltwissenschaften (1)
- Verfahrenstechnik | Chemieingenieurwesen | Biotechnologie (5)
- Verkehrstechnik | Transportgewerbe (10)
- Volkswirtschaftslehre (7)
- Wirtschaftsrecht (2)
- Wirtschaftssektoren & Branchen (5)
- Wirtschaftswissenschaften (11)
- Wissenschaften (129)
Unterthema 2
- Akustik, Tontechnik (4)
- Algebra (36)
- Allgemeine Psychologie (13)
- Alte Geschichte & Archäologie (1)
- Alternative und erneuerbare Energien (1)
- Analytische Chemie (5)
- Angewandte Biologie (62)
- Angewandte Informatik (407)
- Angewandte Optik (5)
- Angewandte Physik (8)
- Bauingenieurwesen (3)
- Bereichsspezifisches Management (28)
- Betriebssysteme (51)
- Betriebswirtschaft für Ingenieure (3)
- Biochemie (nichtmedizinisch) (2)
- Biochemische Immunologie (1)
- Bionik, Biomimetik (30)
- Biotechnologie (2)
- Biowissenschaften (74)
- Botanik (1)
- Business Application (93)
- Chemie Allgemein (4)
- Chirurgie (3)
- Computeranwendungen in der Technik (155)
- Computerkommunikation & -vernetzung (180)
- Computerlinguistik, Korpuslinguistik (27)
- Daten / Datenbanken (447)
- Dialektologie (1)
- Digital Lifestyle (35)
- EDV & Informatik Allgemein (120)
- EDV Systeme, Internet und elektronische Ressourcen in Bibliotheken (5)
- Einzelne Sprachen & Sprachfamilien (1)
- Elektromagnetismus (2)
- Elektronik (1081)
- Elektrotechnik (6)
- Energieeffizienz (1)
- Energietechnik & Elektrotechnik (1)
- Energieverteilung, Stromnetze (2)
- Ergonomie, Barrierefreiheit (17)
- Ethnologie (1)
- Fahrzeugtechnik (6)
- Fertigungsindustrie (1)
- Fertigungsverfahren der Präzisionsgeräte (2)
- Fotografie (1)
- Gebäudesicherheit (3)
- Geodäsie, Kartographie, Fernerkundung (16)
- Geodäsie, Kartographie, GIS, Fernerkundung (16)
- Geometrie (17)
- Geophysik (3)
- GIS, Geoinformatik (12)
- Grammatik, Syntax, Morphologie (1)
- Haustechnik, Gebäudeautomatisierung (1)
- Humanbiologie (2)
- Informatik (1678)
- Intelligente & automatisierte Transportsysteme (1)
- Interface Design, Interaktionsdesign, Application Design (28)
- Klinische und Innere Medizin (24)
- Kommunikationswissenschaften (21)
- Konstruktionslehre und -technik (43)
- Konstruktiver Ingenieurbau, Baustatik (1)
- Kriminologie, Strafverfolgung (1)
- Kunst, allgemein (1)
- Kunstformen, Kunsthandwerk (1)
- Lasertechnologie, Holographie (1)
- Lebensmitteltechnologie und Getränketechnologie (1)
- Lehrerausbildung, Unterricht & Didaktik (94)
- Literaturen sonstiger Sprachräume (1)
- Luft- und Raumfahrttechnik, Luftverkehr (1)
- Management (4)
- Maschinenbau (4)
- Mathematik Allgemein (70)
- Mathematik für Ingenieure (35)
- Mathematik Interdisziplinär (35)
- Mathematische Analysis (5)
- Mechanik (1)
- Medien-, Informations und Kommunikationswirtschaft (3)
- Medienrecht (2)
- Medienwissenschaften (2)
- Medizin, Gesundheitswesen (196)
- Medizinische Fachgebiete (35)
- Medizintechnik, Biomedizintechnik (169)
- Mess- und Automatisierungstechnik (23)
- Modellierung & Simulation (69)
- Moderne Philosophische Disziplinen (1)
- Molekularbiologie (1)
- Musikgattungen (4)
- Musikwissenschaft Allgemein (6)
- Nachhaltigkeit, Grüne Technologien (6)
- Nachrichten- und Kommunikationstechnik (376)
- Nanotechnologie (2)
- Numerik und Wissenschaftliches Rechnen (52)
- Operations Research (15)
- Philosophie der Mathematik, Philosophie der Physik (1)
- Philosophie der Technik (1)
- Philosophische Logik, Argumentationstheorie (1)
- Physik Allgemein (6)
- Physische Geographie und Topographie (1)
- Produktdesign, Industriedesign (38)
- Produktionstechnik (12)
- Professionelle Anwendung (210)
- Programmierung | Softwareentwicklung (858)
- Psychologie / Allgemeines & Theorie (1)
- Psychologische Disziplinen (1)
- Quantenphysik (1)
- Regional- & Raumplanung (2)
- Schienenfahrzeugtechnik und -gewerbe (1)
- Signalverarbeitung, Bildverarbeitung, Scanning (224)
- Soziale Arbeit/Sozialpädagogik (1)
- Soziale Gruppen/Soziale Themen (3)
- Spezielle Soziologie (3)
- Sprachwissenschaften (2)
- Städtebau, Stadtplanung (Architektur) (1)
- Stochastik (11)
- Systems Engineering (3)
- Technik: Allgemeines (20)
- Technische Informatik (635)
- Technische Mechanik | Werkstoffkunde (1)
- Technische Optik, Lasertechnologie (1)
- Technische Zuverlässigkeit, Sicherheitstechnik (22)
- Teildisziplinen der Pädagogik (1)
- Tierkunde / Zoologie (1)
- Topologie (7)
- Transport- und Verkehrswirtschaft (1)
- Umwelttechnik (1)
- Umwelttechnik (1)
- Unternehmensforschung (2)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (11)
- Verfahrenstechnik, Chemieingenieurwesen (1)
- Verkehrsingenieurwesen, Verkehrsplanung (1)
- Verkehrstechnologie: Allgemeines (1)
- Verwaltungsrecht (35)
- Volkswirtschaftslehre Allgemein (7)
- Vorklinische Medizin: Grundlagenfächer (2)
- Wirtschaftsinformatik, SAP, IT-Management (93)
- Wirtschaftsmathematik und -statistik (6)
- Wissenschaft und Gesellschaft | Kulturwissenschaften (1)
- Wissenschaften Interdisziplinär (8)
- Wissenschaften: Allgemeines (3)
- Wissenschaften: Forschung und Information (118)
- Wissenschaftstheorie, Wissenschaftsphilosophie (3)
Unterthema 3
- Algebraische Geometrie (9)
- Algebraische Strukturen, Gruppentheorie (1)
- Algebraische Topologie (2)
- Algorithmen & Datenstrukturen (54)
- Angewandte Mathematik, Mathematische Modelle (24)
- Arbeitsplatz, Arbeitsschutz, Gefahrstoffschutz (1)
- Automatische Datenerfassung, Datenanalyse (11)
- Bauelemente, Schaltkreise (10)
- Berechenbarkeitstheorie, Komplexitätstheorie (4)
- Besondere Themen und Arten der Fotografie (1)
- Big Data (1)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (34)
- Bildsignalverarbeitung (541)
- Bioinformatik (58)
- Bioinformatik (60)
- Biologische Psychologie, Neuropsychologie (8)
- Biomathematik (1)
- Biomedizin, Medizinische Forschung, Klinische Studien (5)
- Biophysik (1)
- Biophysik (1)
- Chemische Labormethoden, Stöchiometrie (1)
- Chemometrik, Chemoinformatik (4)
- Cloud-Computing, Grid-Computing (11)
- Compiler (6)
- Computer-Aided Design (CAD) (75)
- Computeralgebra (4)
- Computeranwendungen in der Mathematik (17)
- Computeranwendungen in Geistes- und Sozialwissenschaften (127)
- Computeranwendungen in Wissenschaft & Technologie (161)
- Computergestützte Fertigung (3)
- Computersicherheit (54)
- Computersimulation & Modelle, 3-D Graphik (73)
- Computerspiele, Internetspiele (2)
- Data Mining (30)
- Data Warehouse (21)
- Datenanalyse, Datenverarbeitung (7)
- Datenbanken & das Web (1)
- Datenbankprogrammierung (8)
- Datenkompression, Dokumentaustauschformate (226)
- Differentialgeometrie (2)
- Digitale Animation (5)
- Digitale Fotographie (1)
- Digitale Medien, Internet, Telekommunikation (20)
- Diskrete Mathematik, Kombinatorik (8)
- DNA und Transgene Organismen (2)
- Drahtlostechnologie (63)
- E-Commerce, E-Business, E-Marketing (14)
- E-Learning (24)
- E-Learning, Bildungstechnologie (94)
- Eingebettete Systeme (7)
- Einkauf, Logistik, Supply-Chain-Management (3)
- Elektrizität, Elektrodynamik (2)
- Elektronische Baugruppen, Elektronische Materialien (1)
- Elektronische Musik (2)
- Elementare Algebra (29)
- Elementare Geometrie: Allgemeines (3)
- Ethnographie (1)
- Evolutionsbiologie (4)
- Externe Speicher & Peripheriegeräte (186)
- Fernmeldetechnik (63)
- Fernsehtechnik (2)
- Fördertechnik (1)
- Forschungsmethodik, Wissenschaftliche Ausstattung (1)
- Fotobeabeitung und Bildbearbeitung (18)
- Funktechnik (49)
- Funktionale, Logische, Parallele und Visuelle Programmierung (20)
- Genetik und Genomik (nichtmedizinisch) (1)
- Geophysik (3)
- Gesundheits- und Sicherheitstechnische Aspekte der EDV (1)
- Gesundheitssystem, Gesundheitswesen (1)
- Grafikprogrammierung (335)
- Graphentheorie (10)
- Grid-Computing & Paralleles Rechnen (7)
- Groupware (2)
- Grundlagen der Mathematik (39)
- Gynäkologie, Geburtshilfe (1)
- Handheld Programmierung (1)
- Hardware: Grundlagen und Allgemeines (27)
- Hochleistungsrechnen, Supercomputer (56)
- Homologische Algebra (4)
- Immunologie (1)
- Industrielle Biotechnologie (1)
- Industrielle Qualitätskontrolle (1)
- Information Retrieval (16)
- Informationstechnik, IT-Industrie (3)
- Informationstheorie, Kodierungstheorie (58)
- Informationstheorie, Kodierungstheorie (73)
- Innere Medizin (2)
- Installations-, Aktions-, Computer- und Videokunst (1)
- Internet, E-Mail, Social Media (32)
- Internet, E-Mail, VoIP (20)
- Invalidität, Krankheit und Abhängigkeit: Soziale Aspekte (2)
- Iranische Literatur (1)
- Kardiologie, Angiologie, Phlebologie (2)
- Kognitionspsychologie (5)
- Krankenhausmanagement, Praxismanagement (1)
- Kryptologie, Informationssicherheit (13)
- Kulturwissenschaften (1)
- Künstliche Intelligenz (1381)
- Kunsttheorie, Kunstphilosophie (1)
- Kybernetik, Systemtheorie, Komplexe Systeme (38)
- Lineare und multilineare Algebra, Matrizentheorie (1)
- Logik, formale Sprachen, Automaten (493)
- Luftfahrtindustrie (1)
- Marketing (1)
- Materialwissenschaft: Biomaterialien, Nanomaterialien, Kohlenstoff (1)
- Mathematik für Informatiker (124)
- Mathematische & Statistische Software (3)
- Mathematische Logik (30)
- Mathematische Statistik (10)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (3)
- Medien & Gesellschaft, Medienwirkungsforschung (2)
- Mediensoziologie (2)
- Medizinische Mathematik & Informatik (60)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (168)
- Mengentheoretische Topologie (4)
- Mensch-Maschine-Interaktion (399)
- Mikroprozessoren (30)
- Mobilfunk (1)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (45)
- Molekulare Medizin, Zellbiologie (1)
- Multimedia (6)
- Museumskunde, Materielle Kultur, Erinnerungskultur (1)
- Musikalische Akustik, Tontechnik, Musikaufnahme (4)
- Musiktheorie, Musikästhetik, Kompositionslehre (2)
- Natürliche Sprachen & Maschinelle Übersetzung (27)
- Netzwerk-Hardware (311)
- Netzwerkmanagement (1)
- Netzwerkprotokolle (8)
- Netzwerksicherheit (18)
- Neurobiologie, Verhaltensbiologie (5)
- Neurochirurgie (1)
- Neurologie, Klinische Neurowissenschaft (15)
- Neurowissenschaften, Kognitionswissenschaft (8)
- Numerische Mathematik (26)
- Objektorientierte Programmierung (9)
- Ökonometrie (6)
- Onkologie, Krebsforschung (3)
- Optik (2)
- Optimierung (4)
- Optische Nachrichtentechnik (1)
- Pädiatrie, Neonatologie (1)
- Pathologie, Cytopathologie, Histopathologie (1)
- Personal Computer (1)
- Pflanzenreproduktion, Verbreitung, Genetik (1)
- Pharmazeutische Chemie, Medizinische Chemie (1)
- Philosophie der Mathematik (1)
- Philosophie der Technik (1)
- Physische Anthropologie (1)
- Produktionsmanagement, Qualitätskontrolle (10)
- Programmier- und Skriptsprachen (57)
- Programmierung: Methoden und Allgemeines (395)
- Prozedurale Programmierung (100)
- Psychologische Theorie, Psychoanalyse (1)
- Quantencomputer, DNA-Computing (10)
- Quantenoptik, Nichtlineare Optik, Laserphysik (2)
- Rechnerarchitektur (58)
- Rechtliche Aspekte der EDV (2)
- Regelungstechnik (11)
- Risikobewertung, Risikotheorie (1)
- Risikomanagement (1)
- Robotik (777)
- Schaltungsentwurf (12)
- Sensorik (14)
- Signalverarbeitung (162)
- Social Media, Semantic Web, Web 2.0 (7)
- Software Engineering (312)
- Sonderpädagogik, Heilpädagogik (1)
- Soziale Dienste, Soziale Organisationen (1)
- Soziale Gruppen & Klassen (1)
- Soziale und ethische Aspekte der EDV (54)
- Spiele-Programmierung, Rendering, Animation (105)
- Spieltheorie (4)
- Stadtplanung, Kommunale Planung (2)
- Statistische Physik, Dynamische Systeme (4)
- Systemtheorie (31)
- Systemverwaltung & Management (303)
- Tabellenkalkulation (2)
- Telekommunikationsrecht, IT-Recht, Internetrecht (2)
- Telekommunikationswirtschaft, Post (1)
- Telemedizin, e-Health (2)
- Theoretische Informatik (17)
- Theoretische Physik, Mathematische Physik, Computerphysik (6)
- Tiergenetik, Reproduktion (1)
- Tonsignalverarbeitung (23)
- Toxikologie, Gefahrstoffe, Sicherheit in der Chemie (1)
- Überwachungstechnik (8)
- Unternehmensführung (1)
- Unternehmensorganisation & Entwicklungsstrategien (1)
- Unternehmenssoftware (86)
- Variationsrechnung (4)
- Verteilte Systeme (Netzwerke) (4)
- Vertrieb (1)
- Verwaltungspraxis (35)
- Virtuelle Realität, Erweiterte Realität (22)
- Wahrscheinlichkeitsrechnung (6)
- Wartung & Reparatur (21)
- Web Graphik & Design, Web-Publishing (1)
- Web Services (4)
- Webprogrammierung (3)
- Windows Betriebssysteme (49)
- Wirtschafts-, Arbeits- und Organisationspsychologie (1)
- Wirtschaftsinformatik (6)
- Wirtschaftstheorie, Wirtschaftsphilosophie (1)
- Wissenschaften: Theorie, Epistemologie, Methodik (3)
- Wissensmanagement (1)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (1)
- Zahlentheorie (1)
- Zeichen- und Zahlendarstellungen (193)
- Zuverlässigkeitstechnik (7)
Medium
Verlag
- Birkhäuser (10)
- Humana (1)
- J.B. Metzler (21)
- Palgrave Macmillan (110)
- Springer (1527)
- Springer Berlin Heidelberg (124)
- Springer International Publishing (31)
- Springer Nature B.V. (1)
- Springer Nature Singapore (4)
- Springer Nature Switzerland (24)
- Springer Nature Switzerland AG (50)
- Springer Netherlands (1)
- Springer-Verlag GmbH (15)