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
-
Xiang / Lopez / Kuo Cyberspace Safety and Security
4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35361-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jones ESOP '90
3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52592-9Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage50,28 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klein / Martín-Vide / Shapira Language and Automata Theory and Applications
12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77312-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bezivin / Muller The Unified Modeling Language. <<UML>>'98: Beyond the Notation
First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66252-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bin / Ziv / Ur Hardware and Software, Verification and Testing
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70888-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bakker / Roever / Rozenberg A Decade of Concurrency: Reflections and Perspectives
Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58043-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Van Hung / Ogawa Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-02443-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Labarta / Joe / Sato High-Performance Computing
6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77703-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ausiello / Böhm Automata, Languages and Programming
Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings1. Auflage 1978Verlag: SpringerISBN: 978-3-540-08860-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steels / Schreiber / Van de Velde A Future for Knowledge Acquisition
8th European Knowledge Acquisition Workshop, EKAW'94, Hoegaarden, Belgium, September 26 - 29, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58487-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barnes Ada 95 Rationale
The Language - The Standard LibrariesErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63143-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
McAllester Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67664-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rus Algebraic Methodology and Software Technology
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67530-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Muggleton / Tamaddoni-Nezhad / Lisi Inductive Logic Programming
21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Agha / Van Houdt Quantitative Evaluation of Systems
13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-43424-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Du / Zhang Computing and Combinatorics
19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38767-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kamarainen / Koskela Image Analysis
18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38885-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Quinonero-Candela / Dagan / Magnini Machine Learning Challenges
Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33427-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zu / Hu / Gu Human Centered Computing
First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15553-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Blackwell / Marriott / Shimojima Diagrammatic Representation and Inference
Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21268-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lomuscio / Nepal / Patrizi Service-Oriented Computing--ICSOC 2013 Workshops
CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06858-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Habel Hyperedge Replacement: Grammars and Languages
1. Auflage 1992Verlag: SpringerISBN: 978-3-540-56005-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rauchwerger Languages and Compilers for Parallel Computing
16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21199-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Melton Mathematical Foundation of Programming Semantics
International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16816-4Medium: 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