Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 54 Berechenbarkeitstheorie, Komplexitätstheorie
- 16 Bildsignalverarbeitung
- 327 Künstliche Intelligenz
- 407 Logik, formale Sprachen, Automaten
- 117 Mathematik für Informatiker
- 26 Mensch-Maschine-Interaktion
- 4 Natürliche Sprachen & Maschinelle Übersetzung
- 36 Rechnerarchitektur
- 158 Theoretische Informatik
- 2 Tonsignalverarbeitung
- 1 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 903
- Erscheinungsjahr
-
- 3
- 44
- 45
- 51
- 61
- 61
- 50
- 56
- 47
- 54
- 62
- 44
- 52
- 48
- 51
- 57
- 61
- 56
- Autoren
-
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 3
- 1
- 4
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 12
- 9
- 1
- 4
- 4
- 1
- 1
- 2
- 1
- 1
- 7
- 1
- 2
- 4
- 1
- 3
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 5
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 11
- 1
- 1
- 4
- 1
- 39
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 3
- 2
- 2
- 10
- 6
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 7
- 2
- 3
- 4
- 2
- 2
- 3
- 3
- 5
- 2
- 6
- 2
- 6
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 3
- 9
- 2
- 11
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 31
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 6
- 34
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 7
- 2
- 2
- 2
- 4
- 4
- 4
- 6
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 12
- 11
- 4
- 3
- 5
- 4
- 2
- 2
- 2
- 2
- 10
- 2
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 11
- 2
- 2
- 4
- 2
- 2
- 15
- 3
- 2
- 3
- 2
- 2
- 4
- 12
- 9
- 2
- 2
- 5
- 5
- 2
- 3
- 2
- 2
- 11
- 2
- 38
- 13
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 13
- 8
- 7
- 4
- 2
- 4
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 7
- 6
- 2
- 2
- 6
- 2
- 6
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- Verlag
-
- 893
- 1
- 9
- Preis
-
- 25
- 709
- 169
- Sprachen
-
- 903
- Verfügbarkeit
-
- 903
- Katalog
-
- 903
- 9
Der Inhalt wurde erfolgreich kopiert
-
Vidal Logic-Based Program Synthesis and Transformation
21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32210-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Goehringer / Santambrogio / Cardoso Reconfigurable Computing: Architectures, Tools, and Applications
10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-05959-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Martín-Vide / Mizuki / Vega-Rodríguez Theory and Practice of Natural Computing
5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49000-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gelbukh Computational Linguistics and Intelligent Text Processing
17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised Selected Papers, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-75486-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dillig / Palsberg Verification, Model Checking, and Abstract Interpretation
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-73720-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Liu / Duan Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-31219-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Datta / Gradinariu Stabilization, Safety, and Security of Distributed Systems
8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, ProceedingsErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-49018-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Panigraphi / Suganthan / Das Swarm, Evolutionary, and Memetic Computing, Part II
Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-27241-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kumar / Sivakumar Algorithms and Models for the Web-Graph
7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-18008-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ogihara / Tarui Theory and Applications of Models of Computation
8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20876-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part I
8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 20091. Auflage 2010Verlag: SpringerISBN: 978-3-642-14389-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th BirthdaysErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75220-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Liu / Duan Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17403-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31499-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Frappier / Glässer / Khurshid Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11810-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pelc / Schwarzmann Stabilization, Safety, and Security of Distributed Systems
17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21740-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Davis / Fehnker / McIver Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48898-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Masuzawa / Tixeuil Stabilization, Safety, and Security of Distributed Systems
9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76626-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Liu Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39276-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bonato / Graham / Pralat Algorithms and Models for the Web Graph
11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13122-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lassiter / Slavkovik New Directions in Logic, Language, and Computation
ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31466-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Duan / Liu / Tian Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-13650-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14402-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pizzuti / Ritchie / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01183-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mira / Ferrández / Alvarez Sanchez Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part IErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02263-0Medium: 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
