Ergebnisse filtern
-
- 56
-
- 20
- 33
- 1
- 2
-
- 1
- 36
- 19
-
- 56
-
- 56
-
- 56
- 5
Elektronik
-
Huang / Loog / Heutte 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 Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74170-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jones / Ball Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37406-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Qadeer / Gopalakrishnan Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings2011Verlag: SpringerISBN: 978-3-642-22109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Trick / Perron Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68154-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hooker / van Hoeve Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-01928-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Smith / Beck Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34306-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
King / Wang / Chan Neural Information Processing 3
13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-46484-6Medium: Buch135,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
King / Wang / Chan Neural Information Processing 1
13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part IErscheinungsjahr 2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-46479-2Medium: Buch128,35 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Herik / Donkers / Ciancarini Computers and Games
5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75537-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Herik / Netanyahu / Björnsson Computers and Games
4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-32488-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ayala / Yakovlev / Shang Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-36156-2Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Svensson / Azemard Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74441-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Monteiro / Svensson Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers2009Verlag: Springer Berlin HeidelbergISBN: 978-3-540-95947-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beliczynski / Ribeiro / Dzielinski Adaptive and Natural Computing Algorithms
8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71590-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baader Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73447-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31428-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beliczynski / Ribeiro / Dzielinski Adaptive and Natural Computing Algorithms
8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71589-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Miculan / Honsell / Scagnetto Types for Proofs and Programs
International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68084-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kosowski / Yamashita Structural Information and Communication Complexity
18th International Colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 20111. Auflage 2011Verlag: SpringerISBN: 978-3-642-22211-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zeng Advances in Computation and Intelligence
Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74580-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Becker / Morgan / Woods Reconfigurable Computing: Architectures, Tools and Applications
5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-00640-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Saunders / Shawe-Taylor / Grobelnik Subspace, Latent Structure and Feature Selection
Statistical and Optimization Perspectives Workshop, SLSFS 2005 Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34137-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rahaman / Chattopadhyay Progress in VLSI Design and Test
16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-31493-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kuncak / Rybalchenko Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-27939-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 Papers2009Verlag: SpringerISBN: 978-3-642-00514-5Medium: 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
