Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 72 Berechenbarkeitstheorie, Komplexitätstheorie
- 1106 Bildsignalverarbeitung
- 4579 Künstliche Intelligenz
- 2242 Logik, formale Sprachen, Automaten
- 950 Mathematik für Informatiker
- 1164 Mensch-Maschine-Interaktion
- 145 Natürliche Sprachen & Maschinelle Übersetzung
- 327 Rechnerarchitektur
- 407 Theoretische Informatik
- 27 Tonsignalverarbeitung
- 57 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7794
- Erscheinungsjahr
-
- 171
- 692
- 713
- 435
- 296
- 156
- 173
- 199
- 183
- 205
- 210
- 220
- 188
- 209
- 207
- 177
- 170
- 203
- 166
- 240
- 218
- 190
- 277
- 239
- 210
- 192
- 132
- 127
- 99
- 107
- 103
- 97
- 88
- 76
- 60
- 69
- 45
- 48
- 31
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 6
- 5
- 5
- 5
- 3
- 6
- 3
- 3
- 3
- 5
- 9
- 6
- 9
- 8
- 6
- 7
- 3
- 3
- 3
- 4
- 4
- 3
- 9
- 5
- 3
- 8
- 3
- 3
- 16
- 4
- 20
- 4
- 7
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 6
- 8
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 7
- 4
- 14
- 25
- 36
- 6
- 3
- 27
- 7
- 4
- 4
- 3
- 6
- 3
- 7
- 11
- 3
- 16
- 4
- 4
- 11
- 3
- 3
- 3
- 3
- 3
- 3
- 39
- 4
- 6
- 4
- 4
- 4
- 4
- 4
- 7
- 4
- 5
- 4
- 4
- 4
- 4
- 9
- 6
- 3
- 3
- 3
- 16
- 4
- 4
- 5
- 6
- 5
- 6
- 6
- 4
- 6
- 6
- 8
- 7
- 5
- 5
- 4
- 4
- 17
- 4
- 6
- 7
- 9
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 6
- 5
- 4
- 10
- 5
- 5
- 6
- 40
- 4
- 6
- 14
- 8
- 5
- 7
- 9
- 8
- 4
- 4
- 8
- 7
- 4
- 10
- 4
- 4
- 4
- 5
- 14
- 4
- 9
- 4
- 4
- 15
- 14
- 6
- 4
- 4
- 4
- 5
- 8
- 4
- 39
- 10
- 7
- 4
- 7
- 5
- 7
- 6
- 5
- 4
- 16
- 7
- 8
- 9
- 4
- 8
- 7
- 6
- 11
- 5
- 4
- 7
- 4
- 24
- 11
- 5
- 10
- 5
- 11
- 4
- 4
- 4
- 8
- 6
- 6
- 10
- 4
- 4
- 6
- 4
- 34
- 5
- 11
- 41
- 4
- 11
- 9
- 7
- 16
- 4
- 4
- 5
- 19
- 38
- 4
- 4
- 5
- 9
- 15
- 8
- 4
- 4
- 7
- 6
- 12
- 4
- 4
- 4
- 4
- 8
- 5
- 4
- 8
- 4
- 4
- 4
- 39
- 5
- 7
- 5
- 4
- 10
- 4
- 4
- 5
- 4
- 4
- 11
- 4
- 4
- 4
- 5
- 6
- 7
- 4
- 6
- 7
- 6
- 11
- 5
- 5
- 6
- 8
- 4
- 6
- 4
- 10
- 5
- 4
- 4
- 4
- 4
- 6
- 4
- 4
- 4
- 15
- 22
- 7
- 10
- 6
- 4
- 8
- 10
- 6
- 24
- 4
- 6
- 4
- 4
- 4
- 5
- 4
- 4
- 5
- 4
- 5
- 4
- 4
- 4
- 4
- 7
- 4
- 5
- 6
- 4
- 5
- 4
- 5
- 6
- 7
- 4
- 9
- 16
- 11
- 5
- 8
- 8
- 4
- 35
- 38
- 4
- 8
- 23
- 7
- 7
- 14
- 8
- 5
- 24
- 12
- 4
- 5
- 6
- 15
- 5
- 4
- 4
- 4
- 4
- 5
- 6
- 7
- 6
- 4
- 6
- 5
- 27
- 4
- 13
- 46
- 8
- 4
- 16
- 7
- 6
- 6
- 4
- 7
- 16
- 7
- 8
- 6
- 4
- 4
- 4
- 14
- 7
- 5
- 4
- 5
- 4
- 8
- 5
- 5
- 11
- 15
- 35
- 5
- 6
- 19
- 7
- 17
- 20
- 67
- 11
- 4
- 15
- 4
- 4
- 4
- 19
- 4
- 5
- 5
- 9
- 13
- 5
- 5
- 4
- 4
- 22
- 4
- 6
- 7
- 16
- 7
- 7
- 19
- 39
- 7
- 17
- 10
- 4
- 7
- 6
- 4
- 4
- 4
- 4
- 8
- 15
- 6
- 6
- 4
- 5
- 67
- 4
- 5
- 10
- 4
- 6
- 6
- 15
- 6
- 11
- 5
- 8
- 4
- 18
- 5
- 8
- 6
- 4
- 4
- 16
- 4
- 7
- 6
- 4
- 13
- 4
- 4
- 13
- 6
- 4
- 5
- 5
- 4
- 13
- 6
- 5
- 7
- 9
- 4
- 4
- 5
- 6
- 22
- 4
- 4
- 6
- 6
- 5
- 8
- 4
- 8
- 13
- 21
- 4
- 4
- 6
- 7
- 15
- 4
- 5
- 29
- 4
- 6
- 9
- 9
- 4
- 4
- 10
- 6
- 5
- 5
- 14
- 4
- 20
- 17
- 4
- 5
- 9
- 9
- 7
- 19
- 9
- 5
- 4
- 5
- 25
- 5
- 14
- 22
- 35
- 4
- 7
- 9
- 6
- 6
- 4
- 12
- 5
- 4
- 4
- 6
- 6
- 4
- 7
- 7
- 14
- 4
- 90
- 12
- 17
- 4
- 4
- 10
- 6
- 13
- 12
- 4
- 5
- 4
- 5
- 18
- 20
- 24
- 6
- 4
- 62
- 4
- 19
- 6
- 9
- 4
- 12
- 20
- 5
- 6
- 5
- 4
- 6
- 4
- 4
- 4
- 4
- 14
- 5
- 5
- 23
- 6
- 4
- 13
- 12
- 13
- 15
- 15
- 12
- 6
- 18
- 4
- 11
- 4
- 6
- 7
- 4
- 6
- 18
- 5
- 32
- 21
- 6
- 4
- 6
- 4
- 7
- 10
- 5
- 4
- 6
- 4
- 7
- 6
- 4
- 11
- 6
- 6
- 4
- 4
- 7
- 8
- 8
- 13
- 4
- 8
- 4
- 5
- 4
- 22
- 4
- 8
- 4
- 4
- 16
- 4
- 9
- 7
- 5
- 9
- 59
- 4
- 4
- 7
- 6
- 5
- 6
- 11
- 37
- 13
- 5
- 10
- 6
- 5
- 5
- 10
- 4
- 4
- 6
- 5
- 4
- 4
- 4
- 5
- 6
- 6
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 43
- 5
- 5
- 19
- 5
- 6
- 18
- 8
- 4
- 4
- 13
- 6
- 13
- 15
- 8
- 14
- 5
- 4
- 5
- 23
- 9
- 4
- 4
- 4
- 11
- 4
- 4
- 6
- 4
- 15
- 10
- 11
- 4
- 11
- 7
- 11
- 5
- 4
- 8
- 24
- 9
- 7
- 6
- 9
- 6
- 5
- 10
- 7
- 9
- 5
- 8
- 4
- 4
- 6
- 4
- 9
- 4
- 4
- 6
- 9
- 24
- 6
- 12
- 4
- 5
- 19
- 4
- 4
- 5
- 91
- 5
- 6
- 5
- 6
- 9
- 10
- 9
- 8
- 4
- 7
- 4
- 5
- 19
- 8
- 4
- 91
- 4
- 39
- 11
- 11
- 89
- 22
- 14
- 7
- 4
- 9
- 11
- 6
- 6
- 4
- 4
- 4
- 7
- 89
- 4
- 5
- 15
- 20
- 4
- 10
- 12
- 4
- 11
- 4
- 17
- 11
- 12
- 4
- 5
- 4
- 11
- 4
- 4
- 10
- 15
- 5
- 4
- 4
- 5
- 4
- 4
- 4
- 4
- 9
- 11
- 4
- 22
- 4
- 5
- 4
- 5
- 4
- 5
- 14
- 4
- 5
- 8
- 5
- 9
- 11
- 34
- 9
- 4
- 6
- 6
- 7
- 18
- 9
- 4
- 11
- 6
- 10
- 11
- 5
- 5
- 7
- 5
- 29
- 35
- 4
- 8
- 7
- 8
- 22
- 4
- 6
- 8
- 4
- 14
- 24
- 20
- 9
- 13
- 22
- 46
- 10
- 5
- 16
- 9
- 9
- 19
- 12
- 11
- 4
- 6
- 8
- 32
- 24
- 12
- 6
- 4
- 12
- 4
- 12
- 9
- 12
- 5
- 7
- 6
- 4
- 15
- 4
- 5
- 6
- 7
- 89
- 10
- 7
- 15
- 4
- 5
- 5
- 4
- 4
- 14
- 6
- 4
- 25
- 5
- 11
- 4
- 5
- 13
- 4
- 21
- 6
- 4
- 5
- 17
- 8
- 7
- 6
- 6
- 8
- 6
- 4
- 4
- 4
- 4
- 26
- 6
- 10
- 10
- 5
- 4
- 6
- 6
- 6
- 5
- 6
- 4
- 6
- 9
- 4
- 18
- 5
- 10
- 4
- 11
- 6
- 24
- 4
- 14
- 4
- 4
- 5
- 4
- 18
- 4
- 10
- 5
- 5
- 4
- 18
- 6
- 6
- 5
- 18
- 4
- 11
- 4
- 5
- 4
- 5
- 5
- 20
- 4
- 43
- 4
- 14
- 22
- 18
- 4
- 5
- 4
- 6
- 6
- 4
- 4
- 32
- 7
- 9
- 5
- 18
- 5
- 19
- 4
- 6
- 4
- 10
- 4
- 6
- 6
- 4
- 20
- Verlag
-
- 1
- 7744
- 3
- 5
- 1
- 1
- 3
- 1
- 35
- Preis
-
- 27
- 237
- 5879
- 1651
- Sprachen
-
- 7789
- 15
- 12
- Verfügbarkeit
-
- 7787
- 7
- Eigenschaften
-
- 5
- Katalog
-
- 7794
- 331
-
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Degano Programming Languages and Systems
12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00886-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kittler / Roli Multiple Classifier Systems
Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42284-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bäck / Preuss / Deutz Parallel Problem Solving from Nature - PPSN XVI
16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58111-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salomaa / Steinby Automata, Languages and Programming
Fourth Colloquium, University of Turku, Finnland, July 18-22, 19771. Auflage 1977Verlag: SpringerISBN: 978-3-540-08342-9Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-75386-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Younas / Awan / Petcu Mobile Web and Intelligent Information Systems
20th International Conference, MobiWIS 2024, Vienna, Austria, August 19-21, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-68004-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bobaru / Havelund / Holzmann NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20397-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ras / Ohsuga Foundations of Intelligent Systems
12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings2010Verlag: SpringerISBN: 978-3-540-41094-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jampel / Freuder / Maher Over-Constrained Systems
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61479-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jamnik / Uesaka / Elzer Schwartz Diagrammatic Representation and Inference
9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42332-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Apostolico / Melucci String Processing and Information Retrieval
11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23210-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leite / Omicini / Sterling Declarative Agent Languages and Technologies
First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22124-1Medium: 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