Ergebnisse filtern
Fachgebiet
Medium
  • 318
Erscheinungsjahr
  • 8
  • 8
  • 15
  • 24
  • 17
  • 15
  • 15
  • 18
  • 25
  • 31
  • 25
  • 29
  • 21
  • 13
  • 20
  • 14
  • 20
Autoren
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 3
  • 1
  • 2
  • 5
  • 1
  • 2
  • 4
  • 3
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 13
  • 1
  • 4
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 4
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 7
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 8
  • 4
  • 2
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 8
  • 1
  • 2
  • 4
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 152
  • 51
  • 103
  • 12
Preis
  • 15
  • 235
  • 68
Sprachen
  • 318
Verfügbarkeit
  • 317
  • 1
Katalog
  • 318
  • 6

Künstliche Intelligenz

318  Treffer  für „Theoretical Computer Science and General Issues“
    Dawar / Veith | Computer Science Logic | Buch | Sack Fachmedien

    Dawar / Veith Computer Science Logic

    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15204-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuich / Rahonis | Algebraic Foundations in Computer Science | Buch | Sack Fachmedien

    Kuich / Rahonis Algebraic Foundations in Computer Science

    Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24896-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hasuo | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    Hasuo Coalgebraic Methods in Computer Science

    13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40369-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Emde Boas / Groen / Sack | SOFSEM 2013: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    van Emde Boas / Groen / Sack SOFSEM 2013: Theory and Practice of Computer Science

    39th International Conference on Current Trends in Theory and Practice of Computer Science, ¿pindler¿v Mlýn, Czech Republic, January 26-31, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-35842-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rovan / Widmayer / Sassone | Mathematical Foundations of Computer Science 2012 | Buch | Sack Fachmedien

    Rovan / Widmayer / Sassone Mathematical Foundations of Computer Science 2012

    37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-32588-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    López-Ortiz | LATIN 2010: Theoretical Informatics | Buch | Sack Fachmedien

    López-Ortiz LATIN 2010: Theoretical Informatics

    9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-12199-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snoeyink / Lu / Su | Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Snoeyink / Lu / Su Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

    Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29699-4
    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
    Maler / Bouajjani | Computer Aided Verification | Buch | Sack Fachmedien

    Maler / Bouajjani Computer Aided Verification

    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02657-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkaoui / Tahar / Boucheneb | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

    Barkaoui / Tahar / Boucheneb Verification and Evaluation of Computer and Communication Systems

    11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66175-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritz / Piater / Schiele | Computer Vision Systems | Buch | Sack Fachmedien

    Fritz / Piater / Schiele Computer Vision Systems

    7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04666-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajamani / Etessami | Computer Aided Verification | Buch | Sack Fachmedien

    Rajamani / Etessami Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-27231-1
    Medium: Buch
    106,99 € (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
    Liu / Vincze / Chen | Computer Vision Systems | Buch | Sack Fachmedien

    Liu / Vincze / Chen Computer Vision Systems

    11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68344-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trick / Burke | Practice and Theory of Automated Timetabling V | Buch | Sack Fachmedien

    Trick / Burke Practice and Theory of Automated Timetabling V

    5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30705-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Sommer / Olver | Computer Algebra and Geometric Algebra with Applications | Buch | Sack Fachmedien

    Li / Sommer / Olver Computer Algebra and Geometric Algebra with Applications

    6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26296-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
    Plaat / van den Herik | Advances in Computer Games | Buch | Sack Fachmedien

    Plaat / van den Herik Advances in Computer Games

    13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-31865-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Quesada Arencibia / Pichler | Computer Aided Systems Theory - EUROCAST 2005 | Buch | Sack Fachmedien

    Moreno-Díaz / Quesada Arencibia / Pichler 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 Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29002-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murgante / Misra / Carlini | Computational Science and Its Applications -- ICCSA 2013 | Buch | Sack Fachmedien

    Murgante / Misra / Carlini Computational Science and Its Applications -- ICCSA 2013

    13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
    2013
    Verlag: Springer
    ISBN: 978-3-642-39645-8
    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
    Murgante / Misra / Carlini | Computational Science and Its Applications -- ICCSA 2013 | Buch | Sack Fachmedien

    Murgante / Misra / Carlini Computational Science and Its Applications -- ICCSA 2013

    13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part II
    2013
    Verlag: Springer
    ISBN: 978-3-642-39642-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno Díaz / Pichler / Quesada Arencibia | Computer Aided Systems Theory -- EUROCAST 2011 | Buch | Sack Fachmedien

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

    13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27548-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno Díaz / Quesada Arencibia / Pichler | Computer Aided Systems Theory -- EUROCAST 2011 | Buch | Sack Fachmedien

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

    13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II
    2012
    Verlag: Springer
    ISBN: 978-3-642-27578-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Quesada-Arencibia / Pichler | Computer Aided Systems Theory -- EUROCAST 2013 | Buch | Sack Fachmedien

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

    14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part I
    2013
    Verlag: Springer
    ISBN: 978-3-642-53855-1
    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