Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 11129 EDV | Informatik
- 1117 Mathematik
- Medium
-
- 11167
- Erscheinungsjahr
-
- 8
- 761
- 795
- 840
- 623
- 480
- 281
- 305
- 316
- 314
- 279
- 318
- 310
- 303
- 297
- 296
- 285
- 286
- 256
- 210
- 260
- 270
- 230
- 359
- 307
- 255
- 254
- 177
- 177
- 134
- 137
- 133
- 117
- 106
- 93
- 73
- 88
- 59
- 59
- 45
- 46
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 5
- 5
- 5
- 4
- 4
- 4
- 5
- 4
- 4
- 9
- 5
- 12
- 25
- 10
- 7
- 4
- 4
- 4
- 5
- 4
- 5
- 8
- 9
- 4
- 4
- 5
- 8
- 17
- 6
- 13
- 4
- 8
- 5
- 4
- 4
- 4
- 4
- 5
- 9
- 9
- 6
- 4
- 5
- 5
- 4
- 6
- 5
- 14
- 4
- 33
- 36
- 7
- 40
- 5
- 6
- 4
- 4
- 5
- 5
- 6
- 8
- 5
- 14
- 4
- 21
- 13
- 4
- 4
- 6
- 4
- 6
- 4
- 7
- 4
- 39
- 13
- 6
- 4
- 6
- 4
- 5
- 4
- 7
- 5
- 7
- 4
- 4
- 4
- 10
- 4
- 7
- 17
- 8
- 8
- 4
- 4
- 4
- 6
- 4
- 6
- 6
- 8
- 24
- 4
- 8
- 10
- 10
- 11
- 7
- 6
- 12
- 6
- 4
- 4
- 5
- 4
- 19
- 5
- 6
- 14
- 6
- 12
- 5
- 5
- 5
- 9
- 9
- 4
- 4
- 8
- 26
- 4
- 4
- 4
- 10
- 5
- 11
- 5
- 6
- 40
- 4
- 5
- 4
- 5
- 8
- 5
- 20
- 18
- 6
- 4
- 4
- 4
- 8
- 6
- 13
- 9
- 4
- 5
- 4
- 5
- 10
- 4
- 5
- 4
- 7
- 10
- 4
- 4
- 4
- 7
- 8
- 12
- 12
- 9
- 4
- 12
- 9
- 8
- 16
- 4
- 7
- 5
- 4
- 4
- 6
- 10
- 39
- 18
- 7
- 6
- 4
- 8
- 5
- 7
- 7
- 16
- 5
- 5
- 9
- 4
- 15
- 7
- 5
- 13
- 4
- 4
- 6
- 24
- 4
- 15
- 10
- 4
- 4
- 11
- 4
- 4
- 10
- 6
- 6
- 7
- 4
- 7
- 34
- 4
- 17
- 41
- 13
- 8
- 17
- 19
- 4
- 11
- 4
- 45
- 4
- 9
- 38
- 4
- 9
- 14
- 12
- 4
- 12
- 6
- 11
- 10
- 6
- 4
- 5
- 39
- 5
- 11
- 9
- 4
- 12
- 4
- 4
- 4
- 4
- 12
- 13
- 6
- 5
- 4
- 15
- 6
- 14
- 6
- 8
- 6
- 4
- 23
- 25
- 15
- 27
- 9
- 9
- 5
- 7
- 8
- 5
- 7
- 6
- 5
- 16
- 13
- 24
- 6
- 4
- 6
- 4
- 6
- 4
- 4
- 4
- 7
- 4
- 8
- 4
- 9
- 7
- 4
- 4
- 5
- 4
- 6
- 15
- 10
- 4
- 10
- 10
- 4
- 4
- 5
- 50
- 40
- 8
- 39
- 4
- 8
- 16
- 7
- 8
- 34
- 13
- 7
- 19
- 8
- 6
- 5
- 10
- 26
- 14
- 43
- 78
- 9
- 7
- 14
- 10
- 8
- 5
- 6
- 10
- 15
- 5
- 8
- 8
- 6
- 6
- 6
- 8
- 6
- 5
- 5
- 6
- 5
- 5
- 20
- 17
- 9
- 6
- 9
- 7
- 5
- 5
- 12
- 6
- 20
- 67
- 33
- 8
- 23
- 17
- 23
- 105
- 5
- 11
- 6
- 8
- 15
- 11
- 6
- 7
- 19
- 15
- 5
- 11
- 8
- 6
- 6
- 16
- 7
- 5
- 6
- 5
- 13
- 5
- 44
- 6
- 10
- 8
- 6
- 9
- 16
- 6
- 7
- 8
- 23
- 39
- 17
- 8
- 10
- 5
- 15
- 5
- 14
- 15
- 6
- 5
- 7
- 94
- 5
- 8
- 5
- 8
- 6
- 7
- 15
- 7
- 12
- 8
- 5
- 19
- 13
- 7
- 5
- 8
- 6
- 11
- 17
- 16
- 11
- 7
- 13
- 5
- 7
- 13
- 7
- 10
- 5
- 6
- 13
- 6
- 7
- 5
- 5
- 6
- 12
- 5
- 8
- 11
- 5
- 15
- 8
- 7
- 10
- 42
- 12
- 5
- 7
- 24
- 6
- 18
- 40
- 6
- 5
- 10
- 15
- 9
- 33
- 6
- 7
- 8
- 9
- 5
- 18
- 6
- 7
- 11
- 6
- 17
- 37
- 21
- 8
- 10
- 5
- 17
- 24
- 5
- 78
- 14
- 25
- 44
- 5
- 6
- 10
- 7
- 5
- 5
- 11
- 6
- 5
- 12
- 6
- 7
- 7
- 5
- 9
- 7
- 6
- 5
- 16
- 90
- 13
- 44
- 7
- 12
- 6
- 8
- 5
- 8
- 14
- 10
- 11
- 5
- 5
- 5
- 9
- 10
- 18
- 19
- 8
- 27
- 5
- 6
- 6
- 80
- 5
- 17
- 6
- 7
- 10
- 21
- 5
- 7
- 8
- 5
- 6
- 6
- 32
- 6
- 9
- 25
- 6
- 5
- 5
- 13
- 12
- 13
- 5
- 14
- 11
- 15
- 11
- 16
- 78
- 11
- 9
- 7
- 27
- 35
- 31
- 5
- 5
- 10
- 8
- 11
- 5
- 18
- 6
- 6
- 7
- 9
- 13
- 5
- 12
- 20
- 9
- 9
- 8
- 10
- 9
- 7
- 15
- 7
- 5
- 34
- 13
- 9
- 10
- 7
- 6
- 21
- 7
- 9
- 13
- 7
- 8
- 11
- 95
- 5
- 7
- 7
- 5
- 9
- 13
- 5
- 7
- 5
- 5
- 7
- 11
- 37
- 7
- 5
- 16
- 9
- 5
- 9
- 6
- 5
- 14
- 5
- 21
- 25
- 5
- 9
- 5
- 6
- 8
- 6
- 8
- 13
- 6
- 7
- 5
- 11
- 7
- 7
- 5
- 8
- 48
- 8
- 23
- 5
- 6
- 41
- 14
- 10
- 9
- 13
- 18
- 15
- 18
- 15
- 6
- 11
- 5
- 9
- 27
- 12
- 12
- 7
- 5
- 20
- 5
- 10
- 8
- 15
- 11
- 6
- 5
- 6
- 13
- 7
- 11
- 6
- 5
- 14
- 5
- 8
- 24
- 7
- 6
- 38
- 9
- 8
- 9
- 6
- 5
- 17
- 8
- 8
- 9
- 30
- 6
- 13
- 6
- 7
- 36
- 8
- 7
- 6
- 9
- 10
- 5
- 90
- 7
- 6
- 5
- 9
- 5
- 6
- 33
- 15
- 5
- 8
- 78
- 21
- 12
- 8
- 13
- 13
- 20
- 18
- 9
- 9
- 93
- 6
- 48
- 5
- 11
- 11
- 8
- 6
- 89
- 17
- 6
- 20
- 12
- 8
- 9
- 16
- 12
- 6
- 5
- 7
- 5
- 5
- 8
- 90
- 5
- 5
- 6
- 17
- 8
- 7
- 81
- 12
- 16
- 15
- 11
- 9
- 8
- 10
- 13
- 5
- 7
- 7
- 22
- 18
- 8
- 5
- 6
- 14
- 5
- 28
- 5
- 7
- 8
- 5
- 6
- 5
- 5
- 14
- 8
- 6
- 9
- 7
- 16
- 6
- 12
- 23
- 30
- 6
- 6
- 6
- 20
- 10
- 6
- 13
- 12
- 31
- 9
- 5
- 13
- 10
- 42
- 8
- 51
- 11
- 8
- 6
- 11
- 12
- 5
- 22
- 18
- 6
- 17
- 18
- 19
- 5
- 6
- 24
- 14
- 28
- 62
- 10
- 16
- 19
- 8
- 9
- 7
- 24
- 6
- 19
- 15
- 7
- 6
- 6
- 17
- 10
- 60
- 6
- 81
- 24
- 12
- 6
- 12
- 15
- 7
- 7
- 7
- 12
- 16
- 5
- 12
- 7
- 6
- 15
- 13
- 7
- 6
- 10
- 10
- 89
- 11
- 5
- 18
- 16
- 5
- 6
- 6
- 5
- 7
- 16
- 8
- 8
- 7
- 34
- 5
- 11
- 9
- 5
- 8
- 12
- 13
- 21
- 5
- 10
- 6
- 36
- 6
- 5
- 6
- 14
- 19
- 14
- 10
- 6
- 6
- 8
- 8
- 6
- 5
- 25
- 7
- 16
- 10
- 6
- 6
- 9
- 6
- 6
- 5
- 6
- 14
- 13
- 9
- 5
- 5
- 5
- 18
- 5
- 10
- 13
- 6
- 5
- 9
- 5
- 17
- 25
- 13
- 5
- 14
- 5
- 19
- 18
- 5
- 7
- 5
- 5
- 12
- 6
- 10
- 18
- 10
- 6
- 43
- 6
- 8
- 6
- 6
- 5
- 23
- 6
- 48
- 40
- 65
- 41
- 5
- 16
- 6
- 11
- 6
- 18
- 32
- 7
- 25
- 21
- 21
- 9
- 6
- 5
- 10
- 7
- 7
- 6
- 20
- Verlag
-
- 9
- 10996
- 3
- 5
- 1
- 99
- 4
- 1
- 12
- 37
- Preis
-
- 47
- 410
- 8470
- 2240
- Sprachen
-
- 11161
- 17
- 13
- Verfügbarkeit
-
- 10889
- 278
- Eigenschaften
-
- 1
- Katalog
-
- 11167
- 590
-
Bekki / Mineshima / McCready Logic and Engineering of Natural Language Semantics
20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-60877-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Martinelli / Rios Security and Trust Management
20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-76370-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lahlou / Mukund Networked Systems
13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00346-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aubert / Roversi Reversible Computation
18th International Conference, RC 2026, Turin, Italy, July 9-10, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-30838-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Assunção / Kim / Ouni Search-Based Software Engineering
18th International Symposium, SSBSE 2026, Montreal, QC, Canada, July 5-6, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-30698-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Novotný / Mazal / Vašík Modelling and Simulation for Autonomous Systems
12th International Conference, MESAS 2025, Istanbul, Turkey, October 21-23, 2025, Revised Selected PapersErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-33181-6Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kazakov / Khachay / Kochetov Mathematical Optimization Theory and Operations Research
25th International Conference, MOTOR 2026, Irkutsk, Russia, July 6-11, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-31389-8Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Inoue / Ohwada / Yamamoto Inductive Logic Programming
25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40565-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klusch / Thimm / Paprzycki Multiagent System Technologies
11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013 ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40775-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-40107-6Medium: Buch42,79 € (inkl. MwSt.)
vorbestellbar42,79 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. November 2026 -
Parikh Logics of Programs
Brooklyn, June 17-19, 19851. Auflage 1985Verlag: SpringerISBN: 978-3-540-15648-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Qiu Algorithms and Architectures for Parallel Processing
20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60238-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haxthausen / Huang / Roggenbach Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday1. Auflage 2023Verlag: SpringerISBN: 978-3-031-40131-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Laber / Bornstein / Nogueira LATIN 2008: Theoretical Informatics
8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78772-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diekert Combinatorics on Traces
1. Auflage 1990Verlag: SpringerISBN: 978-3-540-53031-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mira / Prieto Bio-Inspired Applications of Connectionism
6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part IIErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42237-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Qin Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16689-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stephanidis / Antona / Gao HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design
22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60148-5Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fisman / Rosu Tools and Algorithms for the Construction and Analysis of Systems
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II1. Auflage 2022Verlag: SpringerISBN: 978-3-030-99526-3Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rau Cross-Cultural Design
17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93735-4Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Andrews / Timmis / Owens Artificial Immune Systems
8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03245-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cudré-Mauroux / Heflin / Sirin The Semantic Web -- ISWC 2012
11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35175-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing
5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31994-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Craeynest / Strohmeier Reliable Software Technologies - Ada-Europe 2001
6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42123-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weidlich / Chounta / Tammets Mindful TEL: Learning Technologies Shaped with Intention
21st European Conference on Technology Enhanced Learning, ECTEL 2026, Valencia, Spain, September 14–18, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-37978-8Medium: Buch87,73 € (inkl. MwSt.)
vorbestellbar87,73 € (inkl. MwSt.)
vorbestellbar, Erscheinungstermin ca. November 2026
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort