Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1168
- 331
- Erscheinungsjahr
-
- 6
- 95
- 85
- 99
- 107
- 99
- 88
- 91
- 85
- 120
- 107
- 92
- 108
- 62
- 63
- 63
- 63
- 66
- Autoren
-
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 3
- 2
- 3
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 3
- 1
- 1
- 6
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 52
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 6
- 13
- 3
- 12
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 5
- 3
- 4
- 2
- 3
- 5
- 6
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 8
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 4
- 2
- 7
- 5
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 7
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 3
- 3
- 2
- 3
- 7
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 7
- 6
- 5
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 22
- 13
- 4
- 4
- 2
- 3
- 9
- 3
- 5
- 3
- 7
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 3
- 4
- 2
- 3
- 8
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 2
- 3
- 5
- 5
- 6
- 4
- 3
- 3
- 2
- 4
- 4
- 3
- 2
- 3
- 13
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 13
- 7
- 2
- 58
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 5
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 7
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 7
- 4
- 2
- 2
- 3
- 2
- 7
- 13
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 8
- 2
- 5
- 2
- 2
- 2
- 6
- 4
- 2
- 7
- 2
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 6
- 2
- 7
- 3
- 3
- 2
- 9
- 2
- 6
- 2
- 3
- 2
- 5
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 13
- 8
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 8
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 3
- 5
- 2
- 3
- 2
- 6
- 4
- 9
- 2
- 4
- 3
- 2
- 6
- 3
- 2
- 4
- 3
- 3
- 3
- 17
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 14
- 4
- 8
- 4
- 2
- 2
- 4
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 46
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 6
- 54
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 5
- 4
- 2
- 3
- 10
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 5
- 4
- 8
- 4
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 8
- 4
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 9
- 4
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 14
- 15
- 11
- 4
- 5
- 3
- 7
- 6
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 18
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 13
- 3
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 4
- 2
- 6
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 12
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 18
- 7
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 16
- 16
- 3
- 2
- 2
- 4
- 3
- 2
- 6
- 7
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 12
- 2
- 57
- 2
- 23
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 18
- 10
- 16
- 2
- 3
- 3
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 9
- 9
- 7
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 4
- 3
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 6
- 4
- 5
- 3
- 3
- 2
- 10
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 14
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- Verlag
-
- 1288
- 1
- 197
- 3
- 10
- Preis
-
- 68
- 1225
- 206
- Sprachen
-
- 1499
- Verfügbarkeit
-
- 1499
- Katalog
-
- 1499
- 16
-
Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14185-0Medium: 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
-
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
-
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
-
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
-
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
-
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
-
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
-
Mira / Álvarez Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach
First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26319-7Medium: 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
8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-12211-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Jarvis / Wright / Hammond High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation
5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected PapersErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-17248-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Quimper Integration of AI and OR Techniques in Constraint Programming
13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33953-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
-
Quimper Integration of AI and OR Techniques in Constraint Programming
13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33954-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Ait Ameur / Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-43651-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. 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
-
Duch / Oja / Zadrozny Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005
15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28755-1Medium: 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: Springer International PublishingISBN: 978-3-030-03427-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03424-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03423-8Medium: 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 BirthdayErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-22348-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Li / Cheung / Iwasaki Blended Learning: Re-thinking and Re-defining the Learning Process.
14th International Conference, ICBL 2021, Nagoya, Japan, August 10-13, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-80503-6Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (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
