Ergebnisse filtern
- Fachgebiet
- Medium
-
- 898
- 1
- Erscheinungsjahr
-
- 1
- 7
- 26
- 14
- 8
- 17
- 27
- 25
- 26
- 22
- 12
- 34
- 10
- 14
- 4
- 41
- 20
- 41
- 81
- 59
- 69
- 56
- 58
- 44
- 37
- 22
- 17
- 14
- 20
- 11
- 13
- 12
- 9
- 6
- 7
- 5
- 1
- 3
- 2
- 2
- 1
- Autoren
-
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 3
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 5
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 14
- 2
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 8
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 7
- 2
- 2
- 3
- 3
- 3
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 4
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 14
- 2
- 5
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 9
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 6
- 2
- Verlag
-
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 105
- 482
- 147
- 44
- 27
- 7
- 34
- 25
- 1
- 1
- 4
- Preis
-
- 1
- 18
- 549
- 331
- Sprachen
-
- 897
- 4
- Verfügbarkeit
-
- 895
- 4
- Katalog
-
- 899
- 36
-
Manea / Nowotka / Miller Sailing Routes in the World of Computation
14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 ¿ August 3, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-94417-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
van der Hoek / Wang / Holliday Logic, Rationality, and Interaction
5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48560-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baeza-Yates / Poblete / Goles LATIN '95: Theoretical Informatics
Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59175-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Le Berre / Creignou Theory and Applications of Satisfiability Testing ¿ SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40969-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rash / Rouff / Hinchey Formal Approaches to Agent-Based Systems
First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42716-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ohuchi / Hagiya DNA Computing
8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00531-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Diekert / Voronkov / Volkov Computer Science - Theory and Applications
Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74509-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Philippou / Kowalewski Tools and Algorithms for the Construction and Analysis of Systems
15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-00767-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tkachuk / Rayadurgam NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-40647-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Drobiazgiewicz / Soldek Artificial Intelligence and Security in Computing Systems
9th International Conference, ACS ¿2002 Mi¿dzyzdroje, Poland October 23¿25, 2002 Proceedings2003Verlag: Springer USISBN: 978-1-4020-7396-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
O'Neill / Vanneschi / Gustafson Genetic Programming
11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78670-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Garg / Arun-Kumar FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-49994-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Boyd Advances in Cryptology ¿ ASIACRYPT 2001
7th International Conference on the Theory and Application of Cryptology and Information Security Gold Coast, Australia, December 9¿13, 2001. Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42987-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Davies / Barnett / Schulte Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23841-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Linden / Preuss / Dose Maximum Entropy and Bayesian Methods Garching, Germany 1998
Proceedings of the 18th International Workshop on Maximum Entropy and Bayesian Methods of Statistical Analysis1999Verlag: Springer NetherlandsISBN: 978-0-7923-5766-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Michalewicz / Siarry Advances in Metaheuristics for Hard Optimization
2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72959-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Randall / Wiles / Abbass Progress in Artificial Life
Third Australian Conference, ACAL 2007 Gold Coast, Australia, December 4-6, 2007 Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-76930-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Chen / Ong Advances in Natural Computation Part 03
First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III2005Verlag: Springer-Verlag GmbHISBN: 978-3-540-28320-1Medium: Buch123,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage123,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tagliaferri / Marinaro Neural Nets
13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri sul Mare, Italy, May 30-June 1, 2002. Revised Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44265-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Somenzi / Hunt, Jr. / Hunt Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40524-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cyre / Tepfenhart Conceptual Structures: Standards and Practices
7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66223-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dorronsoro Artificial Neural Networks ¿ ICANN 2002
International Conference, Madrid, Spain, August 28¿30, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44074-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Csuhaj-Varjú / Ésik / Dietzfelbinger Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I2014Verlag: SpringerISBN: 978-3-662-44521-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grefenstette / Renals Text- and Speech-Triggered Information Access
8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000, Revised Lectures2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40635-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Steffen / Margaria 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-03426-9Medium: 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