Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 61 Berechenbarkeitstheorie, Komplexitätstheorie
- 692 Bildsignalverarbeitung
- 3156 Künstliche Intelligenz
- 2016 Logik, formale Sprachen, Automaten
- 604 Mathematik für Informatiker
- 844 Mensch-Maschine-Interaktion
- 69 Natürliche Sprachen & Maschinelle Übersetzung
- 301 Rechnerarchitektur
- 354 Theoretische Informatik
- 23 Tonsignalverarbeitung
- 38 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 5884
- Erscheinungsjahr
-
- 256
- 434
- 294
- 172
- 186
- 213
- 200
- 187
- 227
- 199
- 190
- 184
- 144
- 27
- 52
- 156
- 160
- 183
- 130
- 178
- 256
- 220
- 193
- 191
- 130
- 122
- 104
- 114
- 100
- 95
- 92
- 71
- 60
- 70
- 45
- 46
- 31
- 31
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 10
- 5
- 12
- 9
- 11
- 10
- 3
- Autoren
-
- 3
- 3
- 4
- 3
- 6
- 4
- 6
- 4
- 4
- 3
- 3
- 5
- 6
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 12
- 3
- 3
- 4
- 5
- 3
- 5
- 4
- 14
- 19
- 3
- 27
- 3
- 7
- 3
- 6
- 4
- 5
- 4
- 4
- 3
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 39
- 6
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 3
- 10
- 4
- 4
- 5
- 7
- 3
- 4
- 4
- 3
- 6
- 5
- 3
- 4
- 6
- 5
- 5
- 9
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 12
- 3
- 4
- 3
- 7
- 3
- 5
- 3
- 3
- 3
- 5
- 7
- 4
- 6
- 4
- 10
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 15
- 3
- 4
- 6
- 3
- 3
- 4
- 5
- 3
- 10
- 3
- 4
- 3
- 5
- 6
- 3
- 10
- 3
- 3
- 8
- 4
- 8
- 4
- 7
- 3
- 4
- 4
- 4
- 3
- 5
- 3
- 8
- 4
- 3
- 39
- 14
- 7
- 3
- 3
- 8
- 4
- 3
- 3
- 3
- 8
- 5
- 3
- 10
- 3
- 3
- 8
- 3
- 5
- 6
- 4
- 6
- 5
- 3
- 4
- 6
- 3
- 4
- 6
- 5
- 4
- 3
- 3
- 8
- 3
- 4
- 8
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 5
- 6
- 11
- 3
- 4
- 4
- 19
- 3
- 4
- 11
- 8
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 4
- 8
- 3
- 3
- 4
- 3
- 39
- 3
- 3
- 7
- 3
- 6
- 4
- 5
- 7
- 4
- 5
- 3
- 3
- 3
- 6
- 8
- 3
- 6
- 8
- 4
- 3
- 4
- 6
- 5
- 4
- 3
- 3
- 3
- 8
- 3
- 5
- 3
- 7
- 15
- 10
- 3
- 4
- 8
- 4
- 8
- 3
- 7
- 9
- 5
- 4
- 5
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 8
- 3
- 4
- 3
- 3
- 5
- 7
- 6
- 4
- 6
- 5
- 4
- 3
- 3
- 3
- 5
- 31
- 33
- 7
- 9
- 3
- 4
- 8
- 11
- 3
- 24
- 11
- 4
- 3
- 3
- 3
- 4
- 5
- 4
- 17
- 6
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 8
- 3
- 4
- 4
- 3
- 4
- 5
- 3
- 3
- 10
- 3
- 4
- 3
- 3
- 3
- 4
- 9
- 3
- 3
- 3
- 43
- 3
- 8
- 3
- 3
- 3
- 4
- 4
- 6
- 6
- 3
- 6
- 3
- 12
- 6
- 3
- 9
- 3
- 4
- 5
- 10
- 3
- 3
- 4
- 6
- 6
- 3
- 3
- 3
- 8
- 3
- 9
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 12
- 13
- 4
- 7
- 4
- 4
- 5
- 3
- 4
- 8
- 6
- 3
- 6
- 4
- 6
- 3
- 9
- 3
- 3
- 3
- 3
- 4
- 3
- 9
- 4
- 3
- 3
- 12
- 15
- 3
- 3
- 3
- 3
- 3
- 17
- 3
- 17
- 6
- 3
- 49
- 3
- 4
- 3
- 5
- 5
- 3
- 3
- 5
- 3
- 6
- 6
- 3
- 3
- 4
- 3
- 5
- 3
- 4
- 3
- 4
- 3
- 5
- 8
- 9
- 7
- 14
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 8
- 3
- 5
- 5
- 4
- 20
- 4
- 3
- 4
- 3
- 4
- 7
- 4
- 3
- 5
- 3
- 6
- 6
- 13
- 5
- 4
- 6
- 10
- 39
- 3
- 4
- 3
- 3
- 3
- 6
- 14
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 14
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 22
- 5
- 3
- 3
- 4
- 4
- 6
- 3
- 12
- 3
- 4
- 6
- 3
- 6
- 3
- 3
- 4
- 14
- 5
- 3
- 6
- 3
- 4
- 16
- 5
- 4
- 3
- 3
- 5
- 3
- 6
- 4
- 3
- 6
- 7
- 14
- 3
- 3
- 10
- 3
- 3
- 3
- 14
- 3
- 4
- 3
- 3
- 3
- 13
- 4
- 4
- 3
- 5
- 9
- 3
- 4
- 3
- 12
- 5
- 7
- 3
- 6
- 4
- 5
- 5
- 6
- 5
- 3
- 3
- 3
- 3
- 7
- 3
- 4
- 4
- 4
- 5
- 5
- 3
- 5
- 3
- 8
- 4
- 8
- 8
- 3
- 4
- 5
- 3
- 4
- 4
- 4
- 6
- 3
- 5
- 6
- 3
- 12
- 4
- 5
- 3
- 5
- 7
- 7
- 3
- 5
- 5
- 3
- 6
- 4
- 14
- 5
- 4
- 9
- 4
- 25
- 4
- 14
- 36
- 6
- 6
- 6
- 3
- 3
- 4
- 3
- 7
- 4
- 7
- 8
- 4
- 4
- 4
- 3
- 7
- 3
- 13
- 7
- 3
- 5
- 4
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 4
- 6
- 11
- 9
- 21
- 4
- 3
- 4
- 4
- 6
- 5
- 3
- 4
- 8
- 9
- 13
- 9
- 5
- 13
- 3
- 3
- 4
- 5
- 8
- 4
- 34
- 9
- 4
- 3
- 5
- 5
- 11
- 9
- 4
- 5
- 3
- 4
- 6
- 4
- 4
- 4
- 11
- 3
- 5
- 4
- 3
- 3
- 10
- 6
- 8
- 13
- 4
- 4
- 4
- 4
- 4
- 27
- 4
- 4
- 4
- 6
- 4
- 14
- 9
- 3
- 3
- 5
- 6
- 41
- 3
- 7
- 4
- 6
- 3
- 9
- 33
- 5
- 7
- 5
- 6
- 5
- 11
- 4
- 5
- 6
- 5
- 4
- 5
- 6
- 4
- 3
- 5
- 5
- 11
- 4
- 3
- 4
- 13
- 5
- 7
- 6
- 6
- 4
- 3
- 19
- 11
- 6
- 5
- 4
- 4
- 4
- 14
- 12
- 8
- 4
- 3
- 6
- 4
- 5
- 4
- 3
- 4
- 8
- 4
- 4
- 4
- 8
- 9
- 4
- 4
- 4
- 4
- 6
- 20
- 9
- 3
- 5
- 12
- 8
- 6
- 5
- 7
- 5
- 7
- 7
- 3
- 6
- 8
- 3
- 3
- 5
- 18
- 5
- 3
- 4
- 40
- 4
- 10
- 7
- 3
- 8
- 4
- 3
- 6
- 3
- 9
- 11
- 14
- 3
- 4
- 4
- 5
- 11
- 3
- 7
- 5
- 8
- 4
- 13
- 8
- 8
- 4
- 7
- 12
- 4
- 4
- 5
- 4
- 4
- 4
- 4
- 5
- 15
- 5
- 4
- 6
- 4
- 9
- 4
- 39
- 4
- 4
- 10
- 16
- 6
- 3
- 3
- 8
- 5
- 11
- 10
- 10
- 32
- 4
- 5
- 4
- 4
- 3
- 4
- 4
- 4
- 5
- 7
- 14
- 9
- 12
- 4
- 9
- 15
- 43
- 7
- 15
- 9
- 13
- 3
- 3
- 4
- 23
- 9
- 9
- 4
- 10
- 13
- 5
- 7
- 7
- 6
- 4
- 5
- 11
- 4
- 6
- 3
- 4
- 8
- 4
- 3
- 3
- 18
- 3
- 3
- 13
- 6
- 5
- 17
- 6
- 3
- 4
- 5
- 3
- 15
- 5
- 4
- 10
- 6
- 7
- 5
- 4
- 3
- 4
- 18
- 6
- 8
- 4
- 3
- 3
- 6
- 7
- 4
- 3
- 7
- 4
- 4
- 16
- 4
- 4
- 4
- 4
- 4
- 6
- 6
- 5
- 4
- 5
- 5
- 10
- 8
- 5
- 18
- 17
- 13
- 6
- 6
- 14
- 4
- 7
- 4
- 19
- 4
- 4
- 7
- 8
- 5
- 4
- 10
- Verlag
-
- 678
- 2681
- 1702
- 1
- 77
- 663
- 82
- Preis
-
- 26
- 190
- 4539
- 1129
- Sprachen
-
- 5879
- 15
- 12
- Verfügbarkeit
-
- 5863
- 21
- Katalog
-
- 5884
- 294
-
Kuich Automata, Languages and Programming
19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55719-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Toetenel / Prehn VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Volume 1: Conference Contributions1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54834-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schulz Word Equations and Related Topics
1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55124-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Levene The Nested Universal Relation Database Model
1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55493-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bürckert A Resolution Principle for a Logic with Restricted Quantifiers
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55034-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gupta / Beaumont Parallel Execution of Logic Programs
ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55038-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fahringer / Prodan Grid Computing
Experiment Management, Tool Integration, and Scientific Workflows2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69261-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sandnes / Yang / Zhang Ubiquitous Intelligence and Computing
5th International Conference, UIC 2008, Oslo, Norway, June 23-25, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69292-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Thalheim / Demetrovics MFDBS 89
2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51251-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maluszynski / Deransart Programming Language Implementation and Logic Programming
International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53010-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
He / Liu Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-47460-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kolp / Winikoff / Bresciani Agent-Oriented Information Systems III
7th International Bi-Conference Workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48291-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Barkaoui / Cerone / Cavalcanti Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48815-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Odersky ECOOP 2004 - Object-Oriented Programming
18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22159-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mullen / Stichtenoth / Poli Finite Fields and Applications
7th International Conference, Fq7, Toulouse, France, May 5-9, 2003, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21324-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmidt Programming Languages and Systems
13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21313-0Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hong / Chen Real-Time and Embedded Computing Systems and Applications
9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21974-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Keijzer / O'Reilly / Soule Genetic Programming
7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21346-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Rödding / Hasenjaeger Logic and Machines: Decision Problems and Complexity
Proceedings of the Symposium ¿Rekursive Kombinatorik¿ held from May 23¿28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/WestfalenSoftcover Nachdruck of the original 1. Auflage 1984Verlag: Springer Berlin HeidelbergISBN: 978-3-540-13331-5Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhang Agent-Based Hybrid Intelligent Systems
An Agent-Based Framework for Complex Problem Solving2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20908-9Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ulrich Formal Approaches to Software Testing
Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 20032004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20894-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wallace Principles and Practice of Constraint Programming - CP 2004
10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23241-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nunez / Frutos-Escrig Formal Techniques for Networked and Distributed Systems - FORTE 2004
24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23252-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kalker / Cox / Ro Digital Watermarking
Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21061-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Núnez / Maamar / Rubio Applying Formal Methods: Testing, Performance, and M/E-Commerce
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 20042004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23169-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort