Ergebnisse filtern
- Fachgebiet
- Medium
-
- 11191
- 2620
- Erscheinungsjahr
-
- 4
- 816
- 1008
- 1048
- 787
- 644
- 410
- 430
- 417
- 449
- 392
- 426
- 443
- 431
- 450
- 409
- 395
- 386
- 258
- 219
- 274
- 287
- 234
- 438
- 520
- 256
- 255
- 178
- 179
- 155
- 139
- 136
- 119
- 110
- 95
- 75
- 87
- 59
- 60
- 46
- 49
- 33
- 26
- 19
- 16
- 18
- 29
- 20
- 12
- 8
- 13
- 10
- 15
- 13
- 5
- Autoren
-
- 8
- 9
- 16
- 30
- 11
- 9
- 9
- 12
- 8
- 21
- 7
- 23
- 7
- 8
- 10
- 8
- 6
- 6
- 15
- 6
- 42
- 44
- 55
- 6
- 9
- 16
- 23
- 18
- 6
- 48
- 12
- 7
- 7
- 9
- 6
- 8
- 14
- 19
- 9
- 9
- 8
- 23
- 8
- 12
- 10
- 11
- 6
- 6
- 6
- 12
- 7
- 24
- 6
- 10
- 14
- 6
- 14
- 9
- 9
- 7
- 31
- 8
- 14
- 7
- 6
- 48
- 10
- 26
- 21
- 7
- 11
- 10
- 12
- 8
- 6
- 15
- 6
- 9
- 9
- 8
- 6
- 23
- 14
- 8
- 13
- 11
- 8
- 18
- 8
- 9
- 6
- 7
- 10
- 48
- 22
- 6
- 7
- 7
- 6
- 6
- 7
- 7
- 19
- 10
- 7
- 18
- 6
- 7
- 18
- 10
- 12
- 31
- 7
- 14
- 11
- 15
- 8
- 7
- 8
- 8
- 6
- 8
- 41
- 6
- 16
- 51
- 7
- 13
- 10
- 23
- 25
- 18
- 6
- 45
- 9
- 53
- 13
- 17
- 18
- 8
- 7
- 9
- 13
- 8
- 11
- 16
- 7
- 15
- 8
- 48
- 6
- 6
- 6
- 15
- 10
- 15
- 6
- 10
- 14
- 14
- 7
- 10
- 7
- 6
- 8
- 10
- 23
- 12
- 8
- 19
- 11
- 7
- 10
- 10
- 7
- 25
- 32
- 19
- 33
- 8
- 7
- 9
- 8
- 10
- 7
- 8
- 19
- 14
- 31
- 8
- 9
- 9
- 13
- 6
- 8
- 8
- 9
- 8
- 12
- 18
- 10
- 8
- 12
- 14
- 8
- 50
- 47
- 11
- 31
- 11
- 17
- 7
- 44
- 15
- 9
- 7
- 10
- 6
- 20
- 8
- 6
- 6
- 11
- 7
- 8
- 10
- 12
- 31
- 20
- 55
- 78
- 11
- 7
- 8
- 19
- 9
- 10
- 14
- 15
- 20
- 6
- 12
- 10
- 7
- 9
- 8
- 8
- 10
- 8
- 7
- 6
- 8
- 28
- 22
- 9
- 13
- 6
- 8
- 7
- 20
- 10
- 6
- 9
- 12
- 7
- 24
- 82
- 52
- 8
- 6
- 28
- 8
- 22
- 37
- 129
- 15
- 10
- 6
- 11
- 20
- 12
- 6
- 8
- 7
- 6
- 24
- 17
- 8
- 15
- 7
- 19
- 9
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 14
- 7
- 6
- 7
- 58
- 6
- 12
- 13
- 7
- 8
- 12
- 18
- 9
- 12
- 8
- 28
- 48
- 8
- 6
- 12
- 21
- 7
- 16
- 8
- 7
- 10
- 21
- 26
- 20
- 13
- 9
- 6
- 6
- 8
- 12
- 6
- 104
- 11
- 6
- 11
- 7
- 15
- 8
- 6
- 8
- 8
- 7
- 10
- 20
- 8
- 16
- 6
- 12
- 25
- 9
- 16
- 13
- 6
- 10
- 7
- 6
- 13
- 7
- 25
- 18
- 11
- 10
- 15
- 7
- 7
- 9
- 21
- 6
- 7
- 6
- 11
- 6
- 16
- 6
- 7
- 8
- 8
- 11
- 8
- 12
- 18
- 6
- 6
- 21
- 8
- 10
- 7
- 16
- 9
- 50
- 6
- 13
- 9
- 30
- 8
- 7
- 24
- 44
- 7
- 11
- 7
- 16
- 20
- 6
- 6
- 15
- 44
- 6
- 9
- 8
- 8
- 6
- 9
- 22
- 9
- 8
- 13
- 22
- 42
- 26
- 13
- 9
- 18
- 7
- 9
- 6
- 20
- 7
- 30
- 8
- 78
- 6
- 14
- 38
- 61
- 7
- 15
- 6
- 8
- 7
- 8
- 7
- 10
- 7
- 14
- 6
- 6
- 13
- 10
- 6
- 7
- 8
- 10
- 9
- 7
- 8
- 7
- 6
- 20
- 7
- 114
- 16
- 6
- 8
- 44
- 7
- 7
- 7
- 9
- 16
- 7
- 12
- 7
- 11
- 16
- 14
- 12
- 6
- 6
- 14
- 11
- 11
- 23
- 23
- 8
- 31
- 6
- 12
- 7
- 99
- 6
- 23
- 9
- 7
- 6
- 16
- 33
- 8
- 6
- 10
- 7
- 6
- 7
- 13
- 39
- 11
- 12
- 7
- 33
- 7
- 6
- 9
- 7
- 6
- 19
- 16
- 7
- 21
- 20
- 18
- 17
- 19
- 21
- 7
- 78
- 13
- 12
- 8
- 9
- 38
- 11
- 12
- 10
- 42
- 35
- 7
- 10
- 9
- 10
- 12
- 9
- 17
- 7
- 6
- 9
- 6
- 6
- 18
- 11
- 6
- 6
- 14
- 6
- 27
- 13
- 7
- 6
- 11
- 8
- 10
- 8
- 7
- 9
- 17
- 6
- 7
- 7
- 7
- 48
- 8
- 6
- 15
- 9
- 6
- 9
- 7
- 10
- 7
- 7
- 9
- 28
- 6
- 8
- 6
- 12
- 14
- 6
- 11
- 10
- 10
- 12
- 120
- 8
- 9
- 10
- 14
- 15
- 11
- 11
- 6
- 15
- 6
- 7
- 13
- 7
- 60
- 13
- 25
- 9
- 6
- 7
- 11
- 6
- 9
- 17
- 6
- 26
- 32
- 15
- 6
- 6
- 10
- 9
- 12
- 7
- 7
- 7
- 7
- 7
- 6
- 7
- 7
- 10
- 8
- 6
- 6
- 15
- 52
- 8
- 6
- 25
- 10
- 9
- 39
- 20
- 6
- 13
- 6
- 12
- 10
- 18
- 20
- 6
- 21
- 23
- 20
- 9
- 13
- 9
- 11
- 33
- 13
- 7
- 12
- 14
- 13
- 10
- 8
- 6
- 23
- 8
- 13
- 8
- 20
- 16
- 8
- 7
- 14
- 7
- 14
- 7
- 10
- 19
- 9
- 31
- 9
- 9
- 7
- 9
- 6
- 6
- 37
- 9
- 18
- 10
- 7
- 6
- 7
- 23
- 6
- 11
- 6
- 6
- 7
- 7
- 11
- 8
- 42
- 6
- 9
- 15
- 8
- 6
- 6
- 8
- 47
- 6
- 7
- 8
- 11
- 7
- 114
- 6
- 7
- 9
- 13
- 8
- 40
- 20
- 7
- 6
- 8
- 78
- 25
- 14
- 9
- 6
- 10
- 15
- 18
- 24
- 23
- 9
- 9
- 117
- 6
- 56
- 12
- 12
- 15
- 6
- 113
- 22
- 22
- 6
- 13
- 7
- 8
- 12
- 8
- 12
- 23
- 19
- 6
- 13
- 7
- 7
- 14
- 9
- 7
- 114
- 8
- 22
- 6
- 7
- 8
- 10
- 82
- 15
- 21
- 21
- 8
- 14
- 12
- 8
- 12
- 6
- 16
- 10
- 12
- 27
- 22
- 11
- 12
- 7
- 8
- 12
- 7
- 6
- 7
- 9
- 18
- 9
- 36
- 8
- 6
- 7
- 8
- 11
- 11
- 7
- 17
- 11
- 10
- 10
- 10
- 6
- 6
- 22
- 9
- 17
- 25
- 34
- 14
- 6
- 7
- 23
- 14
- 8
- 6
- 16
- 12
- 37
- 14
- 9
- 9
- 16
- 11
- 7
- 51
- 8
- 62
- 15
- 7
- 17
- 18
- 15
- 8
- 9
- 8
- 27
- 6
- 10
- 6
- 20
- 7
- 18
- 21
- 24
- 6
- 6
- 6
- 10
- 10
- 27
- 20
- 37
- 78
- 10
- 23
- 26
- 10
- 12
- 7
- 7
- 29
- 7
- 21
- 19
- 12
- 6
- 9
- 20
- 11
- 78
- 82
- 31
- 16
- 8
- 8
- 19
- 18
- 13
- 8
- 13
- 26
- 13
- 7
- 7
- 18
- 19
- 7
- 8
- 12
- 13
- 113
- 15
- 24
- 7
- 21
- 7
- 7
- 17
- 17
- 7
- 12
- 42
- 13
- 11
- 7
- 8
- 11
- 21
- 31
- 8
- 12
- 16
- 50
- 8
- 9
- 7
- 21
- 7
- 22
- 17
- 16
- 12
- 9
- 11
- 7
- 8
- 28
- 8
- 16
- 10
- 10
- 10
- 9
- 10
- 15
- 15
- 9
- 9
- 23
- 14
- 7
- 17
- 9
- 19
- 31
- 13
- 15
- 21
- 27
- 7
- 12
- 13
- 12
- 9
- 23
- 10
- 56
- 7
- 8
- 32
- 63
- 40
- 83
- 8
- 45
- 8
- 21
- 9
- 9
- 7
- 22
- 45
- 33
- 27
- 27
- 10
- 7
- 9
- 8
- 13
- 24
- Verlag
-
- 5
- 11944
- 23
- 1618
- 13
- 8
- 12
- 4
- 139
- 1
- 1
- 5
- 38
- Preis
-
- 47
- 485
- 10770
- 2509
- Sprachen
-
- 13803
- 19
- 15
- Verfügbarkeit
-
- 13513
- 298
- Eigenschaften
-
- 57
- Katalog
-
- 13811
- 589
-
Helleseth / Sarwate / Song Sequences and Their Applications - SETA 2004
Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26084-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Staunstrup Program Specification
Proceedings of a Workshop Aarhus, Denmark, August 19811. Auflage 1982Verlag: SpringerISBN: 978-3-540-11490-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hunter / Parsons Applications of Uncertainty Formalisms
Erscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65312-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Milner A Calculus of Communicating Systems
1. Auflage 1980Verlag: SpringerISBN: 978-3-540-10235-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mohania / Tjoa Data Warehousing and Knowledge Discovery
11th International Conference, DaWaK 2009 Linz, Austria, August 31-September 2, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03729-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fischer / Simon Computational Learning Theory
4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65701-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fantechi / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68498-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Mauw / Stolen Graphical Models for Security
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74859-7Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Johnsen / Petre Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38612-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ait Ameur / Bellatreche / Papadopoulos Model and Data Engineering
4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11586-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kim / Youn Information Security Applications
24th International Conference, WISA 2023, Jeju Island, South Korea, August 23-25, 2023, Revised Selected Papers1. Auflage 2024Verlag: SpringerISBN: 978-981-99-8023-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aalst / Best Applications and Theory of Petri Nets 2003
24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40334-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rothe Algorithmic Decision Theory
5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67503-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Main / Melton / Mislove Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 ProceedingsErscheinungsjahr 1988Verlag: SpringerISBN: 978-3-540-19020-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Benatallah / Bestavros / Catania Web Information Systems Engineering - WISE 2014 Workshops
15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-20369-0Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baeten / Groote CONCUR '91
2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54430-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Das / Uehara WALCOM: Algorithms and Computation
Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-00201-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibbons / Nuno Oliveira Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04911-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Final ReportErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60589-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cointe Meta-Level Architectures and Reflection
Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66280-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Tokuyama Algorithms and Computation
18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77118-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Auer / Bryl / Tramp Linked Open Data -- Creating Knowledge Out of Interlinked Data
Results of the LOD2 ProjectErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09845-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00141-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dhaenens / Jourdan / Marmion Learning and Intelligent Optimization
9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-19083-9Medium: 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