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
-
Beyersdorff / Wintersteiger Theory and Applications of Satisfiability Testing - SAT 2018
21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94143-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Boztas / Lu Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-77223-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72787-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stützle / Birattari / Hoos Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74445-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kullmann Theory and Applications of Satisfiability Testing - SAT 2009
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02776-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sinz / Egly Theory and Applications of Satisfiability Testing - SAT 2014
17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09283-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sikos / Pacuit At the Intersection of Language, Logic, and Information
ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018, Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-662-59619-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Villa / Duch / Erdi Artificial Neural Networks and Machine Learning -- ICANN 2012
22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33268-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Villa / Masulli / Pons Rivero Artificial Neural Networks and Machine Learning - ICANN 2016
25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44777-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurková / Manolopoulos / Hammer Artificial Neural Networks and Machine Learning - ICANN 2018
27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-01417-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Farkaš / Masulli / Wermter Artificial Neural Networks and Machine Learning - ICANN 2020
29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15-18, 2020, Proceedings, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61615-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li / Manyà Theory and Applications of Satisfiability Testing - SAT 2021
24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-80222-6Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Farkaš / Masulli / Otte Artificial Neural Networks and Machine Learning - ICANN 2021
30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part III1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86364-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Romero / Martins / Rodríguez-Fernández Artificial Intelligence in Music, Sound, Art and Design
10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-72913-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kleine Büning / Zhao Theory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lintas / Rovetta / Verschure Artificial Neural Networks and Machine Learning - ICANN 2017
26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68599-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Romero / Ekárt / Martins Artificial Intelligence in Music, Sound, Art and Design
9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43858-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Villa / Duch / Érdi Artificial Neural Networks and Machine Learning -- ICANN 2012
22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33265-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Honkela / Duch / Girolami Artificial Neural Networks and Machine Learning - ICANN 2011
21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part I1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21734-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Creignou / Le Berre Theory and Applications of Satisfiability Testing - SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40969-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Farkaš / Masulli / Otte Artificial Neural Networks and Machine Learning - ICANN 2021
30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part V1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86382-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marchiori / Moore Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78756-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Salvagnin / Lombardi Integration of AI and OR Techniques in Constraint Programming
14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-59775-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rousseau / Stergiou Integration of Constraint Programming, Artificial Intelligence, and Operations Research
16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19211-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Butler / Schewe / Mashkoor Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33599-5Medium: 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