Ergebnisse filtern
Fachgebiet
Medium
  • 56
Erscheinungsjahr
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 7
  • 23
  • 10
  • 6
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
Verlag
  • 21
  • 29
  • 4
  • 2
Preis
  • 34
  • 22
Sprachen
  • 56
Verfügbarkeit
  • 56
Katalog
  • 56
  • 6

Robotik

56  Treffer  für „Theoretical Computer Science and General Issues“
    Henzinger / Duparc | Computer Science Logic | Buch | Sack Fachmedien

    Henzinger / Duparc Computer Science Logic

    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74914-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nalpantidis / Gasteratos / Krüger | Computer Vision Systems | Buch | Sack Fachmedien

    Nalpantidis / Gasteratos / Krüger Computer Vision Systems

    10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-20903-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Damm | Computer Aided Verification | Buch | Sack Fachmedien

    Hermanns / Damm Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73367-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rudová / Burke | Practice and Theory of Automated Timetabling VI | Buch | Sack Fachmedien

    Rudová / Burke Practice and Theory of Automated Timetabling VI

    6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77344-3
    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
    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
    Moreno Díaz / Pichler / Quesada Arencibia | Computer Aided Systems Theory - EUROCAST 2007 | Buch | Sack Fachmedien

    Moreno Díaz / Pichler / Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2007

    11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75866-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    King / Wang / Chan | Neural Information Processing 2 | Buch | Sack Fachmedien

    King / Wang / Chan Neural Information Processing 2

    13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part II
    Erscheinungsjahr 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-46481-5
    Medium: Buch
    131,56 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geraets / Kroon / Schoebel | Algorithmic Methods for Railway Optimization | Buch | Sack Fachmedien

    Geraets / Kroon / Schoebel Algorithmic Methods for Railway Optimization

    International Dagstuhl Workshop, Railway Optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74245-6
    Medium: Buch
    53,49 € (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
    Fong / Wang / Kwan | Hybrid Learning and Education | Buch | Sack Fachmedien

    Fong / Wang / Kwan Hybrid Learning and Education

    First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85169-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Li | Simulated Evolution and Learning | Buch | Sack Fachmedien

    Wang / Li Simulated Evolution and Learning

    6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47331-2
    Medium: Buch
    106,99 € (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
    Baeza-Yates / Ziviani | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Baeza-Yates / Ziviani String Processing and Information Retrieval

    14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75529-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Consens / Navarro | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Consens / Navarro String Processing and Information Retrieval

    12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29740-6
    Medium: Buch
    53,49 € (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
    Fei / Irwin / Ma | Bio-Inspired Computational Intelligence and Applications | Buch | Sack Fachmedien

    Fei / Irwin / Ma Bio-Inspired Computational Intelligence and Applications

    International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74768-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    King | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    King Logic-Based Program Synthesis and Transformation

    17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78768-6
    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
    Marchiori / Rajapakse / Moore | Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics | Buch | Sack Fachmedien

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

    5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71782-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marques-Silva / Sakallah | Theory and Applications of Satisfiability Testing - SAT 2007 | Buch | Sack Fachmedien

    Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007

    10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72787-3
    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
    Duch / Oja / Zadrozny | Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005 | Buch | Sack Fachmedien

    Duch / Oja / Zadrozny Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005

    15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28755-1
    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