Ergebnisse filtern
Fachgebiet
Medium
  • 1183
  • 1127
Erscheinungsjahr
  • 12
  • 111
  • 128
  • 122
  • 139
  • 130
  • 137
  • 147
  • 140
  • 143
  • 166
  • 131
  • 146
  • 119
  • 118
  • 150
  • 133
  • 137
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 5
  • 2
  • 2
  • 5
  • 3
  • 6
  • 3
  • 11
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 61
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 10
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 15
  • 2
  • 3
  • 2
  • 2
  • 17
  • 4
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 7
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 8
  • 4
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 2
  • 9
  • 4
  • 3
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 8
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 5
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 14
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 8
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 8
  • 2
  • 4
  • 39
  • 15
  • 9
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 26
  • 3
  • 3
  • 13
  • 2
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 8
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 7
  • 4
  • 6
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 5
  • 4
  • 4
  • 4
  • 2
  • 2
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 15
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 9
  • 3
  • 28
  • 2
  • 6
  • 2
  • 81
  • 6
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 7
  • 5
  • 5
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 7
  • 11
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 6
  • 4
  • 4
  • 4
  • 11
  • 10
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 4
  • 4
  • 3
  • 6
  • 5
  • 7
  • 14
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 6
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 20
  • 3
  • 3
  • 3
  • 11
  • 8
  • 3
  • 6
  • 4
  • 3
  • 6
  • 5
  • 4
  • 11
  • 17
  • 5
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 14
  • 12
  • 5
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 7
  • 3
  • 18
  • 3
  • 6
  • 11
  • 6
  • 6
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 11
  • 5
  • 8
  • 8
  • 6
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 24
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 20
  • 5
  • 10
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 50
  • 3
  • 3
  • 3
  • 9
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 9
  • 5
  • 15
  • 65
  • 4
  • 3
  • 3
  • 5
  • 4
  • 10
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 5
  • 3
  • 5
  • 6
  • 9
  • 10
  • 5
  • 4
  • 3
  • 6
  • 11
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 10
  • 4
  • 3
  • 7
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 12
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 13
  • 8
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 13
  • 5
  • 7
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 8
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 14
  • 20
  • 12
  • 5
  • 3
  • 4
  • 11
  • 7
  • 4
  • 5
  • 7
  • 3
  • 32
  • 3
  • 5
  • 3
  • 10
  • 3
  • 3
  • 5
  • 3
  • 3
  • 18
  • 6
  • 4
  • 3
  • 3
  • 6
  • 4
  • 7
  • 4
  • 3
  • 3
  • 11
  • 3
  • 5
  • 5
  • 11
  • 6
  • 4
  • 3
  • 3
  • 4
  • 11
  • 24
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 5
  • 25
  • 13
  • 7
  • 3
  • 3
  • 3
  • 10
  • 4
  • 19
  • 25
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 13
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 23
  • 4
  • 3
  • 76
  • 4
  • 22
  • 9
  • 5
  • 5
  • 7
  • 3
  • 6
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 15
  • 17
  • 16
  • 4
  • 3
  • 4
  • 9
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 7
  • 9
  • 4
  • 3
  • 3
  • 3
  • 5
  • 13
  • 11
  • 7
  • 6
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 14
  • 6
  • 5
  • 6
  • 3
  • 4
  • 18
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 9
  • 4
  • 5
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 16
  • 6
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 5
  • 5
  • 6
  • 5
  • 9
  • 3
  • 9
  • 6
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 3
  • 7
  • 5
  • 6
  • 3
  • 6
  • 3
  • 5
  • 4
Verlag
  • 1848
  • 450
  • 1
  • 1
  • 10
Preis
  • 101
  • 1941
  • 268
Sprachen
  • 2310
Verfügbarkeit
  • 2305
  • 5
Katalog
  • 2310
  • 20
2.310  Treffer  für „Theoretical Computer Science and General Issues“
    Gupta / Malik | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Gupta / Malik Computer Aided Verification

    20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-70545-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Etessami / Rajamani | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Etessami / Rajamani Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-31686-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    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
    Atig / Bensalem / Bliudze | Verification and Evaluation of Computer and Communication Systems | eBook | Sack Fachmedien
    E-Book

    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 International Publishing
    ISBN: 978-3-030-00359-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Crowley / Draper / Thonnat | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Crowley / Draper / Thonnat Computer Vision Systems

    8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-23968-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Blömer / Kotsireas / Kutsia | Mathematical Aspects of Computer and Information Sciences | Buch | Sack Fachmedien

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

    7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-72452-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barkaoui / Boucheneb / Mili | Verification and Evaluation of Computer and Communication Systems | eBook | Sack Fachmedien
    E-Book

    Barkaoui / Boucheneb / Mili 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-66176-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Parthasarathy / Seshia | Computer Aided Verification | Buch | Sack Fachmedien

    Parthasarathy / Seshia 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
    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
    2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tzovaras / Giakoumis / Vincze | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Tzovaras / Giakoumis / Vincze Computer Vision Systems

    12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-34995-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Majumdar / Kuncak / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Majumdar / Kuncak / 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
    2013
    Verlag: Springer
    ISBN: 978-3-642-39401-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Leibe / Neumann | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Chen / Leibe / Neumann Computer Vision Systems

    9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39402-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kroening / Pasareanu / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Kroening / Pasareanu / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (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
    Vincze / Patten / Christensen | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Vincze / Patten / Christensen Computer Vision Systems

    13th International Conference, ICVS 2021, Virtual Event, September 22-24, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87156-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Liu / Chen / Vincze | Computer Vision Systems | eBook | Sack Fachmedien
    E-Book

    Liu / Chen / Vincze 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-68345-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Crowley / Draper / Thonnat | Computer Vision Systems | Buch | Sack Fachmedien

    Crowley / Draper / Thonnat Computer Vision Systems

    8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-23967-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tzovaras / Giakoumis / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Tzovaras / Giakoumis / Vincze Computer Vision Systems

    12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34994-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudhuri / Farzan | Computer Aided Verification | eBook | Sack Fachmedien
    E-Book

    Chaudhuri / Farzan Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41528-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Blömer / Kotsireas / Kutsia | Mathematical Aspects of Computer and Information Sciences | eBook | Sack Fachmedien
    E-Book

    Blömer / Kotsireas / Kutsia 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-72453-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    2010
    Verlag: Springer
    ISBN: 978-3-642-14294-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciardo / Darondeau | Applications and Theory of Petri Nets 2005 | Buch | Sack Fachmedien

    Ciardo / Darondeau Applications and Theory of Petri Nets 2005

    26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-26301-2
    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
    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
    2005
    Verlag: Springer
    ISBN: 978-3-540-29107-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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