Ergebnisse filtern
-
- 212
-
- 210
- 1
- 1
-
- 6
- 178
- 28
-
- 212
-
- 212
-
- 212
- 3
-
Qiu Algorithms and Architectures for Parallel Processing
20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60244-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Khachay / Kochetov / Pardalos Mathematical Optimization Theory and Operations Research
18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-22628-2Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rykov / Singpurwalla / Zubkov Analytical and Computational Methods in Probability Theory
First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-71503-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cassez / Jard Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85777-8Medium: Buch53,49 € (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
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31499-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bonato / Mitzenmacher / Pralat Algorithms and Models for the Web Graph
10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03535-2Medium: Buch53,49 € (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
-
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
-
Bras-Amorós / Høholdt Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
18th International Symposium, AAECC-18, Tarragona, Sapin, June 8-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02180-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Creignou / Le Berre Theory and Applications of Satisfiability Testing - SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40969-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Heule / Weaver Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24317-7Medium: Buch68,48 € (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
-
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 Werktage
-
Rousseau / Stergiou Integration of Constraint Programming, Artificial Intelligence, and Operations Research
16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19211-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Kleijn / Yakovlev Petri Nets and Other Models of Concurrency - ICATPN 2007
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73093-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage
-
Coecke / Ong / Panangaden Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38163-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gomes / Sellmann Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38170-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ganesalingam The Language of Mathematics
A Linguistic and Philosophical Investigation1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37011-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ferreira / Mendes / Menghi Formal Methods Teaching
4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-91549-0Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Keller / Kramer / Weiss Facing the Multicore-Challenge
Aspects of New Paradigms and Technologies in Parallel Computing1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16232-9Medium: 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
