Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1150
- Erscheinungsjahr
-
- 5
- 56
- 73
- 72
- 73
- 58
- 64
- 68
- 66
- 75
- 78
- 71
- 67
- 66
- 62
- 68
- 59
- 69
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 36
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 9
- 1
- 1
- 3
- 1
- 1
- 1
- 8
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 6
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 4
- 1
- 5
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 6
- 3
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 4
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 3
- 13
- 11
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 5
- 4
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 7
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 2
- 5
- 10
- 6
- 2
- 42
- 4
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 3
- 5
- 3
- 5
- 2
- 4
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 7
- 6
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 3
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 12
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 5
- 2
- 3
- 5
- 2
- 2
- 2
- 9
- 7
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 10
- 2
- 8
- 4
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 6
- 7
- 3
- 3
- 3
- 6
- 3
- 2
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 11
- 6
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 30
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 5
- 37
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 7
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 6
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 8
- 10
- 9
- 2
- 3
- 6
- 2
- 3
- 3
- 3
- 2
- 4
- 4
- 15
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 6
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 11
- 4
- 2
- 6
- 9
- 11
- 2
- 2
- 2
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 3
- 7
- 2
- 41
- 2
- 12
- 2
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 9
- 11
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 3
- 8
- 8
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 8
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 7
- 4
- 2
- 3
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- Verlag
-
- 1138
- 2
- 10
- Preis
-
- 48
- 905
- 197
- Sprachen
-
- 1150
- Verfügbarkeit
-
- 1150
- Katalog
-
- 1150
- 15
Der Inhalt wurde erfolgreich kopiert
-
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
-
Bras-Amorós / Høholdt Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
18th International Symposium, AAECC-18, Tarragona, Sapin, June 8-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02180-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cimatti / Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31611-1Medium: 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
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16557-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
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
-
Mladenov / Koprinkova-Hristova / Palm Artificial Neural Networks and Machine Learning -- ICANN 2013
23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40727-7Medium: 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 2009, Brussels, Belgium, September 3-5, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03750-4Medium: 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
-
Heule / Weaver Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24317-7Medium: Buch68,48 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage68,48 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Xiang / Cuzzocrea / Hobbs Algorithms and Architectures for Parallel Processing, Part I
11th International Conference, ICA3PP 2011, Melbourne, Australia,October 24-26, 2011, Proceedings, Part I1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24649-4Medium: 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
-
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
-
Pop / Potop-Butucaru Adaptive Resource Management and Scheduling for Cloud Computing
First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13463-5Medium: 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
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
