Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 77 Berechenbarkeitstheorie, Komplexitätstheorie
- 1092 Bildsignalverarbeitung
- 4551 Künstliche Intelligenz
- 2244 Logik, formale Sprachen, Automaten
- 935 Mathematik für Informatiker
- 1161 Mensch-Maschine-Interaktion
- 142 Natürliche Sprachen & Maschinelle Übersetzung
- 332 Rechnerarchitektur
- 409 Theoretische Informatik
- 28 Tonsignalverarbeitung
- 56 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7765
- Erscheinungsjahr
-
- 126
- 690
- 714
- 434
- 296
- 155
- 176
- 198
- 187
- 203
- 208
- 222
- 190
- 207
- 206
- 186
- 186
- 204
- 168
- 227
- 229
- 174
- 278
- 242
- 210
- 193
- 135
- 128
- 98
- 108
- 103
- 95
- 88
- 76
- 60
- 69
- 45
- 48
- 30
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 6
- 5
- 5
- 4
- 3
- 6
- 3
- 3
- 4
- 5
- 3
- 9
- 5
- 4
- 9
- 8
- 6
- 7
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 6
- 5
- 3
- 8
- 3
- 3
- 16
- 4
- 21
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- 6
- 8
- 3
- 3
- 4
- 10
- 4
- 14
- 25
- 36
- 6
- 28
- 7
- 4
- 4
- 6
- 7
- 11
- 16
- 4
- 4
- 11
- 39
- 4
- 6
- 4
- 4
- 4
- 4
- 7
- 4
- 5
- 4
- 4
- 8
- 4
- 4
- 14
- 4
- 4
- 5
- 6
- 5
- 6
- 6
- 4
- 4
- 6
- 6
- 8
- 7
- 5
- 5
- 4
- 19
- 4
- 6
- 7
- 9
- 5
- 5
- 4
- 4
- 4
- 4
- 5
- 7
- 6
- 5
- 9
- 5
- 5
- 6
- 40
- 4
- 6
- 14
- 8
- 5
- 6
- 9
- 10
- 4
- 5
- 8
- 6
- 4
- 10
- 4
- 4
- 5
- 14
- 4
- 9
- 4
- 4
- 17
- 14
- 6
- 4
- 4
- 4
- 4
- 4
- 5
- 8
- 4
- 39
- 10
- 7
- 4
- 7
- 5
- 7
- 5
- 5
- 5
- 16
- 7
- 9
- 12
- 4
- 8
- 6
- 6
- 11
- 5
- 4
- 4
- 7
- 24
- 11
- 5
- 10
- 5
- 12
- 4
- 4
- 4
- 8
- 6
- 5
- 4
- 10
- 4
- 4
- 6
- 4
- 34
- 11
- 41
- 4
- 11
- 9
- 7
- 16
- 4
- 4
- 4
- 7
- 19
- 38
- 5
- 4
- 5
- 10
- 15
- 7
- 4
- 4
- 7
- 6
- 12
- 4
- 4
- 12
- 5
- 4
- 8
- 4
- 4
- 4
- 4
- 39
- 5
- 7
- 4
- 4
- 10
- 4
- 4
- 5
- 5
- 4
- 11
- 4
- 4
- 4
- 5
- 6
- 4
- 9
- 4
- 6
- 6
- 6
- 11
- 5
- 4
- 6
- 4
- 8
- 4
- 6
- 4
- 11
- 5
- 4
- 4
- 4
- 4
- 5
- 9
- 4
- 4
- 4
- 15
- 22
- 7
- 10
- 6
- 4
- 4
- 8
- 10
- 6
- 24
- 4
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 5
- 4
- 5
- 4
- 4
- 5
- 4
- 4
- 4
- 6
- 4
- 4
- 6
- 4
- 4
- 4
- 5
- 6
- 7
- 4
- 9
- 16
- 11
- 5
- 8
- 8
- 4
- 36
- 38
- 4
- 9
- 23
- 7
- 8
- 5
- 14
- 8
- 4
- 24
- 14
- 6
- 6
- 15
- 6
- 5
- 4
- 4
- 4
- 4
- 5
- 5
- 4
- 7
- 6
- 5
- 6
- 6
- 4
- 6
- 27
- 4
- 4
- 13
- 46
- 8
- 4
- 4
- 15
- 7
- 6
- 6
- 4
- 6
- 15
- 7
- 8
- 6
- 4
- 4
- 4
- 4
- 14
- 7
- 4
- 4
- 4
- 4
- 4
- 9
- 5
- 5
- 8
- 15
- 35
- 5
- 4
- 21
- 9
- 17
- 22
- 67
- 4
- 11
- 4
- 14
- 4
- 4
- 4
- 19
- 7
- 7
- 7
- 13
- 5
- 5
- 4
- 4
- 5
- 25
- 4
- 6
- 7
- 16
- 8
- 7
- 19
- 39
- 9
- 17
- 10
- 4
- 7
- 4
- 4
- 4
- 4
- 8
- 15
- 6
- 6
- 4
- 5
- 65
- 4
- 5
- 10
- 5
- 4
- 6
- 15
- 6
- 11
- 5
- 8
- 4
- 19
- 5
- 8
- 6
- 6
- 4
- 4
- 18
- 10
- 4
- 13
- 4
- 4
- 13
- 6
- 4
- 5
- 5
- 4
- 13
- 6
- 5
- 6
- 10
- 4
- 7
- 4
- 22
- 4
- 4
- 7
- 6
- 5
- 8
- 4
- 4
- 8
- 14
- 20
- 4
- 6
- 7
- 15
- 4
- 4
- 30
- 4
- 6
- 9
- 10
- 4
- 4
- 10
- 6
- 5
- 5
- 16
- 4
- 20
- 17
- 4
- 5
- 9
- 9
- 7
- 19
- 9
- 5
- 4
- 5
- 25
- 4
- 13
- 23
- 36
- 7
- 8
- 6
- 6
- 4
- 12
- 4
- 5
- 4
- 4
- 6
- 6
- 4
- 7
- 8
- 4
- 13
- 90
- 12
- 17
- 4
- 4
- 10
- 6
- 11
- 12
- 4
- 5
- 4
- 6
- 18
- 20
- 21
- 6
- 4
- 62
- 6
- 19
- 8
- 4
- 12
- 21
- 5
- 6
- 5
- 4
- 8
- 4
- 4
- 4
- 4
- 14
- 5
- 5
- 23
- 6
- 4
- 13
- 12
- 13
- 15
- 15
- 14
- 6
- 18
- 4
- 11
- 4
- 7
- 7
- 4
- 6
- 18
- 31
- 21
- 6
- 4
- 6
- 4
- 7
- 12
- 5
- 4
- 6
- 4
- 7
- 8
- 6
- 4
- 11
- 6
- 6
- 4
- 5
- 7
- 8
- 8
- 13
- 4
- 4
- 8
- 4
- 5
- 4
- 22
- 8
- 4
- 4
- 16
- 4
- 9
- 5
- 5
- 8
- 60
- 4
- 4
- 7
- 6
- 4
- 6
- 11
- 36
- 15
- 5
- 10
- 6
- 5
- 4
- 10
- 4
- 4
- 6
- 5
- 4
- 4
- 6
- 6
- 6
- 9
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 7
- 43
- 5
- 5
- 17
- 5
- 7
- 18
- 8
- 4
- 13
- 7
- 13
- 15
- 8
- 4
- 16
- 5
- 4
- 5
- 23
- 9
- 4
- 4
- 4
- 11
- 4
- 5
- 6
- 4
- 12
- 11
- 11
- 4
- 8
- 7
- 9
- 5
- 4
- 4
- 8
- 24
- 4
- 6
- 7
- 6
- 9
- 6
- 5
- 11
- 5
- 9
- 5
- 7
- 4
- 4
- 6
- 4
- 9
- 4
- 4
- 4
- 4
- 9
- 24
- 12
- 4
- 5
- 19
- 4
- 5
- 91
- 5
- 6
- 4
- 5
- 6
- 9
- 11
- 8
- 8
- 4
- 7
- 4
- 7
- 19
- 8
- 4
- 90
- 4
- 39
- 11
- 11
- 89
- 23
- 14
- 7
- 4
- 5
- 9
- 11
- 6
- 6
- 4
- 4
- 4
- 8
- 89
- 4
- 5
- 15
- 22
- 4
- 7
- 10
- 4
- 11
- 4
- 17
- 11
- 11
- 4
- 5
- 4
- 11
- 4
- 10
- 15
- 7
- 4
- 4
- 6
- 4
- 4
- 4
- 4
- 7
- 11
- 5
- 4
- 22
- 5
- 4
- 5
- 4
- 4
- 14
- 4
- 4
- 8
- 5
- 9
- 11
- 40
- 4
- 4
- 6
- 6
- 4
- 6
- 18
- 9
- 4
- 11
- 6
- 10
- 13
- 7
- 4
- 7
- 5
- 29
- 33
- 4
- 8
- 7
- 8
- 22
- 6
- 6
- 8
- 4
- 14
- 25
- 4
- 22
- 7
- 12
- 22
- 46
- 10
- 5
- 16
- 9
- 9
- 19
- 14
- 11
- 4
- 4
- 6
- 8
- 32
- 24
- 12
- 6
- 4
- 12
- 4
- 12
- 9
- 12
- 5
- 7
- 6
- 4
- 4
- 15
- 4
- 5
- 6
- 4
- 7
- 89
- 10
- 7
- 15
- 5
- 5
- 4
- 4
- 12
- 7
- 4
- 24
- 5
- 11
- 8
- 4
- 5
- 13
- 5
- 21
- 6
- 4
- 5
- 18
- 8
- 7
- 6
- 6
- 8
- 6
- 4
- 4
- 5
- 4
- 24
- 6
- 10
- 10
- 5
- 6
- 6
- 6
- 6
- 5
- 6
- 4
- 7
- 4
- 9
- 4
- 18
- 5
- 9
- 4
- 4
- 11
- 6
- 24
- 7
- 14
- 4
- 4
- 5
- 4
- 17
- 4
- 10
- 6
- 5
- 4
- 18
- 7
- 6
- 5
- 17
- 4
- 13
- 4
- 6
- 4
- 5
- 5
- 20
- 42
- 4
- 14
- 22
- 18
- 4
- 4
- 4
- 5
- 6
- 4
- 4
- 32
- 7
- 10
- 5
- 18
- 5
- 19
- 6
- 6
- 4
- 10
- 4
- 6
- 6
- 4
- 23
- Verlag
-
- 2
- 7716
- 3
- 4
- 1
- 2
- 3
- 1
- 33
- Preis
-
- 27
- 232
- 5865
- 1641
- Sprachen
-
- 7760
- 16
- 12
- Verfügbarkeit
-
- 7754
- 11
- Katalog
-
- 7765
- 335
-
Wu / Guo Combinatorial Optimization and Applications
16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I1. Auflage 2024Verlag: SpringerISBN: 978-3-031-49610-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hartmann / Ma Database and Expert Systems Applications
27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44402-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kallel / Ben Halima / Raibulet Service-Oriented Computing - ICSOC 2024 Workshops
ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3-6, 2024, Revised Selected Papers, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-967237-0Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lee / Liu / Ryu Intelligent Robotics and Applications
6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part IErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40851-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ferreira / Rolim / Saad Parallel Algorithms for Irregularly Structured Problems
Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19 - 21, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61549-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang / Ng / Zhao Natural Language Processing and Chinese Computing
7th CCF International Conference, NLPCC 2018, Hohhot, China, August 26-30, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99494-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brunner / Keller Self-Managing Distributed Systems
14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20314-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Snyers / Thayse From Logic Design to Logic Programming
Theorem Proving Techniques and P-Functions1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18217-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Swart / Orlowska / Schmidt Theory and Applications of Relational Structures as Knowledge Instruments
COST Action 274, TARSKI, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20780-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhu / Yu / Nadamoto Database Systems for Advanced Applications
30th International Conference, DASFAA 2025, Singapore, Singapore, May 26-29, 2025, Proceedings, Part VIErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-954157-7Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chau / Wang / Chen Intelligence and Security Informatics
11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31862-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Galil / Ukkonen Combinatorial Pattern Matching
6th Annual Symposium, CPM 95, Espoo, Finland, July 5 - 7, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60044-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Qiu Algorithms and Architectures for Parallel Processing
20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60244-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33950-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Glück / Kafle Logic-Based Program Synthesis and Transformation
33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-45783-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nürnberg Metainformatics
International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40218-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leuschel Logic Based Program Synthesis and Transformation
12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40438-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yamashita / Minato Reversible Computation
6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08493-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hasegawa Typed Lambda Calculi and Applications
11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38945-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03420-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grabowski / Nielsen Formal Approaches to Software Testing
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sun Formal Methods and Software Engineering
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02449-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thompson / Ghanea-Hercock Defence Applications of Multi-Agent Systems
International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32832-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Flener Logic-Based Program Synthesis and Transformation
8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65765-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kostitsyna / Orponen Unconventional Computation and Natural Computation
19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-87992-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