Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10734
- 2628
- Erscheinungsjahr
-
- 317
- 1019
- 1052
- 804
- 630
- 387
- 402
- 441
- 417
- 426
- 417
- 438
- 399
- 439
- 441
- 399
- 370
- 271
- 247
- 277
- 291
- 223
- 447
- 590
- 263
- 252
- 179
- 176
- 135
- 135
- 137
- 121
- 112
- 99
- 75
- 84
- 57
- 60
- 46
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 6
- 6
- 5
- 6
- 7
- 8
- 7
- 13
- 12
- 6
- 11
- 12
- 11
- 20
- 8
- 23
- 7
- 10
- 6
- 8
- 10
- 11
- 8
- 13
- 31
- 52
- 7
- 48
- 7
- 7
- 6
- 6
- 20
- 17
- 12
- 6
- 46
- 6
- 6
- 7
- 10
- 6
- 18
- 7
- 6
- 8
- 8
- 9
- 9
- 7
- 6
- 7
- 10
- 10
- 6
- 20
- 6
- 9
- 21
- 12
- 8
- 8
- 18
- 12
- 11
- 7
- 57
- 19
- 13
- 7
- 9
- 11
- 10
- 7
- 8
- 6
- 7
- 10
- 9
- 8
- 15
- 13
- 18
- 12
- 16
- 7
- 8
- 6
- 46
- 15
- 9
- 7
- 7
- 10
- 19
- 7
- 11
- 12
- 13
- 7
- 7
- 18
- 11
- 9
- 25
- 6
- 17
- 6
- 12
- 13
- 6
- 11
- 8
- 13
- 7
- 8
- 49
- 11
- 61
- 7
- 13
- 9
- 20
- 20
- 11
- 7
- 25
- 9
- 48
- 11
- 15
- 13
- 9
- 11
- 8
- 17
- 6
- 10
- 15
- 10
- 11
- 46
- 9
- 12
- 11
- 18
- 8
- 10
- 7
- 16
- 10
- 7
- 8
- 7
- 8
- 23
- 12
- 7
- 19
- 11
- 7
- 10
- 6
- 8
- 22
- 22
- 8
- 9
- 6
- 6
- 7
- 9
- 16
- 25
- 9
- 9
- 7
- 6
- 11
- 7
- 7
- 7
- 11
- 6
- 11
- 19
- 12
- 7
- 11
- 11
- 10
- 53
- 47
- 8
- 30
- 6
- 11
- 22
- 11
- 26
- 17
- 7
- 7
- 8
- 12
- 8
- 20
- 7
- 7
- 7
- 11
- 7
- 31
- 7
- 6
- 18
- 54
- 14
- 9
- 19
- 13
- 9
- 11
- 12
- 24
- 9
- 8
- 9
- 6
- 11
- 20
- 14
- 12
- 6
- 6
- 6
- 11
- 9
- 12
- 16
- 17
- 68
- 44
- 11
- 6
- 27
- 13
- 22
- 34
- 109
- 7
- 14
- 10
- 6
- 8
- 6
- 22
- 8
- 9
- 23
- 16
- 7
- 8
- 7
- 6
- 11
- 21
- 9
- 15
- 9
- 8
- 10
- 6
- 8
- 15
- 7
- 53
- 6
- 13
- 6
- 10
- 7
- 7
- 16
- 27
- 8
- 9
- 8
- 25
- 46
- 11
- 7
- 6
- 14
- 19
- 15
- 8
- 7
- 9
- 6
- 9
- 6
- 13
- 19
- 9
- 6
- 6
- 10
- 7
- 84
- 6
- 14
- 14
- 8
- 10
- 7
- 8
- 8
- 19
- 6
- 12
- 12
- 11
- 24
- 7
- 8
- 15
- 10
- 6
- 14
- 6
- 7
- 21
- 17
- 7
- 6
- 6
- 8
- 13
- 6
- 6
- 9
- 6
- 17
- 9
- 7
- 6
- 11
- 6
- 18
- 7
- 6
- 8
- 7
- 11
- 6
- 13
- 12
- 16
- 6
- 6
- 8
- 6
- 9
- 10
- 10
- 7
- 7
- 8
- 37
- 6
- 10
- 13
- 6
- 9
- 6
- 30
- 8
- 9
- 6
- 20
- 44
- 7
- 6
- 6
- 11
- 12
- 19
- 6
- 34
- 6
- 14
- 9
- 6
- 7
- 18
- 6
- 18
- 6
- 6
- 27
- 41
- 23
- 14
- 8
- 28
- 7
- 6
- 14
- 10
- 7
- 34
- 6
- 6
- 15
- 37
- 47
- 6
- 8
- 9
- 8
- 9
- 9
- 19
- 11
- 6
- 17
- 6
- 10
- 7
- 8
- 8
- 6
- 7
- 9
- 7
- 17
- 8
- 90
- 30
- 33
- 7
- 17
- 8
- 6
- 23
- 7
- 7
- 7
- 8
- 19
- 8
- 8
- 7
- 13
- 18
- 6
- 19
- 6
- 9
- 7
- 7
- 7
- 7
- 11
- 15
- 7
- 20
- 7
- 22
- 6
- 29
- 9
- 11
- 7
- 7
- 83
- 8
- 6
- 22
- 7
- 9
- 6
- 6
- 14
- 28
- 10
- 15
- 6
- 12
- 6
- 10
- 7
- 6
- 10
- 6
- 22
- 9
- 6
- 9
- 27
- 10
- 6
- 7
- 6
- 14
- 15
- 17
- 6
- 19
- 22
- 20
- 11
- 23
- 7
- 8
- 12
- 9
- 6
- 12
- 9
- 10
- 33
- 8
- 10
- 7
- 44
- 36
- 6
- 8
- 6
- 9
- 10
- 22
- 10
- 6
- 7
- 6
- 7
- 8
- 10
- 12
- 8
- 9
- 6
- 12
- 7
- 27
- 9
- 8
- 6
- 7
- 11
- 10
- 12
- 9
- 16
- 6
- 6
- 10
- 7
- 42
- 7
- 13
- 13
- 6
- 8
- 6
- 20
- 6
- 8
- 7
- 15
- 6
- 7
- 10
- 7
- 7
- 9
- 9
- 101
- 14
- 8
- 6
- 10
- 7
- 9
- 20
- 8
- 10
- 6
- 7
- 10
- 14
- 55
- 16
- 6
- 20
- 6
- 7
- 16
- 9
- 13
- 7
- 6
- 6
- 8
- 11
- 6
- 8
- 7
- 9
- 9
- 11
- 8
- 7
- 8
- 10
- 8
- 13
- 61
- 8
- 8
- 21
- 6
- 9
- 6
- 20
- 15
- 6
- 7
- 6
- 13
- 7
- 17
- 16
- 19
- 11
- 18
- 9
- 7
- 12
- 34
- 12
- 10
- 10
- 17
- 8
- 6
- 7
- 25
- 6
- 13
- 17
- 17
- 6
- 6
- 13
- 11
- 6
- 18
- 8
- 18
- 8
- 9
- 21
- 9
- 25
- 9
- 10
- 6
- 12
- 6
- 16
- 7
- 6
- 13
- 17
- 10
- 10
- 7
- 6
- 7
- 7
- 20
- 6
- 9
- 10
- 7
- 7
- 8
- 14
- 31
- 7
- 17
- 8
- 7
- 11
- 24
- 7
- 10
- 10
- 11
- 6
- 122
- 7
- 9
- 10
- 7
- 30
- 14
- 9
- 6
- 23
- 11
- 9
- 11
- 15
- 10
- 28
- 8
- 123
- 6
- 57
- 15
- 13
- 12
- 120
- 31
- 15
- 8
- 13
- 8
- 13
- 6
- 15
- 16
- 14
- 12
- 7
- 6
- 6
- 6
- 10
- 11
- 12
- 13
- 120
- 10
- 15
- 28
- 12
- 18
- 11
- 6
- 12
- 6
- 26
- 16
- 13
- 10
- 8
- 10
- 7
- 12
- 6
- 10
- 29
- 9
- 7
- 14
- 6
- 6
- 6
- 7
- 12
- 15
- 6
- 34
- 9
- 6
- 7
- 6
- 7
- 7
- 15
- 11
- 8
- 11
- 10
- 18
- 7
- 20
- 40
- 16
- 9
- 11
- 10
- 25
- 10
- 12
- 10
- 16
- 12
- 8
- 12
- 11
- 6
- 50
- 9
- 42
- 7
- 15
- 10
- 13
- 9
- 13
- 13
- 6
- 9
- 26
- 7
- 10
- 8
- 10
- 11
- 12
- 22
- 8
- 23
- 35
- 6
- 9
- 15
- 29
- 14
- 18
- 33
- 70
- 12
- 21
- 21
- 10
- 15
- 8
- 9
- 20
- 22
- 18
- 12
- 9
- 12
- 72
- 25
- 15
- 12
- 7
- 17
- 19
- 9
- 10
- 17
- 8
- 15
- 14
- 8
- 6
- 16
- 16
- 10
- 10
- 16
- 6
- 120
- 6
- 12
- 6
- 14
- 19
- 8
- 6
- 7
- 6
- 6
- 8
- 6
- 17
- 11
- 6
- 12
- 43
- 7
- 12
- 9
- 7
- 18
- 9
- 17
- 25
- 12
- 14
- 27
- 9
- 8
- 8
- 6
- 20
- 8
- 25
- 8
- 13
- 7
- 8
- 11
- 9
- 8
- 11
- 10
- 8
- 7
- 33
- 8
- 17
- 8
- 12
- 7
- 7
- 9
- 8
- 9
- 7
- 10
- 7
- 17
- 13
- 11
- 7
- 20
- 17
- 7
- 6
- 7
- 17
- 11
- 29
- 12
- 6
- 20
- 6
- 6
- 6
- 30
- 8
- 12
- 6
- 7
- 14
- 10
- 6
- 9
- 20
- 7
- 9
- 7
- 8
- 63
- 16
- 6
- 7
- 10
- 7
- 28
- 7
- 6
- 7
- 6
- 58
- 20
- 80
- 8
- 23
- 8
- 13
- 8
- 9
- 9
- 6
- 38
- 7
- 9
- 7
- 23
- 22
- 21
- 11
- 10
- 6
- 15
- 15
- 30
- Verlag
-
- 3
- 11584
- 36
- 1550
- 1
- 14
- 3
- 3
- 127
- 1
- 1
- 39
- Preis
-
- 47
- 488
- 10547
- 2280
- Sprachen
-
- 13354
- 19
- 15
- Verfügbarkeit
-
- 13344
- 18
- Eigenschaften
-
- 22
- Katalog
-
- 13362
- 551
-
Joyce / Seger Higher Order Logic Theorem Proving and Its Applications
6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57826-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gao / Pollock / Cavazos Languages and Compilers for Parallel Computing
22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13373-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lárusdóttir / Naqvi / Bernhaupt Human-Centered Software Engineering
10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8–10, 2024, ProceedingsErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-64576-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark106,99 € (inkl. MwSt.)
sofort verfügbar106,99 € (inkl. MwSt.)
sofort verfügbar -
Sledge Software Engineering Education
SEI Conference 1992, San Diego, California, USA, October 5-7, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55963-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aarts / Collier / van Loenen Ambient Intelligence
First European Symposium, EUSAI 2003, Veldhoven, The Netherlands, November 3.-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20418-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Danelutto / Vanneschi / Laforenza Euro-Par 2004 Parallel Processing
10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22924-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Antoniou / Grobelnik / Simperl The Semantic Web: Research and Applications
8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 – June 2, 2011. Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21063-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hölldobler Foundations of Equational Logic Programming
1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51533-3Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carter / Ferrante Languages and Compilers for Parallel Computing
12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67858-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Orejas / Spirakis / Leeuwen Automata, Languages and Programming
28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42287-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Torra / Narukawa / Domingo-Ferrer Modeling Decisions for Artificial Intelligence
22nd International Conference, MDAI 2025, València, Spain, September 15-18, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00890-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage70,61 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Bojanczyk / Lasota / Potapov Reachability Problems
9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24537-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,79 € (inkl. MwSt.)
sofort verfügbar42,79 € (inkl. MwSt.)
sofort verfügbar -
Huang / Han Advanced Intelligent Computing Theories and Applications
11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III1. Auflage 2015Verlag: SpringerISBN: 978-3-319-22052-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45489-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36749-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barthe / Dybjer / Pinto Applied Semantics
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44044-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boer / Bonsangue / Graf Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised LecturesErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-39656-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Brlek / Dolce / Reutenauer Combinatorics on Words
11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-66396-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Katoen / Langerak / Rensink ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68269-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hegarty / Meyer / Narayanan Diagrammatic Representation and Inference
Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43561-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rios / Posegga Security and Trust Management
19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-47197-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Even / Rawitz Design and Analysis of Algorithms
First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34861-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Masuda / Masunaga / Tsukamoto Worldwide Computing and Its Applications
International Conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 Proceedings.Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63343-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Trinder / Michaelson / Pena Implementation of Functional Languages
15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23727-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Sonka Medical Biometrics
Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-13923-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort