Ergebnisse filtern
Fachgebiet
Medium
  • 1168
Erscheinungsjahr
  • 6
  • 57
  • 71
  • 73
  • 76
  • 64
  • 63
  • 71
  • 67
  • 88
  • 75
  • 62
  • 70
  • 63
  • 52
  • 73
  • 69
  • 68
Autoren
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 6
  • 3
  • 1
  • 1
  • 5
  • 1
  • 2
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 2
  • 2
  • 2
  • 3
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 15
  • 11
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 1
  • 2
  • 10
  • 2
  • 2
  • 6
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 5
  • 10
  • 2
  • 35
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 14
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 7
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 9
  • 3
  • 6
  • 4
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 7
  • 4
  • 3
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 10
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 26
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 31
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 3
  • 3
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 10
  • 8
  • 7
  • 3
  • 3
  • 2
  • 5
  • 3
  • 3
  • 4
  • 3
  • 16
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 11
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 9
  • 12
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 9
  • 11
  • 2
  • 2
  • 4
  • 2
  • 7
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 34
  • 2
  • 12
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 9
  • 10
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 7
  • 2
  • 5
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
Verlag
  • 1155
  • 1
  • 12
Preis
  • 54
  • 913
  • 201
Sprachen
  • 1168
Verfügbarkeit
  • 1168
Katalog
  • 1168
  • 19

EDV | Informatik

