Fachgebiet
Medium
  • 1171
  • 1121
Erscheinungsjahr
  • 10
  • 108
  • 133
  • 142
  • 154
  • 116
  • 133
  • 136
  • 143
  • 159
  • 157
  • 135
  • 144
  • 125
  • 129
  • 105
  • 120
  • 142
  • 1
Autoren
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 9
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 15
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 72
  • 2
  • 3
  • 2
  • 2
  • 5
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 16
  • 4
  • 2
  • 2
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 6
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 5
  • 2
  • 4
  • 5
  • 3
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 8
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 13
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 2
  • 11
  • 3
  • 2
  • 12
  • 10
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 6
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 35
  • 12
  • 9
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 10
  • 2
  • 10
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 7
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 7
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 10
  • 7
  • 4
  • 3
  • 3
  • 4
  • 8
  • 5
  • 4
  • 3
  • 4
  • 16
  • 8
  • 3
  • 4
  • 4
  • 3
  • 10
  • 26
  • 3
  • 8
  • 3
  • 85
  • 5
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 5
  • 6
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 6
  • 9
  • 3
  • 3
  • 4
  • 6
  • 11
  • 3
  • 13
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 11
  • 3
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 11
  • 4
  • 3
  • 4
  • 8
  • 3
  • 8
  • 18
  • 6
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 4
  • 6
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 4
  • 16
  • 4
  • 4
  • 10
  • 4
  • 5
  • 5
  • 4
  • 8
  • 5
  • 3
  • 8
  • 14
  • 5
  • 3
  • 3
  • 6
  • 3
  • 9
  • 3
  • 4
  • 6
  • 13
  • 8
  • 4
  • 6
  • 5
  • 4
  • 4
  • 5
  • 11
  • 3
  • 5
  • 4
  • 7
  • 7
  • 4
  • 4
  • 3
  • 4
  • 7
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 8
  • 15
  • 3
  • 6
  • 9
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 6
  • 10
  • 5
  • 6
  • 3
  • 3
  • 8
  • 6
  • 6
  • 4
  • 3
  • 3
  • 5
  • 9
  • 5
  • 3
  • 3
  • 5
  • 5
  • 22
  • 6
  • 3
  • 6
  • 3
  • 18
  • 5
  • 4
  • 7
  • 7
  • 9
  • 3
  • 9
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 61
  • 4
  • 3
  • 4
  • 6
  • 3
  • 6
  • 4
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 73
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 7
  • 9
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 14
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 5
  • 8
  • 7
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 10
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 4
  • 13
  • 8
  • 3
  • 5
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 11
  • 4
  • 4
  • 7
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 12
  • 4
  • 5
  • 15
  • 28
  • 11
  • 3
  • 6
  • 3
  • 11
  • 9
  • 3
  • 4
  • 7
  • 3
  • 23
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 7
  • 3
  • 3
  • 15
  • 4
  • 9
  • 3
  • 3
  • 6
  • 3
  • 9
  • 5
  • 3
  • 3
  • 9
  • 5
  • 9
  • 5
  • 9
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 21
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 18
  • 7
  • 5
  • 3
  • 4
  • 12
  • 27
  • 24
  • 3
  • 3
  • 5
  • 4
  • 10
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 20
  • 3
  • 83
  • 4
  • 30
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 20
  • 19
  • 18
  • 3
  • 3
  • 3
  • 4
  • 10
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 10
  • 11
  • 8
  • 5
  • 3
  • 4
  • 5
  • 4
  • 4
  • 9
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 17
  • 7
  • 10
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 7
  • 6
  • 7
  • 3
  • 7
  • 3
  • 19
  • 4
  • 4
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 5
  • 3
  • 4
  • 7
  • 3
  • 12
  • 4
  • 8
  • 5
  • 6
  • 5
  • 6
  • 3
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 4
  • 3
Verlag
  • 1143
  • 172
  • 936
  • 34
  • 7
Preis
  • 101
  • 1956
  • 235
Sprachen
  • 2292
Verfügbarkeit
  • 2288
  • 4
Katalog
  • 2292
  • 20
2.292  Treffer  für „Theoretical Computer Science and General Issues“


    Schrijvers / Thiemann Functional and Logic Programming

    11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-29822-6
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lin Combinatorial Optimization and Applications

    6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31770-5
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Chatterjee / Cao / Kothapalli Distributed Computing and Networking

    15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-45249-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Aher / Hole / Jerábek Logic, Language, and Computation

    10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
    Erscheinungsjahr 2015
    Verlag: Springer
    ISBN: 978-3-662-46906-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Aceto / Damgaard / Goldberg Automata, Languages and Programming

    35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I
    2008
    Verlag: Springer
    ISBN: 978-3-540-70574-1
    Medium: Buch
    155,14 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb

    Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems

    13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71208-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zuck / Halbwachs Tools and Algorithms for the Construction and Analysis of Systems

    11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25333-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fellows / Tan / Zhu Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

    Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38756-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Das / Changat Algorithms and Discrete Applied Mathematics

    6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-39218-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Bodlaender / Marx / Downey The Multivariate Algorithmic Revolution and Beyond

    Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
    2012
    Verlag: Springer
    ISBN: 978-3-642-30890-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Domaratzki / Salomaa Implementation and Application of Automata

    15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-18098-9
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Bouchou-Markhoff / Caron / Champarnaud Implementation and Application of Automata

    16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22255-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lipshteyn / McConnell / Levit Graph Theory, Computational Intelligence and Thought

    Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
    2009
    Verlag: Springer
    ISBN: 978-3-642-02028-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wies / Finkbeiner Verification, Model Checking, and Abstract Interpretation

    23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-94582-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dick / Singh / Browne Simulated Evolution and Learning

    10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13562-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Panigrahi / Satapathy / Suganthan Swarm, Evolutionary, and Memetic Computing

    6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48958-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hospodár / Jirásková Implementation and Application of Automata

    24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23679-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Fomin / Freivalds / Kwiatkowska Automata, Languages, and Programming

    40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39212-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Gonthier / Norrish Certified Programs and Proofs

    Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-03545-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Esparza / Fraigniaud / Husfeldt Automata, Languages, and Programming

    41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43948-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Halldórsson / Iwama / Kobayashi Automata, Languages, and Programming

    42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
    Erscheinungsjahr 2015
    Verlag: Springer
    ISBN: 978-3-662-47672-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Dimov / Fidanova / Lirkov Numerical Methods and Applications

    8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15585-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hansen / Murray / Sadrzadeh Logic, Language, and Computation

    11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54332-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Baltag / Seligman / Yamada Logic, Rationality, and Interaction

    6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-55665-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



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