Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1347
- Erscheinungsjahr
-
- 2
- 11
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 5
- 4
- 1
- 1
- 29
- 52
- 132
- 120
- 60
- 51
- 68
- 42
- 76
- 66
- 61
- 54
- 61
- 59
- 61
- 54
- 47
- 35
- 52
- 26
- 30
- 21
- 17
- 13
- 5
- 3
- 1
- 3
- 10
- 3
- Autoren
-
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 1
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 20
- 4
- 1
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 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
- 1
- 1
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 5
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 4
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 7
- 2
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 3
- 7
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 18
- 2
- 10
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 12
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- Verlag
-
- 1336
- 1
- 2
- 8
- Preis
-
- 7
- 1097
- 243
- Sprachen
-
- 1347
- 3
- 1
- Verfügbarkeit
-
- 1345
- 2
- Katalog
-
- 1347
- 57
-
Beckmann / Berger / Löwe Logical Approaches to Computational Barriers
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35466-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rensink / Warmer Model-Driven Architecture - Foundations and Applications
Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35909-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Saunders / Grobelnik / Gunn Subspace, Latent Structure and Feature Selection
Statistical and Optimization Perspectives Workshop, SLSFS 2005 Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34137-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Oliveira / Zave FME 2001: Formal Methods for Increasing Software Productivity
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41791-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jazayeri / Loos / Musser Generic Programming
International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected PapersErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41090-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grieskamp / Santen / Stoddart Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41196-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parigot / Voronkov Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41285-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gerndt / Kranzlmüller High Performance Computing and Communications
Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-39368-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Transactions on Rough Sets V
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-39382-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schmid Inductive Synthesis of Functional Programs
Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40174-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003
8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40376-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cardelli ECOOP 2003 - Object-Oriented Programming
17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40531-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cantú-Paz / Wilson / Foster Genetic and Evolutionary Computation - GECCO 2003
Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12-16, 2003 Proceedings, Part IIErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40603-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ibarra / Yen Implementation and Application of Automata
11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37213-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yi Static Analysis
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings1. Auflage 2006Verlag: Springer NetherlandsISBN: 978-3-540-37756-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schölkopf / Warmuth Learning Theory and Kernel Machines
16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40720-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Timmis / Bentley / Hart Artificial Immune Systems
Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40766-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Butler / Petre / Sere Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.Erscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43703-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krishnamurthi / Ramakrishnan Practical Aspects of Declarative Languages
4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43092-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Johnson Interactive Systems: Design, Specification, and Verification
8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42807-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margenov / Wasniewski / Yalamov Large-Scale Scientific Computing
Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-43043-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Heutte / Loog Advanced Intelligent Computing Theories and Applications - With Aspects of Theoretical and Methodological Issues
Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74170-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Geraets / Kroon / Schoebel Algorithmic Methods for Railway Optimization
International Dagstuhl Workshop, Railway Optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74245-6Medium: 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 -
Chen / Paterson / Zhang Combinatorics, Algorithms, Probabilistic and Experimental Methodologies
First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74449-8Medium: 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