Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 54 Berechenbarkeitstheorie, Komplexitätstheorie
- 17 Bildsignalverarbeitung
- 311 Künstliche Intelligenz
- 395 Logik, formale Sprachen, Automaten
- 118 Mathematik für Informatiker
- 27 Mensch-Maschine-Interaktion
- 4 Natürliche Sprachen & Maschinelle Übersetzung
- 41 Rechnerarchitektur
- 165 Theoretische Informatik
- 1 Tonsignalverarbeitung
- 1 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 894
- Erscheinungsjahr
-
- 3
- 37
- 43
- 55
- 67
- 56
- 54
- 59
- 56
- 43
- 55
- 51
- 49
- 57
- 42
- 59
- 56
- 52
- Autoren
-
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 4
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 30
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 4
- 3
- 1
- 8
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 5
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 3
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 4
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 12
- 11
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 4
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 3
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 6
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 11
- 1
- 1
- 2
- 1
- 36
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 3
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 8
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 12
- 3
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 9
- 7
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 3
- 7
- 3
- 3
- 2
- 3
- 4
- 4
- 2
- 5
- 6
- 2
- 4
- 3
- 2
- 2
- 4
- 3
- 11
- 2
- 2
- 11
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 27
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 5
- 32
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 6
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 11
- 7
- 4
- 2
- 7
- 2
- 5
- 3
- 2
- 2
- 13
- 2
- 4
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 9
- 2
- 2
- 3
- 2
- 3
- 2
- 12
- 11
- 3
- 2
- 2
- 2
- 4
- 14
- 9
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 9
- 2
- 35
- 10
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 10
- 12
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 2
- 6
- 4
- 2
- 2
- 4
- 3
- 4
- 2
- 7
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 5
- 6
- 3
- 5
- 3
- 2
- 2
- 2
- Verlag
-
- 885
- 1
- 8
- Preis
-
- 23
- 705
- 166
- Sprachen
-
- 894
- Verfügbarkeit
-
- 894
- Katalog
-
- 894
- 11
Der Inhalt wurde erfolgreich kopiert
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61466-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pizzuti / Ritchie / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
9th European Conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20388-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Butler / Raschke / Hoang Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-91270-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kleijn / Yakovlev Petri Nets and Other Models of Concurrency - ICATPN 2007
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73093-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Simonis Integration of AI and OR Techniques in Constraint Programming
11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07045-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Vanneschi / Bush / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37188-2Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ferrández Vicente / Álvarez-Sánchez / de la Paz López From Bioinspired Systems and Biomedical Applications to Machine Learning
8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19650-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tetko / Ku°rková / Karpov Artificial Neural Networks and Machine Learning - ICANN 2019: Deep Learning
28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30483-6Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Margaria / Graf / Larsen Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday1. Auflage 2019Verlag: SpringerISBN: 978-3-030-22347-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03426-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Thulasiraman / He / Xu Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74766-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47165-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47168-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45233-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Coecke / Ong / Panangaden Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38163-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Barták / Milano Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 20051. Auflage 2005Verlag: SpringerISBN: 978-3-540-26152-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gomes / Sellmann Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38170-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
van Benthem / Ghosh / Verbrugge Models of Strategic Reasoning
Logics, Games, and Communities1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48539-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Müller-Hannemann / Schirra Algorithm Engineering
Bridging the Gap Between Algorithm Theory and Practice1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14865-1Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Freund / Paun / Rozenberg Membrane Computing
6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-30948-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hoogeboom / Paun / Rozenberg Membrane Computing
7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-69088-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kovalev / Müller / Paul A Pipelined Multi-core MIPS Machine
Hardware Implementation and Correctness ProofErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13905-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Branke / Deb / Miettinen Multiobjective Optimization
Interactive and Evolutionary Approaches1. Auflage 2008Verlag: SpringerISBN: 978-3-540-88907-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Eleftherakis / Kefalas / Paun Membrane Computing
8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77311-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kliemann / Sanders Algorithm Engineering
Selected Results and Surveys1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49486-9Medium: 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
