Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1172
- 1142
- Erscheinungsjahr
-
- 10
- 111
- 138
- 142
- 158
- 117
- 134
- 146
- 144
- 155
- 154
- 132
- 141
- 127
- 130
- 110
- 125
- 139
- 1
- Autoren
-
- 2
- 2
- 3
- 3
- 2
- 2
- 9
- 2
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 15
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 74
- 2
- 3
- 2
- 2
- 5
- 8
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 4
- 17
- 4
- 2
- 15
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 9
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 5
- 3
- 6
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 5
- 2
- 7
- 2
- 5
- 2
- 4
- 6
- 3
- 3
- 2
- 7
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 6
- 3
- 4
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 5
- 2
- 2
- 8
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 4
- 8
- 3
- 12
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 7
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 13
- 4
- 2
- 2
- 7
- 2
- 3
- 3
- 8
- 3
- 3
- 5
- 3
- 11
- 3
- 2
- 13
- 10
- 2
- 2
- 6
- 2
- 3
- 4
- 4
- 10
- 3
- 2
- 2
- 2
- 2
- 5
- 5
- 6
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 4
- 6
- 3
- 2
- 7
- 2
- 2
- 4
- 3
- 34
- 14
- 8
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 16
- 2
- 2
- 10
- 2
- 2
- 10
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 4
- 8
- 5
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 2
- 6
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 8
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 11
- 7
- 5
- 3
- 2
- 2
- 3
- 4
- 7
- 5
- 4
- 3
- 3
- 4
- 3
- 17
- 9
- 3
- 3
- 3
- 4
- 4
- 3
- 10
- 25
- 3
- 8
- 3
- 88
- 4
- 4
- 6
- 5
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 11
- 5
- 6
- 5
- 4
- 5
- 4
- 3
- 8
- 6
- 4
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 6
- 3
- 7
- 3
- 4
- 4
- 6
- 11
- 3
- 13
- 3
- 8
- 4
- 4
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 3
- 3
- 4
- 3
- 11
- 3
- 9
- 4
- 3
- 3
- 3
- 3
- 4
- 5
- 15
- 4
- 3
- 4
- 8
- 3
- 8
- 17
- 6
- 4
- 3
- 3
- 5
- 3
- 5
- 7
- 3
- 3
- 8
- 3
- 3
- 5
- 4
- 3
- 4
- 3
- 6
- 3
- 5
- 6
- 3
- 8
- 3
- 4
- 4
- 5
- 3
- 6
- 3
- 3
- 4
- 18
- 4
- 4
- 11
- 6
- 5
- 6
- 4
- 8
- 6
- 5
- 8
- 14
- 5
- 3
- 3
- 5
- 9
- 4
- 6
- 10
- 10
- 4
- 6
- 5
- 3
- 3
- 4
- 4
- 5
- 11
- 5
- 5
- 4
- 7
- 7
- 3
- 4
- 3
- 4
- 7
- 4
- 5
- 5
- 3
- 4
- 4
- 3
- 4
- 7
- 14
- 3
- 5
- 8
- 3
- 5
- 3
- 4
- 6
- 3
- 3
- 7
- 10
- 5
- 7
- 3
- 3
- 8
- 5
- 9
- 4
- 4
- 3
- 5
- 6
- 3
- 6
- 3
- 5
- 4
- 20
- 6
- 3
- 6
- 3
- 19
- 4
- 4
- 8
- 7
- 9
- 3
- 9
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 63
- 4
- 3
- 4
- 6
- 3
- 5
- 4
- 3
- 5
- 8
- 3
- 3
- 3
- 3
- 3
- 12
- 74
- 3
- 3
- 5
- 3
- 5
- 8
- 7
- 9
- 3
- 3
- 3
- 6
- 4
- 4
- 4
- 3
- 6
- 4
- 4
- 4
- 4
- 3
- 13
- 5
- 4
- 4
- 4
- 3
- 7
- 6
- 9
- 6
- 5
- 4
- 5
- 4
- 5
- 4
- 4
- 8
- 5
- 4
- 3
- 3
- 4
- 6
- 4
- 4
- 13
- 8
- 3
- 5
- 3
- 4
- 5
- 3
- 5
- 3
- 3
- 10
- 4
- 3
- 8
- 5
- 4
- 5
- 3
- 3
- 3
- 5
- 8
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 12
- 4
- 5
- 16
- 28
- 12
- 3
- 5
- 3
- 15
- 8
- 3
- 4
- 3
- 6
- 3
- 21
- 4
- 3
- 3
- 6
- 3
- 3
- 8
- 3
- 13
- 3
- 8
- 6
- 3
- 9
- 3
- 4
- 3
- 3
- 8
- 4
- 8
- 5
- 9
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 3
- 6
- 22
- 3
- 3
- 3
- 4
- 4
- 6
- 5
- 20
- 7
- 4
- 3
- 4
- 11
- 27
- 22
- 3
- 3
- 5
- 4
- 3
- 10
- 10
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 6
- 4
- 21
- 3
- 85
- 5
- 31
- 3
- 5
- 3
- 4
- 6
- 4
- 4
- 5
- 4
- 3
- 5
- 3
- 3
- 5
- 20
- 19
- 19
- 3
- 3
- 11
- 4
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 4
- 5
- 3
- 4
- 3
- 5
- 5
- 3
- 3
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 5
- 10
- 10
- 6
- 6
- 4
- 5
- 5
- 4
- 4
- 9
- 4
- 5
- 7
- 3
- 3
- 3
- 15
- 8
- 10
- 3
- 4
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 3
- 3
- 6
- 7
- 6
- 5
- 3
- 7
- 3
- 17
- 4
- 5
- 3
- 3
- 3
- 5
- 13
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 7
- 3
- 5
- 11
- 4
- 7
- 6
- 6
- 5
- 7
- 3
- 3
- 3
- 5
- 4
- 6
- 3
- 4
- 3
- Verlag
-
- 1135
- 174
- 962
- 35
- 8
- Preis
-
- 99
- 1970
- 245
- Sprachen
-
- 2314
- Verfügbarkeit
-
- 2310
- 4
- Katalog
-
- 2314
- 16
-
Hurd / Melham Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31820-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Taubenfeld Distributed Computing
22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-87778-3Medium: Buch106,99 € (inkl. MwSt.)
Kurzfristig nicht lieferbar106,99 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt. -
Cheng / Leung / Ozawa Neural Information Processing
25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-04167-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Hart / McEwan / Timmis Artificial Immune Systems
9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-14546-9Medium: Buch80,24 € (inkl. MwSt.)
Kurzfristig nicht lieferbar80,24 € (inkl. MwSt.)
Kurzfristig nicht lieferbar, wird unverzüglich nach Lieferbarkeit versandt. -
Trautmann / Rudolph / Klamroth Evolutionary Multi-Criterion Optimization
9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-54156-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
de Barros / Coecke / Pothos Quantum Interaction
10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-52289-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Amblard / de Groote / Pogodalla Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-662-53826-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Lirkov / Margenov Large-Scale Scientific Computing
11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-73441-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar85,59 € (inkl. MwSt.)
sofort verfügbar -
Manna / Peled Time for Verification
Essays in Memory of Amir PnueliErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-13754-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Dolev / Oltean Optical Supercomputing
4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-38250-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar48,14 € (inkl. MwSt.)
sofort verfügbar -
Erdem / Lee / Lierler Correct Reasoning
Essays on Logic-Based AI in Honour of Vladimir LifschitzErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-30743-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Kaufmann / Paulson Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14052-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar -
Abdelzaher / Raynal / Santoro Principles of Distributed Systems
13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-10877-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Dunne / Stoddart Unifying Theories of Programming
First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers2006Verlag: SpringerISBN: 978-3-540-34752-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Grandinetti / Lippert / Petkov Brain-Inspired Computing
International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-12084-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar50,28 € (inkl. MwSt.)
sofort verfügbar -
Cirne / Desai Job Scheduling Strategies for Parallel Processing
18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected PapersErscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-319-15789-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,79 € (inkl. MwSt.)
sofort verfügbar42,79 € (inkl. MwSt.)
sofort verfügbar -
Ramakrishnan / Bartocci Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39175-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Castillo / Jiménez Laredo / Fernández de Vega Applications of Evolutionary Computation
23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-43722-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Zarges / Verel Evolutionary Computation in Combinatorial Optimization
21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-72904-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar -
Almeida / Blesa Aguilera / Blum Hybrid Metaheuristics
Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-46384-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Page / Horvath / Zsók Trends in Functional Programming
11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22940-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lutton / Legrand / Schoenauer Artificial Evolution
13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25-27, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-78132-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Oltean / Dolev Optical Supercomputing
4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-38249-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gottlieb / Raidl Evolutionary Computation in Combinatorial Optimization
5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25337-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Valmari Model Checking Software
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33102-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort