Ergebnisse filtern
Fachgebiet
Medium
  • 79
Erscheinungsjahr
  • 1
  • 3
  • 1
  • 1
  • 2
  • 4
  • 6
  • 4
  • 3
  • 7
  • 7
  • 21
  • 15
  • 4
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
Verlag
  • 39
  • 29
  • 10
  • 1
Preis
  • 2
  • 51
  • 26
Sprachen
  • 79
Verfügbarkeit
  • 79
Katalog
  • 79
  • 5

Elektronik | Nachrichtentechnik

79  Treffer  für „Theoretical Computer Science and General Issues“
    Schmidt | Relations and Kleene Algebra in Computer Science | Buch | Sack Fachmedien

    Schmidt Relations and Kleene Algebra in Computer Science

    9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37873-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    MacCaull / Winter / Düntsch | Relational Methods in Computer Science | Buch | Sack Fachmedien

    MacCaull / Winter / Düntsch Relational Methods in Computer Science

    8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33339-5
    Medium: Buch
    53,49 € (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
    Seshia / Parthasarathy | Computer Aided Verification | Buch | Sack Fachmedien

    Seshia / Parthasarathy Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    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
    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. 1-3 Werktage
    Bereits im Warenkorb
    Falsafi / Vijaykumar | Power-Aware Computer Systems | Buch | Sack Fachmedien

    Falsafi / Vijaykumar Power-Aware Computer Systems

    4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29790-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herik / Donkers / Hsu | Advances in Computer Games | Buch | Sack Fachmedien

    Herik / Donkers / Hsu Advances in Computer Games

    11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48887-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolsey / Van Hentenryck | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Buch | Sack Fachmedien

    Wolsey / Van Hentenryck Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

    4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72396-7
    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
    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
    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
    Ayala / Yakovlev / Shang | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    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 Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36156-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Svensson / Azemard | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    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, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74441-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ayala / Garcia-Camara / Prieto | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    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, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24153-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Leuken / Sicard | Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation | Buch | Sack Fachmedien

    van Leuken / Sicard Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation

    20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-17751-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Sakai / Kano | Computational Geometry and Graphs | Buch | Sack Fachmedien

    Akiyama / Sakai / Kano Computational Geometry and Graphs

    Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-45280-2
    Medium: Buch
    58,84 € (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
    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
    Degano / Meseguer / de Nicola | Concurrency, Graphs and Models | Buch | Sack Fachmedien

    Degano / Meseguer / de Nicola Concurrency, Graphs and Models

    Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68676-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Altenkirch / McBride | Types for Proofs and Programs | Buch | Sack Fachmedien

    Altenkirch / McBride Types for Proofs and Programs

    International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74463-4
    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
    Voronkov | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Voronkov Rewriting Techniques and Applications

    19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70588-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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