Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 60 Berechenbarkeitstheorie, Komplexitätstheorie
- 1341 Bildsignalverarbeitung
- 5051 Künstliche Intelligenz
- 2214 Logik, formale Sprachen, Automaten
- 1047 Mathematik für Informatiker
- 1324 Mensch-Maschine-Interaktion
- 173 Natürliche Sprachen & Maschinelle Übersetzung
- 338 Rechnerarchitektur
- 378 Theoretische Informatik
- 23 Tonsignalverarbeitung
- 63 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 8346
- Erscheinungsjahr
-
- 44
- 695
- 681
- 720
- 434
- 287
- 164
- 190
- 217
- 193
- 181
- 215
- 224
- 193
- 200
- 178
- 194
- 171
- 184
- 165
- 224
- 215
- 189
- 273
- 232
- 206
- 201
- 133
- 129
- 107
- 117
- 104
- 97
- 92
- 72
- 59
- 71
- 44
- 48
- 30
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 5
- 4
- 5
- 4
- 9
- 4
- 4
- 11
- 24
- 7
- 7
- 4
- 5
- 4
- 5
- 4
- 8
- 17
- 4
- 5
- 19
- 8
- 5
- 4
- 4
- 6
- 8
- 4
- 4
- 4
- 4
- 8
- 14
- 31
- 36
- 4
- 35
- 6
- 4
- 4
- 4
- 5
- 6
- 5
- 11
- 6
- 7
- 21
- 13
- 4
- 4
- 39
- 6
- 4
- 4
- 5
- 4
- 8
- 6
- 6
- 4
- 6
- 4
- 11
- 9
- 46
- 6
- 4
- 4
- 6
- 5
- 4
- 23
- 5
- 4
- 7
- 10
- 10
- 7
- 5
- 4
- 4
- 4
- 4
- 18
- 5
- 7
- 12
- 8
- 5
- 4
- 8
- 4
- 4
- 4
- 5
- 10
- 4
- 13
- 4
- 6
- 40
- 4
- 4
- 7
- 4
- 22
- 11
- 5
- 5
- 7
- 9
- 4
- 4
- 9
- 6
- 4
- 7
- 10
- 4
- 5
- 13
- 4
- 10
- 4
- 4
- 12
- 9
- 14
- 5
- 4
- 6
- 4
- 4
- 6
- 10
- 4
- 5
- 39
- 18
- 7
- 4
- 7
- 5
- 5
- 4
- 6
- 7
- 5
- 16
- 4
- 7
- 5
- 10
- 4
- 5
- 12
- 8
- 6
- 4
- 9
- 9
- 4
- 7
- 4
- 24
- 5
- 4
- 12
- 8
- 4
- 9
- 4
- 12
- 5
- 5
- 5
- 7
- 4
- 8
- 6
- 5
- 9
- 4
- 6
- 5
- 4
- 34
- 5
- 5
- 10
- 41
- 4
- 12
- 10
- 7
- 20
- 4
- 41
- 4
- 4
- 36
- 6
- 4
- 5
- 10
- 15
- 8
- 4
- 7
- 7
- 12
- 4
- 4
- 4
- 4
- 8
- 5
- 6
- 4
- 4
- 4
- 39
- 7
- 6
- 12
- 4
- 4
- 11
- 4
- 9
- 4
- 5
- 4
- 4
- 5
- 6
- 7
- 9
- 6
- 13
- 6
- 5
- 5
- 6
- 6
- 11
- 4
- 5
- 6
- 4
- 4
- 4
- 5
- 4
- 6
- 8
- 4
- 4
- 26
- 4
- 25
- 15
- 25
- 8
- 4
- 8
- 8
- 5
- 6
- 6
- 4
- 15
- 8
- 24
- 5
- 5
- 5
- 4
- 4
- 5
- 4
- 4
- 4
- 8
- 4
- 5
- 5
- 5
- 10
- 5
- 5
- 4
- 6
- 4
- 5
- 4
- 4
- 6
- 15
- 11
- 6
- 8
- 6
- 37
- 40
- 9
- 41
- 11
- 6
- 9
- 6
- 32
- 13
- 4
- 5
- 14
- 5
- 4
- 6
- 6
- 4
- 10
- 26
- 14
- 43
- 78
- 7
- 4
- 14
- 8
- 6
- 5
- 7
- 4
- 5
- 5
- 10
- 9
- 6
- 4
- 4
- 5
- 4
- 6
- 8
- 4
- 4
- 4
- 4
- 5
- 20
- 18
- 4
- 4
- 4
- 8
- 4
- 4
- 6
- 4
- 7
- 9
- 4
- 11
- 20
- 47
- 4
- 4
- 8
- 6
- 19
- 15
- 23
- 88
- 11
- 4
- 5
- 14
- 4
- 8
- 4
- 6
- 4
- 18
- 4
- 8
- 5
- 6
- 14
- 4
- 4
- 4
- 4
- 4
- 5
- 4
- 4
- 4
- 4
- 23
- 4
- 6
- 9
- 5
- 5
- 7
- 17
- 6
- 5
- 9
- 23
- 39
- 18
- 8
- 4
- 5
- 16
- 4
- 11
- 15
- 4
- 4
- 5
- 6
- 96
- 4
- 4
- 7
- 6
- 5
- 6
- 4
- 5
- 6
- 4
- 15
- 4
- 4
- 12
- 5
- 4
- 19
- 8
- 9
- 7
- 6
- 6
- 4
- 17
- 9
- 4
- 6
- 13
- 4
- 4
- 13
- 7
- 4
- 8
- 5
- 4
- 12
- 5
- 5
- 6
- 12
- 9
- 5
- 4
- 15
- 8
- 34
- 4
- 7
- 7
- 8
- 4
- 8
- 4
- 15
- 25
- 4
- 4
- 11
- 15
- 12
- 32
- 4
- 11
- 4
- 4
- 9
- 4
- 4
- 13
- 6
- 5
- 11
- 4
- 4
- 15
- 21
- 5
- 7
- 12
- 17
- 6
- 6
- 22
- 5
- 78
- 14
- 16
- 4
- 45
- 6
- 5
- 7
- 9
- 6
- 5
- 4
- 12
- 4
- 6
- 7
- 7
- 4
- 10
- 7
- 4
- 4
- 4
- 17
- 4
- 92
- 13
- 4
- 43
- 6
- 4
- 4
- 4
- 7
- 7
- 6
- 5
- 4
- 13
- 9
- 11
- 5
- 34
- 4
- 5
- 4
- 6
- 4
- 18
- 19
- 5
- 26
- 5
- 5
- 76
- 9
- 16
- 6
- 6
- 10
- 21
- 5
- 5
- 6
- 5
- 4
- 4
- 30
- 9
- 4
- 24
- 6
- 4
- 4
- 4
- 9
- 15
- 13
- 7
- 14
- 14
- 14
- 12
- 16
- 7
- 6
- 78
- 11
- 4
- 7
- 11
- 18
- 4
- 4
- 4
- 31
- 24
- 4
- 5
- 4
- 5
- 8
- 6
- 11
- 5
- 16
- 4
- 8
- 5
- 7
- 7
- 7
- 6
- 4
- 13
- 5
- 5
- 4
- 4
- 5
- 9
- 10
- 4
- 11
- 4
- 8
- 4
- 13
- 4
- 4
- 4
- 6
- 6
- 28
- 5
- 4
- 13
- 4
- 4
- 4
- 4
- 5
- 4
- 4
- 21
- 9
- 4
- 8
- 9
- 4
- 78
- 6
- 4
- 5
- 9
- 10
- 11
- 36
- 5
- 4
- 5
- 14
- 9
- 5
- 5
- 10
- 4
- 4
- 13
- 4
- 21
- 25
- 4
- 6
- 4
- 4
- 6
- 8
- 11
- 4
- 5
- 6
- 5
- 4
- 4
- 4
- 6
- 5
- 10
- 4
- 6
- 9
- 4
- 48
- 5
- 4
- 4
- 17
- 4
- 4
- 39
- 7
- 5
- 4
- 13
- 20
- 4
- 11
- 11
- 15
- 4
- 11
- 4
- 5
- 27
- 6
- 12
- 6
- 5
- 4
- 13
- 5
- 16
- 14
- 5
- 10
- 9
- 5
- 4
- 5
- 4
- 7
- 7
- 4
- 24
- 5
- 9
- 7
- 4
- 8
- 4
- 38
- 7
- 7
- 4
- 7
- 4
- 7
- 5
- 6
- 6
- 4
- 10
- 30
- 6
- 14
- 5
- 34
- 6
- 4
- 9
- 4
- 90
- 4
- 6
- 5
- 6
- 13
- 16
- 6
- 4
- 78
- 10
- 10
- 8
- 6
- 4
- 12
- 20
- 18
- 8
- 92
- 4
- 4
- 37
- 4
- 11
- 11
- 9
- 4
- 89
- 21
- 4
- 20
- 4
- 4
- 4
- 9
- 11
- 13
- 5
- 7
- 4
- 4
- 4
- 5
- 90
- 4
- 5
- 19
- 4
- 10
- 12
- 6
- 80
- 11
- 4
- 11
- 15
- 14
- 4
- 10
- 4
- 13
- 4
- 8
- 4
- 7
- 15
- 14
- 4
- 4
- 4
- 8
- 4
- 9
- 4
- 4
- 5
- 14
- 21
- 5
- 5
- 6
- 5
- 5
- 14
- 8
- 13
- 9
- 21
- 27
- 7
- 6
- 6
- 20
- 11
- 7
- 13
- 5
- 34
- 14
- 13
- 33
- 48
- 10
- 7
- 9
- 5
- 23
- 6
- 11
- 15
- 21
- 6
- 8
- 27
- 12
- 21
- 57
- 10
- 10
- 18
- 9
- 5
- 6
- 22
- 13
- 14
- 6
- 21
- 9
- 35
- 81
- 24
- 12
- 6
- 13
- 8
- 7
- 12
- 14
- 7
- 15
- 8
- 6
- 5
- 5
- 89
- 11
- 18
- 15
- 6
- 13
- 6
- 18
- 5
- 11
- 5
- 6
- 13
- 36
- 6
- 5
- 6
- 5
- 17
- 12
- 5
- 7
- 7
- 6
- 6
- 22
- 8
- 8
- 10
- 7
- 6
- 6
- 7
- 6
- 8
- 9
- 9
- 5
- 18
- 5
- 13
- 14
- 6
- 19
- 26
- 8
- 14
- 23
- 9
- 5
- 7
- 5
- 8
- 6
- 18
- 7
- 6
- 21
- 6
- 10
- 35
- 5
- 23
- 5
- 42
- 5
- 38
- 21
- 40
- 10
- 5
- 21
- 32
- 7
- 7
- 26
- 20
- 5
- 5
- 11
- 20
- Verlag
-
- 6
- 8249
- 3
- 10
- 3
- 3
- 28
- 4
- 1
- 13
- 26
- Preis
-
- 27
- 265
- 6212
- 1842
- Sprachen
-
- 8341
- 16
- 12
- 1
- Verfügbarkeit
-
- 8120
- 226
- Katalog
-
- 8346
- 370
-
Treharne / King / Henson ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25559-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Baratgin / Jacquet / Brochier Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-84594-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sudre / Baumgartner / Dalca Uncertainty for Safe Utilization of Machine Learning in Medical Imaging
5th International Workshop, UNSURE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-44335-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Goh / Chen / Tuarob Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration
25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-981-99-8087-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Barneva / Brimkov / Tavares Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications
5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-54608-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Krömker HCI in Mobility, Transport, and Automotive Systems. Driving Behavior, Urban and Smart Mobility
Second International Conference, MobiTAS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-50536-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Meiselwitz Social Computing and Social Media: Applications in Education and Commerce
14th International Conference, SCSM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II1. Auflage 2022Verlag: SpringerISBN: 978-3-031-05063-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Juan / Faulin / Lopez-Lopez Decision Sciences
Second Decision Science Alliance International Summer Conference, DSA ISC 2024, Valencia, Spain, June 6-7, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-78237-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Juan / Faulin / Lopez-Lopez Decision Sciences
Second Decision Science Alliance International Summer Conference, DSA ISC 2024, Valencia, Spain, June 6-7, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-78240-4Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rau Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development
10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92251-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Chatterjee / vom Brocke / Anderson Local Solutions for Global Challenges
20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93978-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rathgeb / Echtle / Müller-Clostermann Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12103-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / De Nicola / Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures1. Auflage 2016Verlag: SpringerISBN: 978-3-319-34095-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / de Vink / Di Pierro 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 Lectures1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38873-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34304-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cea Optimization Techniques. Modeling and Optimization in the Service of Man 1
Proceedings, 7th IFIP Conference, Nice, Sept. 8-12, 19751. Auflage 1976Verlag: SpringerISBN: 978-3-540-07622-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Barneva / Brimkov / Kulczycki Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications
6th International Conference, CompIMAGE 2018, Cracow, Poland, July 2-5, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-20804-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pophale / Imam / Aderholdt OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity
5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-04917-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Felsner / Küstner / Maier Reconstruction and Imaging Motion Estimation, and Graphs in Biomedical Image Analysis
First International Workshop, RIME 2025, and 7th International Workshop, GRAIL 2025, Daejeon, South Korea, September 27, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06102-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Chatterjee / vom Brocke / Anderson Local Solutions for Global Challenges
20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93975-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Corradini Formal Methods for the Design of Real-Time Systems
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23068-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Duffy Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling
6th International Conference, DHM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I2015Verlag: SpringerISBN: 978-3-319-21072-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pacchierotti / MacLean / van Erp Haptics: Understanding Touch; Technology and Systems; Applications and Interaction
15th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2026, Siena, Italy, July 6-9, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32349-1Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Spaccapietra / Bertino / Jajodia Journal on Data Semantics II
1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24208-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008Erscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68892-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
