Ergebnisse filtern
Fachgebiet
Medium
  • 1130
  • 326
Erscheinungsjahr
  • 9
  • 91
  • 82
  • 91
  • 103
  • 84
  • 95
  • 79
  • 101
  • 98
  • 108
  • 110
  • 99
  • 64
  • 61
  • 57
  • 59
  • 65
Autoren
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 4
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 55
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 13
  • 3
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 4
  • 5
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 8
  • 3
  • 2
  • 2
  • 5
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 3
  • 2
  • 9
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 25
  • 13
  • 5
  • 2
  • 4
  • 3
  • 2
  • 6
  • 5
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 13
  • 2
  • 7
  • 4
  • 62
  • 4
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 5
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 11
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 15
  • 2
  • 4
  • 6
  • 5
  • 5
  • 2
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 8
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 12
  • 2
  • 3
  • 5
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 7
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 4
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 12
  • 2
  • 2
  • 2
  • 3
  • 2
  • 15
  • 2
  • 2
  • 7
  • 4
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 47
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 3
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 56
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 8
  • 4
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 16
  • 18
  • 8
  • 3
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 5
  • 3
  • 5
  • 2
  • 3
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 11
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 14
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 19
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 4
  • 21
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 60
  • 2
  • 23
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 16
  • 16
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 9
  • 12
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 4
  • 7
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 6
  • 6
  • 4
  • 5
  • 2
  • 13
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 6
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
Verlag
  • 1259
  • 187
  • 1
  • 9
Preis
  • 73
  • 1188
  • 195
Sprachen
  • 1456
Verfügbarkeit
  • 1456
Katalog
  • 1456
  • 23
1.456  Treffer  für „Theoretical Computer Science and General Issues“
    Cai / Hu / Kang | Advances in Computation and Intelligence | Buch | Sack Fachmedien

    Cai / Hu / Kang Advances in Computation and Intelligence

    5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16492-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Shimada | Geometric Modeling and Processing - GMP 2006 | Buch | Sack Fachmedien

    Kim / Shimada Geometric Modeling and Processing - GMP 2006

    4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36711-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pandurangan / Kumar / Ming | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Pandurangan / Kumar / Ming Wireless Algorithms, Systems, and Applications

    5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14653-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimov / Faragó / Vulkov | Numerical Analysis and Its Applications | eBook | Sack Fachmedien
    E-Book

    Dimov / Faragó / Vulkov Numerical Analysis and Its Applications

    5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41515-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Johnsen / Schaefer | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Johnsen / Schaefer Software Engineering and Formal Methods

    16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moss / de Queiroz / Martinez | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Moss / de Queiroz / Martinez Logic, Language, Information, and Computation

    25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-57668-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Deelman / Dongarra | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics

    13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43221-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ong / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Ong / de Queiroz Logic, Language, Information, and Computation

    2. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32620-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maneth | Implementation and Application of Automata | Buch | Sack Fachmedien

    Maneth Implementation and Application of Automata

    25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-79120-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Bestavros / Du | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Liu / Bestavros / Du Wireless Algorithms, Systems, and Applications

    4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03416-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dobnikar / Lotric / Šter | Adaptive and Natural Computing Algorithms | eBook | Sack Fachmedien
    E-Book

    Dobnikar / Lotric / Šter Adaptive and Natural Computing Algorithms

    10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-20267-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bezhanishvili / Goranko | Lectures on Logic and Computation | eBook | Sack Fachmedien
    E-Book

    Bezhanishvili / Goranko Lectures on Logic and Computation

    ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31485-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Calinescu / Pasareanu / Pasareanu | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Calinescu / Pasareanu / Pasareanu Software Engineering and Formal Methods

    19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92123-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Louveaux / Skutella | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Louveaux / Skutella Integer Programming and Combinatorial Optimization

    18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boucher / Thankachan | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Boucher / Thankachan String Processing and Information Retrieval

    27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13-15, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-59211-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gagie / Moffat / Navarro | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Gagie / Moffat / Navarro String Processing and Information Retrieval

    25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00478-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Paiva / de Queiroz / Moss | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    de Paiva / de Queiroz / Moss Logic, Language, Information, and Computation

    22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-47708-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Libkin / Kohlenbach / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Libkin / Kohlenbach / de Queiroz Logic, Language, Information, and Computation

    20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39991-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halldórsson | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Halldórsson Structural Information and Communication Complexity

    21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09619-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Deelman / Dongarra | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics

    13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43228-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Curien | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Curien Typed Lambda Calculi and Applications

    9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02272-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flocchini / Gasieniec | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Flocchini / Gasieniec Structural Information and Communication Complexity

    13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35474-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eisenbrand / Shepherd | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Eisenbrand / Shepherd Integer Programming and Combinatorial Optimization

    14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13035-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holzer / Kutrib | Implementation and Application of Automata | Buch | Sack Fachmedien

    Holzer / Kutrib Implementation and Application of Automata

    19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08845-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-83722-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