Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 62 Berechenbarkeitstheorie, Komplexitätstheorie
- 17 Bildsignalverarbeitung
- 332 Künstliche Intelligenz
- 407 Logik, formale Sprachen, Automaten
- 140 Mathematik für Informatiker
- 30 Mensch-Maschine-Interaktion
- 6 Natürliche Sprachen & Maschinelle Übersetzung
- 43 Rechnerarchitektur
- 178 Theoretische Informatik
- 3 Tonsignalverarbeitung
- 1 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 942
- Erscheinungsjahr
-
- 4
- 41
- 50
- 61
- 53
- 57
- 55
- 53
- 52
- 58
- 62
- 47
- 51
- 59
- 45
- 71
- 62
- 61
- Autoren
-
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 22
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 7
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 2
- 2
- 4
- 1
- 6
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 2
- 1
- 2
- 13
- 11
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 9
- 2
- 2
- 4
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 5
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 2
- 28
- 1
- 1
- 1
- 2
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 14
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 8
- 7
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 6
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 6
- 3
- 3
- 7
- 4
- 3
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 3
- 2
- 11
- 2
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 21
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 24
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 8
- 7
- 3
- 3
- 2
- 5
- 2
- 3
- 4
- 3
- 13
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 11
- 2
- 4
- 2
- 2
- 2
- 3
- 9
- 11
- 2
- 2
- 2
- 2
- 2
- 6
- 9
- 8
- 2
- 2
- 2
- 6
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 27
- 2
- 7
- 2
- 4
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 9
- 5
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 6
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 6
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- Verlag
-
- 930
- 1
- 11
- Preis
-
- 25
- 737
- 180
- Sprachen
-
- 942
- Verfügbarkeit
-
- 942
- Katalog
-
- 942
- 12
Der Inhalt wurde erfolgreich kopiert
-
Stuckey Integration of Constraint Programming, Artificial Intelligence, and Operations Research
18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-78229-0Medium: 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
-
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
-
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
-
Pizzuti / Ritchie / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12210-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Michel Integration of AI and OR Techniques in Constraint Programming
12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-18007-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hebrard / Musliu Integration of Constraint Programming, Artificial Intelligence, and Operations Research
17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58941-7Medium: 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: 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
-
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
-
Tetko / Karpov / Theis 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
-
Tetko / Karpov / Theis Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing
28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part III1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30507-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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
-
Min / Di Martino / Yang Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops
ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-49860-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. 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
-
Omatu / Rocha / Bravo Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part IIErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02480-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,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
-
Achterberg / Beck Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21310-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Goldreich Property Testing
Current Research and Surveys1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16366-1Medium: 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
-
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
-
Charron-Bost / Pedone / Schiper Replication
Theory and Practice1. Auflage 2010Verlag: SpringerISBN: 978-3-642-11293-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
