Ergebnisse filtern
Fachgebiet
Medium
  • 1171
Erscheinungsjahr
  • 7
  • 55
  • 66
  • 76
  • 77
  • 63
  • 65
  • 68
  • 67
  • 84
  • 77
  • 71
  • 66
  • 71
  • 70
  • 69
  • 56
  • 63
Autoren
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 34
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 7
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 7
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 7
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 5
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 17
  • 6
  • 3
  • 3
  • 3
  • 1
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 4
  • 40
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 8
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 7
  • 2
  • 10
  • 2
  • 5
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 12
  • 4
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 28
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 4
  • 35
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 8
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 8
  • 13
  • 4
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 16
  • 4
  • 2
  • 3
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 3
  • 7
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 9
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 14
  • 14
  • 3
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 38
  • 4
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 10
  • 8
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 7
  • 6
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 8
  • 6
  • 3
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 478
  • 193
  • 455
  • 40
  • 5
Preis
  • 50
  • 923
  • 198
Sprachen
  • 1171
  • 1
Verfügbarkeit
  • 1168
  • 3
Katalog
  • 1171
  • 18

EDV | Informatik

1.171  Treffer  für „Theoretical Computer Science and General Issues“
    Baeten / de Boer / Ball | Theoretical Computer Science | Buch | Sack Fachmedien

    Baeten / de Boer / Ball Theoretical Computer Science

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

    Coppo / Pinna / Lodi Theoretical Computer Science

    9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29106-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
    Arumugam / Panda / Bagga | Theoretical Computer Science and Discrete Mathematics | Buch | Sack Fachmedien

    Arumugam / Panda / Bagga Theoretical Computer Science and Discrete Mathematics

    First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-64418-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ali Abam / S. Barbosa | Topics in Theoretical Computer Science | Buch | Sack Fachmedien

    Ali Abam / S. Barbosa Topics in Theoretical Computer Science

    Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-57851-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mousavi / Hajiaghayi | Topics in Theoretical Computer Science | Buch | Sack Fachmedien

    Mousavi / Hajiaghayi Topics in Theoretical Computer Science

    The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-28677-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garg / Arun-Kumar | FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

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

    26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-49994-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Okada / Satoh | Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues | Buch | Sack Fachmedien

    Okada / Satoh Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

    11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77504-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Podolskii / Fomin | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Podolskii / Fomin 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 International Publishing
    ISBN: 978-3-319-90529-7
    Medium: Buch
    106,99 € (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
    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 International Publishing
    ISBN: 978-3-319-58746-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diekert / Voronkov / Volkov | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Diekert / Voronkov / Volkov Computer Science - Theory and Applications

    Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74509-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirsch / Slissenko / Razborov | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Hirsch / Slissenko / Razborov Computer Science - Theory and Applications

    Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79708-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shur / Bulatov | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Shur / Bulatov Computer Science - Theory and Applications

    8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38535-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kucherov / van Bevern | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Kucherov / van Bevern Computer Science - Theory and Applications

    14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-19954-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Rutten / Harman | Algebra and Coalgebra in Computer Science | Buch | Sack Fachmedien

    Fiadeiro / Rutten / Harman Algebra and Coalgebra in Computer Science

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

    Mossakowski / Haveraaen / Montanari Algebra and Coalgebra in Computer Science

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

    Kurz / Lenisa Algebra and Coalgebra in Computer Science

    Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03740-5
    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
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76927-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Artemov | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Nerode / Artemov Logical Foundations of Computer Science

    International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27682-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Griffin / Kahl | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Griffin / Kahl Relational and Algebraic Methods in Computer Science

    13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33313-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berghammer / Möller / Jaoua | Relations and Kleene Algebra in Computer Science | Buch | Sack Fachmedien

    Berghammer / Möller / Jaoua Relations and Kleene Algebra in Computer Science

    11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04638-4
    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 Nature Switzerland
    ISBN: 978-3-030-00388-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Höfner / Struth / Pous | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Höfner / Struth / Pous Relational and Algebraic Methods in Computer Science

    16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57417-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Swart | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    de Swart Relational and Algebraic Methods in Computer Science

    12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21069-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rot / Petrisan / Petrisan | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    Rot / Petrisan / Petrisan Coalgebraic Methods in Computer Science

    15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-57200-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Artemov | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Nerode / Artemov Logical Foundations of Computer Science

    International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-92686-3
    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
    Calmet / Geiselmann / Müller-Quade | Mathematical Methods in Computer Science | Buch | Sack Fachmedien

    Calmet / Geiselmann / Müller-Quade Mathematical Methods in Computer Science

    Essays in Memory of Thomas Beth
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-89993-8
    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
    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
    Bieliková / Vojtás / Charon-Bost | SOFSEM 2005: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Bieliková / Vojtás / Charon-Bost SOFSEM 2005: Theory and Practice of Computer Science

    31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24302-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerná / Gyimóthy / Hromkovic | SOFSEM 2011: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Cerná / Gyimóthy / Hromkovic SOFSEM 2011: Theory and Practice of Computer Science

    37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18380-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Catania / Pighizzini / Královic | SOFSEM 2019: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Catania / Pighizzini / Královic 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 International Publishing
    ISBN: 978-3-030-10800-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Italiano / Margaria-Steffen / Wattenhofer | SOFSEM 2015: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Italiano / Margaria-Steffen / Wattenhofer SOFSEM 2015: Theory and Practice of Computer Science

    41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sn¿¿kou, Czech Republic, January 24-29, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46077-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Leeuwen / Muscholl / Rumpe | SOFSEM 2010: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    van Leeuwen / Muscholl / Rumpe 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
    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
    Italiano / Sannella / Pighizzini | Mathematical Foundations of Computer Science 2015 | Buch | Sack Fachmedien

    Italiano / Sannella / Pighizzini 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
    Brandstädt / Reischuk / Jansen | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Brandstädt / Reischuk / Jansen Graph-Theoretic Concepts in Computer Science

    39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-45042-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broersma / Paulusma / Erlebach | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Broersma / Paulusma / Erlebach Graph-Theoretic Concepts in Computer Science

    34th International Workshop, WG 2008, Durham, UK, June 30 -- July 2, 2008, Revised Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-92247-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thilikos / Sau | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Thilikos / Sau 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 International Publishing
    ISBN: 978-3-030-30785-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Urzyczyn / Královic | Mathematical Foundations of Computer Science 2006 | Buch | Sack Fachmedien

    Urzyczyn / Královic Mathematical Foundations of Computer Science 2006

    31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37791-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kratsch | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Kratsch Graph-Theoretic Concepts in Computer Science

    31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-31000-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sgall / Chatterjee | Mathematical Foundations of Computer Science 2013 | Buch | Sack Fachmedien

    Sgall / Chatterjee Mathematical Foundations of Computer Science 2013

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

    Tyszkiewicz / Ochmanski Mathematical Foundations of Computer Science 2008

    33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85237-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brandstädt / Kratsch / Müller | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Brandstädt / Kratsch / Müller Graph-Theoretic Concepts in Computer Science

    33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74838-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Fomin Graph-Theoretic Concepts in Computer Science

    32nd International Workshop, WG 2006, Bergen, Norway, June 22-23, 2006, Revised Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48381-6
    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
    Paul / Habib | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Paul / Habib Graph-Theoretic Concepts in Computer Science

    35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-11408-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Janssen / Mäntymäki / Hidders | Open and Big Data Management and Innovation | Buch | Sack Fachmedien

    Janssen / Mäntymäki / Hidders Open and Big Data Management and Innovation

    14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25012-0
    Medium: Buch
    53,49 € (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
    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
    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 International Publishing
    ISBN: 978-3-030-02130-6
    Medium: Buch
    53,49 € (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
    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
    Viola / Pardo | LATIN 2014: Theoretical Informatics | Buch | Sack Fachmedien

    Viola / Pardo LATIN 2014: Theoretical Informatics

    11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-642-54422-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miyazawa / Kohayakawa | LATIN 2020: Theoretical Informatics | Buch | Sack Fachmedien

    Miyazawa / Kohayakawa LATIN 2020: Theoretical Informatics

    14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-61791-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kranakis / Chávez / Navarro | LATIN 2016: Theoretical Informatics | Buch | Sack Fachmedien

    Kranakis / Chávez / Navarro LATIN 2016: Theoretical Informatics

    12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49528-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Du / Li | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Zhang / Du / Li Algorithmic Aspects in Information and Management

    14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-57601-1
    Medium: Buch
    53,49 € (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 / Faria / Bornstein | LATIN 2008: Theoretical Informatics | Buch | Sack Fachmedien

    Laber / Faria / Bornstein LATIN 2008: Theoretical Informatics

    8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78772-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yolum / Güngör / Gürgen | Computer and Information Sciences - ISCIS 2005 | Buch | Sack Fachmedien

    Yolum / Güngör / Gürgen Computer and Information Sciences - ISCIS 2005

    20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29414-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Lahiri | Computer Aided Verification | Buch | Sack Fachmedien

    Wang / Lahiri Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-53287-1
    Medium: Buch
    42,79 € (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
    Atig / Monsuez / Bensalem | Verification and Evaluation of Computer and Communication Systems | Buch | Sack Fachmedien

    Atig / Monsuez / Bensalem 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 Nature Switzerland
    ISBN: 978-3-030-00358-6
    Medium: Buch
    53,49 € (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
    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
    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
    Leino / Silva | Computer Aided Verification | Buch | Sack Fachmedien

    Leino / Silva Computer Aided Verification

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

    Veith / Sharygina Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuncak / Majumdar / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Kuncak / Majumdar / Kuncak Computer Aided Verification

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

    Farzan / Chaudhuri Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41539-0
    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. 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
    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
    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
    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
    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
    Woeginger / Steffen | Computing and Software Science | Buch | Sack Fachmedien

    Woeginger / Steffen Computing and Software Science

    State of the Art and Perspectives
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-91907-2
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blömer / Simos / Kotsireas | Mathematical Aspects of Computer and Information Sciences | Buch | Sack Fachmedien

    Blömer / Simos / Kotsireas Mathematical Aspects of Computer and Information Sciences

    7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-72452-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertels / Wong / Dimopoulos | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

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

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

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

    7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73622-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nehmeier / Tucker / Wolff von Gudenberg | Scientific Computing, Computer Arithmetic, and Validated Numerics | Buch | Sack Fachmedien

    Nehmeier / Tucker / Wolff von Gudenberg Scientific Computing, Computer Arithmetic, and Validated Numerics

    16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-31768-7
    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
    Berekovic / Wong / Dimopoulos | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Berekovic / Wong / Dimopoulos Embedded Computer Systems: Architectures, Modeling, and Simulation

    8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70549-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Hung | Theoretical Aspects of Computing - ICTAC 2005 | Buch | Sack Fachmedien

    Wirsing / Hung Theoretical Aspects of Computing - ICTAC 2005

    Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29107-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosbah / Hierons | Theoretical Aspects of Computing - ICTAC 2019 | Buch | Sack Fachmedien

    Mosbah / Hierons Theoretical Aspects of Computing - ICTAC 2019

    16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32504-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pun / Simao / Stolz | Theoretical Aspects of Computing - ICTAC 2020 | Buch | Sack Fachmedien

    Pun / Simao / Stolz Theoretical Aspects of Computing - ICTAC 2020

    17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64275-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cazenave / Wu / van den Herik | Advances in Computer Games | Buch | Sack Fachmedien

    Cazenave / Wu / van den Herik Advances in Computer Games

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

    Araki / Liu Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25304-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morgan / Leucker | Theoretical Aspects of Computing - ICTAC 2009 | Buch | Sack Fachmedien

    Morgan / Leucker Theoretical Aspects of Computing - ICTAC 2009

    6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03465-7
    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
    Barkaoui / Cerone / Cavalcanti | Theoretical Aspects of Computing - ICTAC 2006 | Buch | Sack Fachmedien

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

    Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48815-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leucker / Valencia / Rueda | Theoretical Aspects of Computing - ICTAC 2015 | Buch | Sack Fachmedien

    Leucker / Valencia / Rueda Theoretical Aspects of Computing - ICTAC 2015

    12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25149-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D´Souza / Roychoudhury | Theoretical Aspects of Computing - ICTAC 2012 | Buch | Sack Fachmedien

    D´Souza / Roychoudhury Theoretical Aspects of Computing - ICTAC 2012

    9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-32942-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marchetti-Spaccamela / Segal | Theory and Practice of Algorithms in (Computer) Systems | Buch | Sack Fachmedien

    Marchetti-Spaccamela / Segal Theory and Practice of Algorithms in (Computer) Systems

    First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19753-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Woodcock / Liu | Theoretical Aspects of Computing - ICTAC 2007 | Buch | Sack Fachmedien

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

    4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75290-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Zavattaro / Kloul | Formal Techniques for Computer Systems and Business Processes | Buch | Sack Fachmedien

    Bravetti / Zavattaro / Kloul Formal Techniques for Computer Systems and Business Processes

    European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28701-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