Ergebnisse filtern
-
- 167
-
- 165
- 1
- 1
-
- 2
- 114
- 51
-
- 167
-
- 167
-
- 167
- 6
-
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 Werktage -
Lupanov / Kasim-Zade / Chaskin Stochastic Algorithms: Foundations and Applications
Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 20051. Auflage 2005Verlag: SpringerISBN: 978-3-540-29498-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margenov / Vulkov / Wasniewski Numerical Analysis and Its Applications
4th International Conference, NAA 2008 Lozenetz, Bulgaria, June 16-20, 2008, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00463-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adve / Garzarán / Petersen Languages and Compilers for Parallel Computing
20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85260-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
George / Liu / Woodcock Domain Modeling and the Duration Calculus
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74963-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mesnard / Stuckey Logic-Based Program Synthesis and Transformation
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-13837-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grelck / Huch / Michaelson Implementation and Application of Functional Languages
16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26094-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hanus Logic-Based Program Synthesis and Transformation
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00514-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Borrione / Paul Correct Hardware Design and Verification Methods
13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29105-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chung / Moreira Advances in Grid and Pervasive Computing
First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33809-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cérin / Li Advances in Grid and Pervasive Computing
Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72359-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
King Logic-Based Program Synthesis and Transformation
17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78768-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adali / Jutten / Romano Independent Component Analysis and Signal Separation
8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00598-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cooper / Löwe / Sorbi Computation and Logic in the Real World
Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73000-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75453-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asarin / Bouyer Formal Modeling and Analysis of Timed Systems
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45026-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Masuzawa / Tixeuil Stabilization, Safety, and Security of Distributed Systems
9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76626-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Fossorier / Imai / Lin Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31423-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biere / Gomes Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lutsyk / Oberhauser / Paul A Pipelined Multi-Core Machine with Operating System Support
Hardware Implementation and Correctness Proof1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43242-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rothlauf / Branke / Cagnoni Applications of Evolutionary Computing
Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25396-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller / Chapman / de Supinski OpenMP Shared Memory Parallel Programming
International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68554-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giacobini / Brabazon / Cagnoni Applications of Evolutionary Computing
EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLogErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78760-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bozapalidis / Rahonis Algebraic Informatics
Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75413-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort