Ergebnisse filtern
Fachgebiet
Medium
  • 49
Erscheinungsjahr
  • 2
  • 2
  • 3
  • 3
  • 7
  • 11
  • 18
  • 3
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
Verlag
  • 16
  • 29
  • 2
  • 2
Preis
  • 29
  • 20
Sprachen
  • 49
Verfügbarkeit
  • 49
Katalog
  • 49
  • 5

Robotik

49  Treffer  für „Theoretical Computer Science and General Issues“
    Huang / Loog / Heutte | Advanced Intelligent Computing Theories and Applications - With Aspects of Theoretical and Methodological Issues | Buch | Sack Fachmedien

    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 Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74170-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Ball | Computer Aided Verification | Buch | Sack Fachmedien

    Jones / Ball Computer Aided Verification

    18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37406-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qadeer / Gopalakrishnan | Computer Aided Verification | Buch | Sack Fachmedien

    Qadeer / Gopalakrishnan Computer Aided Verification

    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-22109-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hooker / van Hoeve | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Buch | Sack Fachmedien

    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 Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-01928-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trick / Perron | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Buch | Sack Fachmedien

    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 Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68154-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith / Beck | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Buch | Sack Fachmedien

    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, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34306-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    King / Wang / Chan | Neural Information Processing 3 | Buch | Sack Fachmedien

    King / Wang / Chan Neural Information Processing 3

    13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III
    2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-46484-6
    Medium: Buch
    135,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    King / Wang / Chan | Neural Information Processing 1 | Buch | Sack Fachmedien

    King / Wang / Chan Neural Information Processing 1

    13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I
    Erscheinungsjahr 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-46479-2
    Medium: Buch
    128,35 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herik / Donkers / Ciancarini | Computers and Games | Buch | Sack Fachmedien

    Herik / Donkers / Ciancarini Computers and Games

    5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75537-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herik / Netanyahu / Björnsson | Computers and Games | Buch | Sack Fachmedien

    Herik / Netanyahu / Björnsson Computers and Games

    4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-32488-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beliczynski / Ribeiro / Dzielinski | Adaptive and Natural Computing Algorithms | Buch | Sack Fachmedien

    Beliczynski / Ribeiro / Dzielinski Adaptive and Natural Computing Algorithms

    8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71590-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Filliatre / Paulin-Mohring / Werner | Types for Proofs and Programs | Buch | Sack Fachmedien

    Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs

    International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31428-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader | Term Rewriting and Applications | Buch | Sack Fachmedien

    Baader Term Rewriting and Applications

    18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73447-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beliczynski / Ribeiro / Dzielinski | Adaptive and Natural Computing Algorithms | Buch | Sack Fachmedien

    Beliczynski / Ribeiro / Dzielinski Adaptive and Natural Computing Algorithms

    8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71589-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miculan / Honsell / Scagnetto | Types for Proofs and Programs | Buch | Sack Fachmedien

    Miculan / Honsell / Scagnetto Types for Proofs and Programs

    International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68084-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeng | Advances in Computation and Intelligence | Buch | Sack Fachmedien

    Zeng Advances in Computation and Intelligence

    Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74580-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kosowski / Yamashita | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Kosowski / Yamashita Structural Information and Communication Complexity

    18th International Colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 2011
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22211-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saunders / Shawe-Taylor / Grobelnik | Subspace, Latent Structure and Feature Selection | Buch | Sack Fachmedien

    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 Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34137-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanus | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Hanus Logic-Based Program Synthesis and Transformation

    18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-00514-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paul / Borrione | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Paul / Borrione Correct Hardware Design and Verification Methods

    13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29105-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomes / Biere | Theory and Applications of Satisfiability Testing - SAT 2006 | Buch | Sack Fachmedien

    Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006

    9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37206-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moore / Marchiori | Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics | Buch | Sack Fachmedien

    Moore / Marchiori Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

    6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78756-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guo / Zeng / Hou | Advances in Neural Networks- ISNN 2013 | Buch | Sack Fachmedien

    Guo / Zeng / Hou Advances in Neural Networks- ISNN 2013

    10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part II
    2013
    Verlag: Springer
    ISBN: 978-3-642-39067-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Hujun | Advances in Neural Networks - ISNN 2006 | Buch | Sack Fachmedien

    Wang / Yi / Hujun Advances in Neural Networks - ISNN 2006

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34437-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jiao / Wang / Gao | Advances in Natural Computation | Buch | Sack Fachmedien

    Jiao / Wang / Gao Advances in Natural Computation

    Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part I
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45901-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular