Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 11125 EDV | Informatik
- 1117 Mathematik
- Medium
-
- 11163
- Erscheinungsjahr
-
- 7
- 745
- 798
- 841
- 622
- 480
- 285
- 317
- 311
- 314
- 280
- 318
- 306
- 301
- 297
- 296
- 285
- 288
- 256
- 211
- 261
- 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
- 6
- 4
- 4
- 9
- 5
- 12
- 25
- 10
- 7
- 4
- 4
- 4
- 5
- 4
- 5
- 8
- 10
- 4
- 4
- 5
- 8
- 17
- 6
- 13
- 4
- 8
- 5
- 4
- 4
- 4
- 5
- 5
- 9
- 9
- 6
- 4
- 5
- 5
- 4
- 6
- 6
- 14
- 4
- 33
- 36
- 7
- 41
- 5
- 5
- 4
- 4
- 5
- 5
- 6
- 8
- 4
- 13
- 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
- 11
- 4
- 7
- 17
- 9
- 6
- 4
- 4
- 5
- 6
- 4
- 6
- 6
- 8
- 24
- 4
- 8
- 10
- 10
- 11
- 7
- 6
- 4
- 12
- 6
- 4
- 4
- 5
- 4
- 19
- 5
- 6
- 14
- 6
- 12
- 5
- 5
- 5
- 9
- 8
- 4
- 4
- 8
- 26
- 4
- 4
- 4
- 10
- 5
- 11
- 5
- 6
- 40
- 4
- 5
- 4
- 4
- 8
- 5
- 20
- 18
- 6
- 4
- 4
- 4
- 8
- 6
- 11
- 10
- 4
- 4
- 5
- 4
- 5
- 11
- 4
- 5
- 4
- 7
- 10
- 4
- 4
- 4
- 7
- 8
- 12
- 12
- 9
- 4
- 12
- 8
- 8
- 16
- 4
- 7
- 5
- 4
- 4
- 6
- 10
- 39
- 18
- 7
- 6
- 4
- 8
- 5
- 7
- 7
- 16
- 4
- 5
- 9
- 4
- 15
- 7
- 5
- 13
- 4
- 4
- 6
- 24
- 4
- 15
- 10
- 4
- 4
- 11
- 4
- 4
- 10
- 6
- 6
- 8
- 4
- 7
- 34
- 4
- 17
- 41
- 13
- 8
- 17
- 19
- 4
- 11
- 4
- 45
- 4
- 8
- 38
- 4
- 9
- 14
- 12
- 4
- 12
- 6
- 11
- 10
- 6
- 4
- 5
- 39
- 5
- 11
- 9
- 12
- 4
- 4
- 4
- 4
- 12
- 13
- 6
- 5
- 4
- 15
- 6
- 14
- 6
- 8
- 4
- 6
- 5
- 23
- 26
- 15
- 27
- 9
- 9
- 5
- 8
- 6
- 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
- 7
- 15
- 10
- 4
- 10
- 10
- 4
- 4
- 5
- 50
- 41
- 8
- 39
- 4
- 8
- 16
- 7
- 8
- 34
- 13
- 4
- 7
- 19
- 8
- 6
- 5
- 10
- 26
- 12
- 43
- 76
- 9
- 7
- 15
- 10
- 8
- 5
- 6
- 10
- 15
- 5
- 8
- 8
- 6
- 6
- 6
- 8
- 6
- 5
- 5
- 5
- 5
- 20
- 17
- 11
- 6
- 9
- 8
- 5
- 5
- 12
- 6
- 22
- 67
- 34
- 8
- 23
- 17
- 23
- 106
- 5
- 11
- 6
- 8
- 15
- 11
- 6
- 7
- 19
- 15
- 5
- 11
- 8
- 6
- 16
- 7
- 5
- 6
- 5
- 13
- 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
- 10
- 5
- 8
- 6
- 5
- 7
- 15
- 5
- 14
- 6
- 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
- 10
- 6
- 8
- 11
- 5
- 15
- 8
- 7
- 10
- 42
- 12
- 5
- 7
- 24
- 6
- 19
- 41
- 6
- 5
- 12
- 15
- 9
- 33
- 6
- 7
- 6
- 9
- 5
- 18
- 6
- 7
- 11
- 6
- 17
- 38
- 22
- 8
- 10
- 6
- 17
- 25
- 5
- 76
- 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
- 6
- 8
- 5
- 6
- 6
- 32
- 6
- 9
- 25
- 6
- 5
- 5
- 13
- 12
- 13
- 14
- 11
- 15
- 13
- 16
- 76
- 11
- 9
- 6
- 28
- 35
- 31
- 5
- 5
- 10
- 8
- 11
- 5
- 18
- 7
- 6
- 7
- 9
- 11
- 5
- 10
- 20
- 9
- 9
- 8
- 10
- 9
- 7
- 15
- 7
- 5
- 35
- 12
- 9
- 7
- 10
- 7
- 6
- 20
- 7
- 9
- 13
- 7
- 8
- 11
- 96
- 5
- 7
- 7
- 5
- 9
- 11
- 5
- 7
- 5
- 7
- 7
- 11
- 37
- 7
- 5
- 16
- 9
- 5
- 9
- 6
- 5
- 14
- 5
- 21
- 25
- 5
- 9
- 5
- 6
- 8
- 6
- 8
- 12
- 6
- 7
- 5
- 9
- 7
- 7
- 5
- 8
- 48
- 8
- 23
- 5
- 6
- 41
- 14
- 8
- 9
- 15
- 18
- 15
- 18
- 15
- 6
- 11
- 5
- 9
- 28
- 12
- 12
- 7
- 6
- 5
- 20
- 5
- 10
- 8
- 15
- 11
- 6
- 5
- 6
- 13
- 7
- 11
- 6
- 5
- 12
- 5
- 8
- 24
- 7
- 6
- 38
- 9
- 8
- 9
- 6
- 5
- 17
- 8
- 6
- 8
- 7
- 30
- 6
- 14
- 6
- 7
- 36
- 8
- 7
- 6
- 9
- 10
- 5
- 90
- 7
- 6
- 5
- 9
- 5
- 6
- 33
- 15
- 8
- 76
- 20
- 12
- 8
- 13
- 13
- 19
- 18
- 9
- 9
- 93
- 6
- 48
- 5
- 11
- 11
- 8
- 6
- 89
- 17
- 20
- 12
- 8
- 9
- 16
- 12
- 6
- 5
- 9
- 5
- 5
- 8
- 90
- 5
- 5
- 6
- 17
- 8
- 7
- 79
- 12
- 16
- 16
- 11
- 9
- 8
- 10
- 13
- 5
- 7
- 7
- 22
- 18
- 8
- 5
- 6
- 15
- 7
- 27
- 5
- 7
- 8
- 5
- 6
- 5
- 5
- 14
- 8
- 6
- 9
- 7
- 16
- 7
- 12
- 23
- 31
- 6
- 6
- 6
- 19
- 9
- 6
- 13
- 12
- 31
- 10
- 5
- 13
- 10
- 42
- 8
- 51
- 11
- 9
- 6
- 11
- 12
- 5
- 22
- 18
- 17
- 18
- 19
- 5
- 6
- 24
- 14
- 28
- 63
- 10
- 16
- 19
- 8
- 9
- 7
- 24
- 6
- 19
- 16
- 7
- 6
- 6
- 17
- 10
- 61
- 6
- 79
- 24
- 12
- 6
- 13
- 15
- 7
- 7
- 7
- 12
- 15
- 5
- 12
- 7
- 15
- 13
- 7
- 6
- 10
- 10
- 89
- 11
- 5
- 18
- 16
- 5
- 6
- 6
- 5
- 7
- 16
- 8
- 8
- 8
- 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
- 5
- 12
- 6
- 5
- 9
- 5
- 17
- 25
- 13
- 6
- 14
- 5
- 19
- 18
- 5
- 7
- 5
- 5
- 12
- 6
- 10
- 18
- 10
- 6
- 43
- 6
- 8
- 6
- 6
- 5
- 23
- 6
- 48
- 40
- 66
- 41
- 16
- 6
- 11
- 6
- 18
- 32
- 7
- 26
- 21
- 20
- 9
- 6
- 5
- 10
- 7
- 7
- 6
- 20
- Verlag
-
- 9
- 10992
- 3
- 5
- 1
- 99
- 4
- 1
- 12
- 37
- Preis
-
- 47
- 410
- 8463
- 2243
- Sprachen
-
- 11157
- 17
- 13
- Verfügbarkeit
-
- 10897
- 266
- Eigenschaften
-
- 1
- Katalog
-
- 11163
- 588
-
Balandin / Dunaytsev / Koucheryavy Smart Spaces and Next Generation Wired/Wireless Networking
Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14890-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Berg / Meyer Algorithms -- ESA 2010, Part II
18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15780-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barringer / Falcone / Finkbeiner Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16611-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brennan / Fleck II / van der Meer Modelling Autonomic Communication Environments
5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16835-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abdulla / Leino Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19834-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chung / Yung Information Security Applications
11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-17954-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Heng / Wright / Goi Cryptology and Network Security
9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-17618-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Elisabetta / Yahyapour Towards a Service-Based Internet
Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-17693-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stiller / Hoßfeld / Stamoulis Incentives, Overlays, and Economic Traffic Control
Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15484-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Soriano / Qing / López Information and Communications Security
12th International Conference, ICICS 2010, Barcelona, Spain, December 15-17, 2010 Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-17649-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Acquisti / Smith / Sadeghi Trust and Trustworthy Computing
Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13868-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Corchado / Kurzynski / Wozniak Hybrid Artificial Intelligent Systems
6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21221-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katz / Mezini Transactions on Aspect-Oriented Software Development VIII
1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22030-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peled / Wooldridge Model Checking and Artificial Intelligence
5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00430-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dovier / Pontelli A 25-Year Perspective on Logic Programming
Achievements of the Italian Association for Logic Programming, GULP1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14308-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot / Martel Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15768-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tannier Comparative Genomics
International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16180-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cimatti / Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31611-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nipkow / Paulson / Wenzel Isabelle/HOL
A Proof Assistant for Higher-Order Logic1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43376-7Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bampis / Megow Approximation and Online Algorithms
17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-39478-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haxthausen / Serwe Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-68149-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Paolis / Arpaia / Sacco Extended Reality
International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-71703-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowles / Søndergaard Logic-Based Program Synthesis and Transformation
34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71293-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Luo Cooperative Design, Visualization, and Engineering
21st International Conference, CDVE 2024, Valencia, Spain, September 15-18, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71314-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barney Smith / Liwicki / Peng Document Analysis and Recognition - ICDAR 2024
18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part V2024Verlag: SpringerISBN: 978-3-031-70548-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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