1.168  Treffer  für „Theoretical Computer Science and General Issues“
    Diaz / Lanese / Sangiorgi | Theoretical Computer Science | Buch | Sack Fachmedien

    Diaz / Lanese / Sangiorgi Theoretical Computer Science

    8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44601-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Ball / de Boer | Theoretical Computer Science | Buch | Sack Fachmedien

    Baeten / Ball / de Boer Theoretical Computer Science

    7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33474-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goldreich / Rosenberg / Selman | Theoretical Computer Science | Buch | Sack Fachmedien

    Goldreich / Rosenberg / Selman Theoretical Computer Science

    Essays in Memory of Shimon Even
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32880-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumbach / Sui / Vianu | Advances in Computer Science - ASIAN 2005. Data Management on the Web | Buch | Sack Fachmedien

    Grumbach / Sui / Vianu Advances in Computer Science - ASIAN 2005. Data Management on the Web

    10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30767-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramanujam / Sen | FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Ramanujam / Sen FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

    25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30495-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arvind / Prasad | FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Arvind / Prasad FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

    27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77049-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arun-Kumar / Garg | FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Arun-Kumar / Garg FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science

    26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49994-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grädel / Kahle | Computer Science Logic | Buch | Sack Fachmedien

    Grädel / Kahle Computer Science Logic

    23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04026-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weil | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Weil Computer Science - Theory and Applications

    12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-58746-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kulikov / Vereshchagin | Computer Science – Theory and Applications | Buch | Sack Fachmedien

    Kulikov / Vereshchagin Computer Science – Theory and Applications

    6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20711-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duparc / Henzinger | Computer Science Logic | Buch | Sack Fachmedien

    Duparc / Henzinger Computer Science Logic

    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74914-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Podolskii | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Fomin / Podolskii Computer Science - Theory and Applications

    13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90529-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ablaev / Mayr | Computer Science -- Theory and Applications | Buch | Sack Fachmedien

    Ablaev / Mayr Computer Science -- Theory and Applications

    5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13181-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernau | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Fernau Computer Science - Theory and Applications

    15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-50025-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grigoriev / Harrison / Hirsch | Computer Science -- Theory and Applications | Buch | Sack Fachmedien

    Grigoriev / Harrison / Hirsch Computer Science -- Theory and Applications

    First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34166-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Harman / Roggenbach | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    Fiadeiro / Harman / Roggenbach Algebra and Coalgebra in Computer Science

    First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28620-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mossakowski / Montanari / Haveraaen | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    Mossakowski / Montanari / Haveraaen Algebra and Coalgebra in Computer Science

    Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73857-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heckel / Milius | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    Heckel / Milius Algebra and Coalgebra in Computer Science

    5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40205-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cervesato | Advances in Computer Science - ASIAN 2007. Computer and Network Security | Buch | Sack Fachmedien

    Cervesato Advances in Computer Science - ASIAN 2007. Computer and Network Security

    12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76927-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37873-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Höfner / Jipsen / Kahl | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Höfner / Jipsen / Kahl Relational and Algebraic Methods in Computer Science

    14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06250-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahl / Winter / Oliveira | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Kahl / Winter / Oliveira Relational and Algebraic Methods in Computer Science

    15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24703-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artemov / Nerode | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Artemov / Nerode Logical Foundations of Computer Science

    International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-27682-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artemov / Nerode | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Artemov / Nerode Logical Foundations of Computer Science

    International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-36754-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cîrstea | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    Cîrstea Coalgebraic Methods in Computer Science

    14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00388-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artemov / Nerode | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Artemov / Nerode Logical Foundations of Computer Science

    International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-72055-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonsangue | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    Bonsangue Coalgebraic Methods in Computer Science

    12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44123-7
    Medium: Buch
    51,36 € (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
    Catania / Královic / Nawrocki | SOFSEM 2019: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Catania / Královic / Nawrocki SOFSEM 2019: Theory and Practice of Computer Science

    45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-10800-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tjoa / Bellatreche / Biffl | SOFSEM 2018: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Tjoa / Bellatreche / Biffl SOFSEM 2018: Theory and Practice of Computer Science

    44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73116-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Leeuwen / Muscholl / Peleg | SOFSEM 2010: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    van Leeuwen / Muscholl / Peleg SOFSEM 2010: Theory and Practice of Computer Science

    36th Conference on Current Trends in Theory and Practice of Computer Science, ¿pindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11265-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Baier / van den Brand | SOFSEM 2017: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Steffen / Baier / van den Brand SOFSEM 2017: Theory and Practice of Computer Science

    43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-51962-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chatzigeorgiou / Dondi / Herodotou | SOFSEM 2020: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Chatzigeorgiou / Dondi / Herodotou SOFSEM 2020: Theory and Practice of Computer Science

    46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-38918-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freivalds / Engels / Catania | SOFSEM 2016: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Freivalds / Engels / Catania SOFSEM 2016: Theory and Practice of Computer Science

    42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49191-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Datta | Advances in Computer Science, Information Security and Privacy | Buch | Sack Fachmedien

    Datta Advances in Computer Science, Information Security and Privacy

    13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10621-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Emde Boas / Groen / Italiano | SOFSEM 2013: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    van Emde Boas / Groen / Italiano 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
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35842-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Csuhaj-Varjú / Dietzfelbinger / Ésik | Mathematical Foundations of Computer Science 2014 | Buch | Sack Fachmedien

    Csuhaj-Varjú / Dietzfelbinger / Ésik Mathematical Foundations of Computer Science 2014

    39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44464-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thilikos | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Thilikos Graph-Theoretic Concepts in Computer Science

    36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010, Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16925-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brandstädt / Köhler / Meer | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Brandstädt / Köhler / Meer Graph-Theoretic Concepts in Computer Science

    44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00255-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sau / Thilikos | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Sau / Thilikos Graph-Theoretic Concepts in Computer Science

    45th International Workshop, WG 2019, Vall de Núria, Spain, June 19-21, 2019, Revised Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30785-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jedrzejowicz / Szepietowski | Mathematical Foundations of Computer Science 2005 | Buch | Sack Fachmedien

    Jedrzejowicz / Szepietowski Mathematical Foundations of Computer Science 2005

    30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28702-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bodlaender / Woeginger | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Bodlaender / Woeginger Graph-Theoretic Concepts in Computer Science

    43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68704-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Královic / Urzyczyn | Mathematical Foundations of Computer Science 2006 | Buch | Sack Fachmedien

    Královic / Urzyczyn Mathematical Foundations of Computer Science 2006

    31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37791-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Italiano / Pighizzini / Sannella | Mathematical Foundations of Computer Science 2015 | Buch | Sack Fachmedien

    Italiano / Pighizzini / Sannella Mathematical Foundations of Computer Science 2015

    40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48056-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hlineny / Kucera | Mathematical Foundations of Computer Science 2010 | Buch | Sack Fachmedien

    Hlineny / Kucera Mathematical Foundations of Computer Science 2010

    35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15154-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heggernes | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Heggernes Graph-Theoretic Concepts in Computer Science

    42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53535-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Golumbic / Stern / Levy | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Golumbic / Stern / Levy Graph-Theoretic Concepts in Computer Science

    38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34610-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adler / Müller | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Adler / Müller Graph-Theoretic Concepts in Computer Science

    46th International Workshop, WG 2020, Leeds, UK, June 24-26, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60439-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Italiano / Pighizzini / Sannella | Mathematical Foundations of Computer Science 2015 | Buch | Sack Fachmedien

    Italiano / Pighizzini / Sannella Mathematical Foundations of Computer Science 2015

    40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48053-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chatterjee / Sgall | Mathematical Foundations of Computer Science 2013 | Buch | Sack Fachmedien

    Chatterjee / Sgall Mathematical Foundations of Computer Science 2013

    38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40312-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rovan / Sassone / Widmayer | Mathematical Foundations of Computer Science 2012 | Buch | Sack Fachmedien

    Rovan / Sassone / Widmayer Mathematical Foundations of Computer Science 2012

    37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32588-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Sharhan / Simintiras / Dwivedi | Challenges and Opportunities in the Digital Era | Buch | Sack Fachmedien

    Al-Sharhan / Simintiras / Dwivedi Challenges and Opportunities in the Digital Era

    17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 - November 1, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02130-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atallah / Li / Zhu | Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Atallah / Li / Zhu Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

    Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21203-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saberi | Internet and Network Economics | Buch | Sack Fachmedien

    Saberi Internet and Network Economics

    6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-17571-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pozdniakov / Dagiene | Informatics in Schools. Fundamentals of Computer Science and Software Engineering | Buch | Sack Fachmedien

    Pozdniakov / Dagiene Informatics in Schools. Fundamentals of Computer Science and Software Engineering

    11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02749-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tang / Du / Woodruff | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Tang / Du / Woodruff Algorithmic Aspects in Information and Management

    12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04617-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burke / Trick | Practice and Theory of Automated Timetabling V | Buch | Sack Fachmedien

    Burke / Trick Practice and Theory of Automated Timetabling V

    5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30705-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burke / Rudová | Practice and Theory of Automated Timetabling VI | Buch | Sack Fachmedien

    Burke / Rudová Practice and Theory of Automated Timetabling VI

    6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77344-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernández-Baca | LATIN 2012: Theoretical Informatics | Buch | Sack Fachmedien

    Fernández-Baca LATIN 2012: Theoretical Informatics

    10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29343-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Correa / Hevia / Kiwi | LATIN 2006: Theoretical Informatics | Buch | Sack Fachmedien

    Correa / Hevia / Kiwi LATIN 2006: Theoretical Informatics

    7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32755-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavalcanti / Deharbe / Gaudel | Theoretical Aspects of Computing | Buch | Sack Fachmedien

    Cavalcanti / Deharbe / Gaudel Theoretical Aspects of Computing

    7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14807-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laber / Bornstein / Nogueira | LATIN 2008: Theoretical Informatics | Buch | Sack Fachmedien

    Laber / Bornstein / Nogueira LATIN 2008: Theoretical Informatics

    8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78772-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohayakawa / Miyazawa | LATIN 2020: Theoretical Informatics | Buch | Sack Fachmedien

    Kohayakawa / Miyazawa LATIN 2020: Theoretical Informatics

    14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-61791-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beldiceanu / Jussien / Pinson | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Buch | Sack Fachmedien

    Beldiceanu / Jussien / Pinson Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

    9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29827-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ben Hedia / Chen / Liu | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

    Ben Hedia / Chen / Liu Verification and Evaluation of Computer and Communication Systems

    14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-65954-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atig / Bensalem / Bliudze | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

    Atig / Bensalem / Bliudze Verification and Evaluation of Computer and Communication Systems

    12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00358-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillig / Tasiran | Computer Aided Verification | Buch | Sack Fachmedien

    Dillig / Tasiran Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25539-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Wang | Computer Aided Verification | Buch | Sack Fachmedien

    Lahiri / Wang Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53287-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ball / Jones | Computer Aided Verification | Buch | Sack Fachmedien

    Ball / Jones Computer Aided Verification

    18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37406-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganty / Kaâniche | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

    Ganty / Kaâniche Verification and Evaluation of Computer and Communication Systems

    13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-35091-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kotsireas / Rump / Yap | Mathematical Aspects of Computer and Information Sciences | Buch | Sack Fachmedien

    Kotsireas / Rump / Yap Mathematical Aspects of Computer and Information Sciences

    6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-32858-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21689-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharygina / Veith | Computer Aided Verification | Buch | Sack Fachmedien

    Sharygina / Veith Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nalpantidis / Krüger / Eklundh | Computer Vision Systems | Buch | Sack Fachmedien

    Nalpantidis / Krüger / Eklundh Computer Vision Systems

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

    Silva / Leino Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-81687-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillig / Tasiran | Computer Aided Verification | Buch | Sack Fachmedien

    Dillig / Tasiran Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25542-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Bloem | Computer Aided Verification | Buch | Sack Fachmedien

    Biere / Bloem Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chockler / Weissenbacher | Computer Aided Verification | Buch | Sack Fachmedien

    Chockler / Weissenbacher Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96144-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouajjani / Maler | Computer Aided Verification | Buch | Sack Fachmedien

    Bouajjani / Maler Computer Aided Verification

    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02657-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Majumdar / Kuncak Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63386-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Leibe / Neumann | Computer Vision Systems | Buch | Sack Fachmedien

    Chen / Leibe / Neumann Computer Vision Systems

    9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39401-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritz / Schiele / Piater | Computer Vision Systems | Buch | Sack Fachmedien

    Fritz / Schiele / Piater Computer Vision Systems

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

    Gasteratos / Vincze / Tsotsos Computer Vision Systems

    6th International Conference on Computer Vision Systems, ICVS 2008 Santorini, Greece, May 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79546-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Etessami / Rajamani | Computer Aided Verification | Buch | Sack Fachmedien

    Etessami / Rajamani Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27231-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Touili / Cook / Jackson | Computer Aided Verification | Buch | Sack Fachmedien

    Touili / Cook / Jackson Computer Aided Verification

    22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14294-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pnevmatikatos / Pelcat / Jung | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Pnevmatikatos / Pelcat / Jung Embedded Computer Systems: Architectures, Modeling, and Simulation

    19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-27561-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vassiliadis / Berekovic / Hämäläinen | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Vassiliadis / Berekovic / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation

    7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73622-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertels / Dimopoulos / Silvano | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Bertels / Dimopoulos / Silvano Embedded Computer Systems: Architectures, Modeling, and Simulation

    9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03137-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vassiliadis / Wong / Hämäläinen | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Vassiliadis / Wong / Hämäläinen Embedded Computer Systems: Architectures, Modeling, and Simulation

    6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36410-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hämäläinen / Pimentel / Takala | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Hämäläinen / Pimentel / Takala Embedded Computer Systems: Architectures, Modeling, and Simulation

    5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26969-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hung / Wirsing | Theoretical Aspects of Computing - ICTAC 2005 | Buch | Sack Fachmedien

    Hung / Wirsing Theoretical Aspects of Computing - ICTAC 2005

    Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29107-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cazenave / van den Herik / Saffidine | Advances in Computer Games | Buch | Sack Fachmedien

    Cazenave / van den Herik / Saffidine Advances in Computer Games

    16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-65882-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciobanu / Méry | Theoretical Aspects of Computing - ICTAC 2014 | Buch | Sack Fachmedien

    Ciobanu / Méry Theoretical Aspects of Computing - ICTAC 2014

    11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10881-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Haxthausen / Yenigun | Theoretical Aspects of Computing - ICTAC 2008 | Buch | Sack Fachmedien

    Fitzgerald / Haxthausen / Yenigun Theoretical Aspects of Computing - ICTAC 2008

    5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85761-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herik / Hsu / Donkers | Advances in Computer Games | Buch | Sack Fachmedien

    Herik / Hsu / Donkers Advances in Computer Games

    11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48887-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hung / Kapur | Theoretical Aspects of Computing - ICTAC 2017 | Buch | Sack Fachmedien

    Hung / Kapur Theoretical Aspects of Computing - ICTAC 2017

    14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67728-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Woodcock / Zhu | Theoretical Aspects of Computing -- ICTAC 2013 | Buch | Sack Fachmedien

    Liu / Woodcock / Zhu Theoretical Aspects of Computing -- ICTAC 2013

    10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39717-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkaoui / Cavalcanti / Cerone | Theoretical Aspects of Computing - ICTAC 2006 | Buch | Sack Fachmedien

    Barkaoui / Cavalcanti / Cerone Theoretical Aspects of Computing - ICTAC 2006

    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48815-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plaat / van den Herik / Kosters | Advances in Computer Games | Buch | Sack Fachmedien

    Plaat / van den Herik / Kosters Advances in Computer Games

    14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27991-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Liu / Woodcock | Theoretical Aspects of Computing - ICTAC 2007 | Buch | Sack Fachmedien

    Jones / Liu / Woodcock Theoretical Aspects of Computing - ICTAC 2007

    4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75290-5
    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