Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 59 Berechenbarkeitstheorie, Komplexitätstheorie
- 684 Bildsignalverarbeitung
- 3155 Künstliche Intelligenz
- 2015 Logik, formale Sprachen, Automaten
- 605 Mathematik für Informatiker
- 839 Mensch-Maschine-Interaktion
- 71 Natürliche Sprachen & Maschinelle Übersetzung
- 300 Rechnerarchitektur
- 342 Theoretische Informatik
- 26 Tonsignalverarbeitung
- 37 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 5868
- Erscheinungsjahr
-
- 253
- 436
- 293
- 175
- 190
- 213
- 197
- 180
- 218
- 200
- 186
- 186
- 144
- 26
- 51
- 162
- 160
- 187
- 121
- 176
- 254
- 221
- 192
- 189
- 131
- 123
- 108
- 117
- 101
- 94
- 92
- 72
- 59
- 68
- 45
- 46
- 30
- 31
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 10
- 5
- 12
- 9
- 11
- 10
- 3
- Autoren
-
- 3
- 3
- 4
- 3
- 6
- 3
- 3
- 4
- 5
- 3
- 5
- 6
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 11
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 14
- 20
- 4
- 27
- 3
- 7
- 3
- 6
- 4
- 5
- 4
- 4
- 3
- 5
- 5
- 4
- 6
- 3
- 3
- 3
- 39
- 6
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 11
- 4
- 4
- 5
- 6
- 3
- 4
- 4
- 3
- 6
- 5
- 4
- 4
- 6
- 5
- 5
- 8
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 12
- 3
- 4
- 3
- 7
- 3
- 5
- 3
- 3
- 4
- 5
- 7
- 4
- 6
- 4
- 9
- 3
- 3
- 7
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 14
- 3
- 4
- 3
- 6
- 3
- 3
- 4
- 5
- 3
- 4
- 11
- 3
- 4
- 3
- 5
- 6
- 3
- 10
- 3
- 3
- 9
- 4
- 8
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 7
- 4
- 3
- 3
- 39
- 13
- 7
- 3
- 3
- 3
- 8
- 4
- 3
- 3
- 8
- 5
- 3
- 10
- 4
- 3
- 8
- 5
- 6
- 5
- 6
- 4
- 3
- 4
- 6
- 3
- 3
- 6
- 4
- 4
- 4
- 8
- 4
- 8
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 7
- 5
- 5
- 11
- 3
- 4
- 4
- 20
- 3
- 4
- 11
- 8
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 7
- 3
- 3
- 4
- 3
- 39
- 3
- 3
- 7
- 3
- 3
- 6
- 4
- 5
- 6
- 4
- 5
- 3
- 3
- 3
- 6
- 8
- 3
- 6
- 8
- 3
- 4
- 6
- 5
- 4
- 3
- 6
- 3
- 6
- 3
- 5
- 8
- 14
- 11
- 3
- 4
- 8
- 4
- 8
- 4
- 7
- 9
- 5
- 4
- 4
- 4
- 4
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 7
- 3
- 3
- 3
- 3
- 6
- 6
- 5
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 5
- 31
- 32
- 8
- 9
- 3
- 4
- 8
- 9
- 3
- 3
- 24
- 11
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 17
- 5
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 4
- 8
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 10
- 3
- 4
- 3
- 3
- 4
- 9
- 3
- 3
- 43
- 3
- 8
- 3
- 3
- 4
- 4
- 3
- 6
- 6
- 3
- 6
- 3
- 9
- 6
- 3
- 9
- 3
- 4
- 5
- 10
- 4
- 3
- 4
- 6
- 5
- 3
- 3
- 4
- 3
- 8
- 9
- 4
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 12
- 12
- 5
- 6
- 5
- 4
- 5
- 3
- 4
- 9
- 3
- 5
- 3
- 7
- 4
- 6
- 3
- 3
- 9
- 3
- 3
- 3
- 3
- 4
- 3
- 9
- 4
- 3
- 3
- 3
- 13
- 15
- 3
- 3
- 3
- 3
- 3
- 3
- 18
- 3
- 20
- 6
- 3
- 49
- 3
- 4
- 3
- 5
- 5
- 3
- 4
- 5
- 6
- 6
- 3
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 5
- 8
- 9
- 7
- 14
- 4
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 8
- 3
- 4
- 5
- 4
- 19
- 3
- 4
- 3
- 4
- 4
- 7
- 4
- 3
- 3
- 5
- 3
- 7
- 6
- 13
- 5
- 4
- 6
- 10
- 39
- 3
- 4
- 3
- 3
- 3
- 6
- 11
- 4
- 3
- 3
- 3
- 3
- 5
- 5
- 5
- 4
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 14
- 3
- 4
- 5
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 23
- 5
- 3
- 3
- 3
- 4
- 4
- 6
- 3
- 12
- 3
- 3
- 4
- 6
- 3
- 6
- 3
- 4
- 12
- 5
- 3
- 6
- 3
- 3
- 16
- 6
- 3
- 4
- 3
- 3
- 5
- 3
- 6
- 4
- 3
- 6
- 7
- 14
- 3
- 3
- 10
- 3
- 3
- 3
- 14
- 3
- 4
- 3
- 3
- 13
- 4
- 4
- 3
- 5
- 8
- 3
- 4
- 3
- 12
- 5
- 7
- 3
- 6
- 3
- 5
- 4
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 4
- 5
- 6
- 4
- 5
- 3
- 8
- 3
- 5
- 9
- 8
- 3
- 4
- 5
- 3
- 5
- 4
- 4
- 6
- 3
- 5
- 6
- 3
- 10
- 4
- 4
- 3
- 5
- 6
- 9
- 3
- 5
- 5
- 3
- 6
- 4
- 15
- 6
- 3
- 4
- 9
- 4
- 5
- 3
- 24
- 4
- 14
- 36
- 4
- 3
- 6
- 4
- 3
- 3
- 4
- 3
- 7
- 4
- 7
- 6
- 4
- 4
- 4
- 3
- 6
- 13
- 7
- 3
- 5
- 4
- 6
- 3
- 4
- 9
- 6
- 4
- 3
- 4
- 6
- 11
- 4
- 10
- 21
- 4
- 3
- 4
- 6
- 5
- 3
- 4
- 8
- 9
- 13
- 9
- 5
- 13
- 5
- 3
- 4
- 7
- 3
- 6
- 4
- 34
- 9
- 4
- 3
- 5
- 5
- 9
- 6
- 4
- 4
- 3
- 4
- 4
- 5
- 4
- 4
- 4
- 11
- 3
- 5
- 4
- 3
- 3
- 10
- 6
- 8
- 11
- 4
- 4
- 4
- 4
- 4
- 27
- 3
- 4
- 4
- 4
- 6
- 4
- 14
- 9
- 3
- 5
- 5
- 6
- 41
- 7
- 4
- 6
- 3
- 9
- 34
- 5
- 7
- 5
- 6
- 5
- 11
- 4
- 5
- 4
- 5
- 4
- 5
- 6
- 4
- 3
- 10
- 5
- 11
- 4
- 3
- 4
- 13
- 3
- 8
- 5
- 6
- 4
- 18
- 11
- 5
- 5
- 6
- 4
- 11
- 12
- 8
- 3
- 6
- 4
- 5
- 4
- 3
- 4
- 8
- 4
- 4
- 4
- 4
- 8
- 10
- 3
- 4
- 6
- 7
- 20
- 9
- 3
- 5
- 12
- 6
- 6
- 5
- 3
- 7
- 5
- 7
- 6
- 3
- 7
- 8
- 3
- 3
- 5
- 18
- 5
- 4
- 3
- 4
- 40
- 4
- 10
- 4
- 3
- 9
- 4
- 3
- 6
- 3
- 9
- 11
- 14
- 3
- 4
- 4
- 4
- 5
- 10
- 3
- 8
- 5
- 10
- 4
- 13
- 7
- 8
- 4
- 7
- 10
- 4
- 3
- 4
- 4
- 4
- 4
- 5
- 3
- 13
- 5
- 6
- 4
- 9
- 4
- 38
- 4
- 4
- 9
- 16
- 6
- 3
- 5
- 8
- 3
- 11
- 10
- 10
- 33
- 4
- 5
- 4
- 4
- 4
- 4
- 4
- 5
- 7
- 14
- 10
- 12
- 6
- 9
- 13
- 43
- 7
- 16
- 9
- 13
- 3
- 3
- 4
- 22
- 9
- 9
- 4
- 10
- 13
- 5
- 7
- 7
- 6
- 5
- 10
- 6
- 3
- 8
- 4
- 3
- 18
- 3
- 13
- 6
- 5
- 18
- 6
- 4
- 5
- 14
- 5
- 4
- 4
- 9
- 4
- 7
- 5
- 4
- 18
- 6
- 9
- 4
- 6
- 5
- 4
- 7
- 4
- 4
- 16
- 5
- 4
- 4
- 4
- 6
- 6
- 4
- 5
- 5
- 10
- 8
- 5
- 4
- 18
- 16
- 4
- 16
- 6
- 4
- 4
- 4
- 14
- 4
- 7
- 6
- 20
- 4
- 7
- 8
- 5
- 10
- Verlag
-
- 683
- 2676
- 1688
- 1
- 77
- 661
- 82
- Preis
-
- 26
- 196
- 4516
- 1130
- Sprachen
-
- 5863
- 15
- 13
- Verfügbarkeit
-
- 5846
- 22
- Katalog
-
- 5868
- 295
-
Bernardo / Wiklicky / de Vink Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures2013Verlag: SpringerISBN: 978-3-642-38873-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Stoyanov / Sabuncu / Taylor Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities
Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-00688-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rau Cross-Cultural Design. Applications in Arts, Learning, Well-being, and Social Development
13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24¿29, 2021, Proceedings, Part II1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-77076-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mori / Yamamoto Human Interface and the Management of Information: Applications in Complex Technological Environments
Thematic Area, HIMI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 ¿ July 1, 2022, Proceedings, Part II1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-06508-8Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rau Cross-Cultural Design. Applications in Cultural Heritage, Tourism, Autonomous Vehicles, and Intelligent Agents
13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24¿29, 2021, Proceedings, Part III1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-77079-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hillston / Bernardo Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72482-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Duffy Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health
6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II2015Verlag: Springer International PublishingISBN: 978-3-319-21069-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Duffy Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
14th International Conference, DHM 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23¿28, 2023, Proceedings, Part II1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-35747-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Duffy Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
15th International Conference, DHM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29¿July 4, 2024, Proceedings, Part III2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-61065-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rau Cross-Cultural Design. Applications in Business, Communication, Health, Well-being, and Inclusiveness
14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 ¿ July 1, 2022, Proceedings, Part III1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-06049-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Klemm / Neth / de Supinski OpenMP in a Modern World: From Multi-device Support to Meta Programming
18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27¿30, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-15921-3Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rozonoer / Muchnik / Mirkin Braverman Readings in Machine Learning. Key Ideas from Inception to Current State
International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-99491-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Duffy Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
15th International Conference, DHM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29¿July 4, 2024, Proceedings, Part I2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-61059-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fragomeni / Chen Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry
10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-91583-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Barkatou / Rosenkranz / Cluzeau Algebraic and Algorithmic Aspects of Differential and Integral Operators
5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers2014Verlag: SpringerISBN: 978-3-642-54478-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Inverardi / Bernardo Formal Methods for Software Architectures
Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20083-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Ma Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-58775-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Demazeau / De la Prieta / Matson Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection
17th International Conference, PAAMS 2019, Ávila, Spain, June 26¿28, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-24208-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Salvendy / Zhou Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment
4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15¿20, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-92036-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pereira / Ahmadi Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology
5th MICCAI Workshop, GRAIL 2023 and 1st MICCAI Challenge, OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-55087-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Stoyanov / Belagiannis / Taylor Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support
4th International Workshop, DLMIA 2018, and 8th International Workshop, ML-CDS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-00888-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bakker / Rozenberg / Roever Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 19881989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51080-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Didier B'98: Recent Advances in the Development and Use of the B Method
Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64405-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jorge / Brazdil Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving
10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43030-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Demazeau / Fernández-Caballero / An Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection
16th International Conference, PAAMS 2018, Toledo, Spain, June 20¿22, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-94579-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort