Ergebnisse filtern
Elektronik
-
Grumbach / Sui / Vianu Advances in Computer Science - ASIAN 2005. Data Management on the Web
10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30767-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Duparc / Henzinger Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74914-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gopalakrishnan / Qadeer Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Parthasarathy / Seshia Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
van Hoeve / Hooker 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 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01928-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beck / Smith 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, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34306-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2005
10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29002-5Medium: Buch106,99 € (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 / Ciancarini / Donkers Computers and Games
5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75537-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ayala / Garcia-Camara / Prieto Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24153-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Azemard / Svensson Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74441-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Svensson / Monteiro 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 PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-540-95947-2Medium: 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
-
Wang / Li Simulated Evolution and Learning
6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-47331-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jouannaud / Shao Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25378-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Akiyama / Kano / Sakai Computational Geometry and Graphs
Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected papersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45280-2Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beliczynski / Dzielinski / Iwanowski Adaptive and Natural Computing Algorithms
8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71589-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Consens / Navarro String Processing and Information Retrieval
12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29740-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dorigo / Gambardella / Birattari Ant Colony Optimization and Swarm Intelligence
5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-38482-3Medium: Buch106,99 € (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
-
Puebla Logic-Based Program Synthesis and Transformation
16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71409-5Medium: 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, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31493-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Becker / Woods / Athanas 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
-
Murray-Smith / Shorten Switching and Learning in Feedback Systems
European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24457-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cimatti / Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31611-1Medium: 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
