Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- 10535 EDV | Informatik
- 1112 Mathematik
- Medium
-
- 10571
- Erscheinungsjahr
-
- 186
- 809
- 833
- 626
- 490
- 279
- 289
- 298
- 289
- 311
- 307
- 315
- 280
- 311
- 317
- 266
- 270
- 270
- 231
- 271
- 272
- 224
- 363
- 305
- 261
- 250
- 177
- 176
- 117
- 132
- 135
- 118
- 108
- 96
- 73
- 84
- 57
- 59
- 45
- 46
- 33
- 26
- 19
- 13
- 17
- 27
- 20
- 12
- 7
- 12
- 10
- 12
- 13
- 4
- Autoren
-
- 6
- 5
- 5
- 5
- 4
- 6
- 4
- 5
- 6
- 5
- 6
- 9
- 6
- 10
- 8
- 6
- 7
- 4
- 4
- 4
- 4
- 5
- 4
- 11
- 4
- 11
- 8
- 4
- 5
- 6
- 16
- 6
- 4
- 20
- 5
- 8
- 5
- 6
- 4
- 6
- 5
- 9
- 9
- 4
- 6
- 4
- 4
- 7
- 5
- 14
- 5
- 25
- 36
- 6
- 39
- 7
- 7
- 4
- 6
- 7
- 15
- 16
- 5
- 4
- 11
- 4
- 5
- 4
- 4
- 7
- 4
- 39
- 6
- 6
- 4
- 4
- 4
- 5
- 4
- 4
- 6
- 4
- 5
- 4
- 5
- 4
- 4
- 9
- 6
- 5
- 5
- 16
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 6
- 8
- 4
- 6
- 7
- 6
- 8
- 7
- 8
- 4
- 12
- 5
- 5
- 4
- 5
- 4
- 17
- 7
- 6
- 7
- 4
- 14
- 4
- 10
- 5
- 5
- 4
- 4
- 7
- 4
- 4
- 4
- 7
- 6
- 16
- 4
- 4
- 10
- 5
- 5
- 9
- 4
- 6
- 40
- 4
- 4
- 4
- 4
- 6
- 14
- 11
- 6
- 4
- 7
- 8
- 11
- 9
- 4
- 4
- 4
- 5
- 4
- 9
- 6
- 4
- 8
- 4
- 4
- 11
- 5
- 4
- 6
- 5
- 9
- 14
- 5
- 4
- 11
- 7
- 4
- 16
- 11
- 16
- 6
- 5
- 5
- 4
- 4
- 5
- 8
- 4
- 39
- 10
- 9
- 4
- 4
- 4
- 8
- 5
- 5
- 8
- 9
- 4
- 4
- 16
- 6
- 7
- 9
- 5
- 9
- 7
- 6
- 4
- 14
- 4
- 7
- 4
- 24
- 4
- 13
- 10
- 9
- 7
- 4
- 5
- 11
- 5
- 4
- 8
- 34
- 10
- 41
- 10
- 8
- 18
- 14
- 4
- 5
- 7
- 4
- 4
- 21
- 8
- 38
- 4
- 8
- 14
- 10
- 4
- 4
- 7
- 12
- 4
- 6
- 9
- 13
- 8
- 7
- 39
- 4
- 5
- 5
- 10
- 9
- 10
- 4
- 5
- 4
- 5
- 4
- 6
- 11
- 10
- 5
- 4
- 4
- 7
- 6
- 4
- 4
- 14
- 10
- 5
- 13
- 5
- 5
- 4
- 6
- 4
- 4
- 4
- 15
- 21
- 8
- 5
- 9
- 4
- 6
- 4
- 6
- 13
- 5
- 24
- 6
- 7
- 4
- 4
- 6
- 4
- 7
- 4
- 6
- 5
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 8
- 4
- 15
- 10
- 6
- 8
- 10
- 5
- 43
- 38
- 6
- 23
- 5
- 4
- 16
- 8
- 23
- 11
- 5
- 5
- 7
- 19
- 6
- 4
- 4
- 4
- 5
- 5
- 5
- 4
- 27
- 4
- 15
- 46
- 8
- 7
- 4
- 15
- 7
- 6
- 6
- 11
- 15
- 5
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 5
- 14
- 7
- 6
- 4
- 4
- 5
- 4
- 4
- 4
- 8
- 6
- 5
- 4
- 5
- 11
- 4
- 4
- 15
- 55
- 31
- 6
- 4
- 23
- 7
- 18
- 20
- 90
- 11
- 6
- 6
- 15
- 4
- 4
- 7
- 19
- 13
- 5
- 5
- 5
- 5
- 9
- 13
- 7
- 5
- 8
- 7
- 5
- 4
- 4
- 6
- 4
- 9
- 5
- 39
- 4
- 7
- 7
- 4
- 7
- 16
- 8
- 4
- 7
- 19
- 39
- 6
- 4
- 7
- 17
- 10
- 6
- 7
- 6
- 5
- 4
- 8
- 5
- 8
- 15
- 6
- 6
- 5
- 8
- 5
- 67
- 5
- 8
- 10
- 6
- 7
- 15
- 6
- 11
- 5
- 8
- 18
- 7
- 10
- 5
- 6
- 5
- 11
- 17
- 11
- 7
- 7
- 13
- 5
- 6
- 13
- 6
- 6
- 7
- 5
- 13
- 6
- 5
- 10
- 9
- 11
- 7
- 8
- 7
- 6
- 6
- 29
- 8
- 6
- 5
- 8
- 26
- 6
- 16
- 36
- 6
- 6
- 8
- 9
- 15
- 5
- 29
- 6
- 9
- 5
- 9
- 5
- 5
- 14
- 6
- 5
- 5
- 16
- 20
- 33
- 5
- 17
- 9
- 8
- 19
- 5
- 9
- 5
- 5
- 25
- 5
- 14
- 30
- 35
- 6
- 9
- 9
- 6
- 17
- 6
- 5
- 12
- 5
- 5
- 8
- 7
- 6
- 6
- 7
- 8
- 5
- 14
- 90
- 5
- 12
- 18
- 6
- 14
- 6
- 5
- 8
- 13
- 12
- 5
- 5
- 9
- 13
- 18
- 20
- 24
- 8
- 5
- 62
- 19
- 6
- 9
- 5
- 12
- 20
- 5
- 9
- 5
- 6
- 7
- 5
- 5
- 8
- 5
- 14
- 5
- 5
- 5
- 23
- 6
- 13
- 12
- 13
- 15
- 16
- 12
- 8
- 18
- 11
- 9
- 9
- 9
- 24
- 7
- 5
- 32
- 29
- 6
- 6
- 8
- 7
- 16
- 8
- 6
- 8
- 5
- 6
- 7
- 6
- 11
- 21
- 6
- 7
- 8
- 8
- 13
- 8
- 5
- 33
- 8
- 11
- 5
- 5
- 5
- 5
- 5
- 5
- 16
- 5
- 9
- 9
- 5
- 5
- 9
- 82
- 10
- 5
- 7
- 6
- 13
- 5
- 6
- 5
- 9
- 12
- 37
- 13
- 5
- 16
- 6
- 5
- 5
- 10
- 6
- 6
- 5
- 5
- 8
- 5
- 8
- 6
- 6
- 8
- 6
- 7
- 5
- 6
- 7
- 43
- 5
- 5
- 5
- 19
- 7
- 6
- 18
- 14
- 5
- 13
- 13
- 14
- 15
- 8
- 16
- 6
- 5
- 10
- 23
- 11
- 9
- 5
- 12
- 6
- 22
- 12
- 12
- 11
- 6
- 11
- 7
- 7
- 16
- 5
- 15
- 13
- 8
- 24
- 9
- 9
- 6
- 11
- 6
- 5
- 10
- 13
- 10
- 8
- 5
- 6
- 16
- 6
- 6
- 5
- 12
- 24
- 6
- 12
- 6
- 7
- 19
- 5
- 5
- 11
- 91
- 5
- 6
- 8
- 5
- 22
- 7
- 9
- 5
- 18
- 9
- 8
- 8
- 11
- 5
- 19
- 8
- 91
- 6
- 49
- 11
- 11
- 5
- 89
- 22
- 14
- 12
- 5
- 11
- 9
- 13
- 8
- 8
- 6
- 5
- 8
- 7
- 89
- 5
- 7
- 15
- 20
- 10
- 12
- 11
- 17
- 11
- 12
- 6
- 5
- 11
- 5
- 10
- 22
- 7
- 6
- 5
- 5
- 9
- 13
- 5
- 24
- 6
- 5
- 6
- 6
- 5
- 5
- 14
- 6
- 7
- 8
- 8
- 11
- 12
- 35
- 10
- 6
- 6
- 7
- 18
- 9
- 11
- 8
- 10
- 11
- 5
- 5
- 7
- 11
- 5
- 38
- 7
- 35
- 12
- 7
- 8
- 5
- 6
- 10
- 8
- 22
- 6
- 8
- 8
- 15
- 14
- 24
- 8
- 23
- 10
- 13
- 24
- 57
- 10
- 11
- 19
- 8
- 9
- 6
- 10
- 19
- 18
- 14
- 6
- 9
- 55
- 24
- 12
- 8
- 12
- 12
- 6
- 12
- 9
- 12
- 5
- 10
- 7
- 6
- 15
- 13
- 7
- 9
- 10
- 5
- 89
- 10
- 7
- 15
- 5
- 5
- 5
- 6
- 15
- 8
- 8
- 37
- 5
- 11
- 7
- 7
- 12
- 5
- 13
- 19
- 8
- 21
- 6
- 5
- 17
- 20
- 5
- 10
- 7
- 6
- 6
- 8
- 6
- 9
- 8
- 6
- 27
- 6
- 14
- 10
- 5
- 6
- 9
- 6
- 6
- 5
- 8
- 11
- 8
- 9
- 18
- 5
- 11
- 5
- 11
- 5
- 6
- 24
- 7
- 14
- 5
- 5
- 23
- 11
- 5
- 5
- 5
- 5
- 9
- 18
- 6
- 6
- 6
- 47
- 11
- 5
- 5
- 5
- 21
- 6
- 43
- 14
- 62
- 18
- 5
- 9
- 6
- 6
- 32
- 7
- 9
- 5
- 18
- 21
- 19
- 11
- 9
- 12
- 10
- 6
- 6
- 20
- Verlag
-
- 2
- 10513
- 3
- 5
- 1
- 1
- 3
- 1
- 42
- Preis
-
- 47
- 394
- 8091
- 2039
- Sprachen
-
- 10565
- 17
- 13
- Verfügbarkeit
-
- 10558
- 13
- Eigenschaften
-
- 6
- Katalog
-
- 10571
- 544
-
Gschwind / De Paoli / Gruhn Software Composition
11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30563-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lin / Ishida / Zambonelli Massively Multi-Agent Systems II
International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-20936-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Adi / Bourdeau / Durand Foundations and Practice of Security
17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-87495-6Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jensen / Lim / Yang Database Systems for Advanced Applications
26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11-14, 2021, Proceedings, Part III1. Auflage 2021Verlag: SpringerISBN: 978-3-030-73199-1Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hutchison / Katz Self-Organizing Systems
Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74916-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aoki / Taguchi Formal Methods and Software Engineering
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34280-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Legunsen / Rosu Model Checking Software
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15076-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Graf / Pettersson / Steffen Real Time and Such
Essays Dedicated to Wang Yi to Celebrate His Scientific Career2025Verlag: SpringerISBN: 978-3-031-73750-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34025-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jacquet / Picco Coordination Models and Languages
7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25630-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schweighofer / Leitold / Mitrakas Privacy Technologies and Policy
5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67279-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bansal / Finocchi Algorithms - ESA 2015
23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48349-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bae Rewriting Logic and Its Applications
14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers1. Auflage 2022Verlag: SpringerISBN: 978-3-031-12440-2Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Campos / Minea Formal Methods: Foundations and Applications
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-92136-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Knoop / Karl / Schulz Architecture of Computing Systems - ARCS 2017
30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-54998-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cornuejols / Burkard / Woeginger Integer Programming and Combinatorial Optimization
7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66019-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kraetzer / Shi / Dittmann Digital Forensics and Watermarking
16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-64184-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liò / Yoneki / Crowcroft Bio-Inspired Computing and Communication
First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007, Revised PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-92190-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Platzer / Rozier / Pradella Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II2025Verlag: SpringerISBN: 978-3-031-71176-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fiat / Sanders Algorithms - ESA 2009
17th Annual European Symposium, Copenhagen, Denmark, September 7-9, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04127-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Garcia-Alfaro / Navarro-Arribas / Dragoni Data Privacy Management, Cryptocurrencies and Blockchain Technology
ESORICS 2022 International Workshops, DPM 2022 and CBT 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers1. Auflage 2023Verlag: SpringerISBN: 978-3-031-25733-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Christiansen / Skadhauge / Villadsen Constraint Solving and Language Processing
First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26165-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Núñez-Queija / Resing Network Control and Optimization
Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-10405-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Damiani / Hähnle Active Object Languages: Current Research Trends
2024Verlag: SpringerISBN: 978-3-031-51059-5Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Saracino / Mori Emerging Technologies for Authorization and Authentication
4th International Workshop, ETAA 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers1. Auflage 2021Verlag: SpringerISBN: 978-3-030-93746-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (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