Ergebnisse filtern
Fachgebiet
Medium
  • 4447
  • 26
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 25
  • 67
  • 54
  • 50
  • 70
  • 117
  • 134
  • 99
  • 135
  • 91
  • 142
  • 104
  • 120
  • 53
  • 243
  • 80
  • 167
  • 282
  • 199
  • 272
  • 230
  • 235
  • 211
  • 188
  • 139
  • 112
  • 109
  • 101
  • 86
  • 91
  • 81
  • 58
  • 58
  • 63
  • 38
  • 47
  • 27
  • 17
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 8
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 25
  • 9
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 18
  • 5
  • 3
  • 2
  • 9
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 5
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 17
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 4
  • 4
  • 5
  • 5
  • 5
  • 6
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 5
  • 5
  • 5
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 5
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 8
  • 4
  • 4
  • 4
  • 8
  • 4
  • 3
  • 9
  • 8
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 21
  • 5
  • 5
  • 3
  • 12
  • 10
  • 5
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 6
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 5
  • 5
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 7
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 17
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 5
  • 9
  • 4
  • 6
  • 10
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 7
  • 7
  • 5
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 3
  • 6
  • 4
  • 49
  • 11
  • 3
  • 4
  • 4
  • 5
  • 7
  • 3
  • 3
  • 19
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 3
  • 5
  • 3
  • 6
  • 7
  • 5
  • 4
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 15
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 21
  • 7
  • 4
  • 3
  • 9
  • 4
  • 6
  • 5
  • 3
  • 11
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 24
  • 4
  • 5
  • 3
  • 10
  • 5
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 6
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 4
  • 3
  • 3
  • 9
  • 5
  • 4
  • 11
  • 1
  • 1
  • 2
  • 22
  • 4
  • 1
  • 1
  • 10
  • 40
  • 6
  • 3
  • 1
  • 3
  • 9
  • 8
  • 1
  • 1
  • 2
  • 3
  • 10
  • 2
  • 1
  • 2
  • 9
  • 1
  • 8
  • 1
  • 7
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 2
  • 652
  • 2167
  • 1
  • 658
  • 1
  • 6
  • 3
  • 223
  • 54
  • 127
  • 223
  • 8
  • 40
  • 3
  • 2
  • 1
  • 2
  • 7
  • 4
  • 5
  • 1
  • 35
  • 2
  • 27
  • 1
  • 1
  • 2
Preis
  • 14
  • 207
  • 2744
  • 1517
Sprachen
  • 4341
  • 136
  • 13
Verfügbarkeit
  • 4461
  • 21
Eigenschaften
  • 1
Katalog
  • 4482
  • 200
4.482  Titel
    Bianculli / Rumpe / Calinescu | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Bianculli / Rumpe / Calinescu Software Engineering and Formal Methods

    SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-49223-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leino / Jobstmann | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Leino / Jobstmann Verification, Model Checking, and Abstract Interpretation

    17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49121-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thiemann | Programming Languages and Systems | Buch | Sack Fachmedien

    Thiemann Programming Languages and Systems

    25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49497-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / Yakovlev / Haddad | Transactions on Petri Nets and Other Models of Concurrency IX | Buch | Sack Fachmedien

    Koutny / Yakovlev / Haddad Transactions on Petri Nets and Other Models of Concurrency IX

    2014
    Verlag: Springer
    ISBN: 978-3-662-45729-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications | Buch | Sack Fachmedien

    Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

    6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
    2014
    Verlag: Springer
    ISBN: 978-3-662-45230-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Paiva / de Queiroz / de Oliveira | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    de Paiva / de Queiroz / de Oliveira 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
    Borowik / Petrov / Karpinskyy | Theory of Digital Automata | Buch | Sack Fachmedien

    Borowik / Petrov / Karpinskyy Theory of Digital Automata

    2013
    Verlag: Springer Netherlands
    ISBN: 978-94-007-5227-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martínez / Goles | Cellular Automata, Dynamical Systems and Neural Networks | Buch | Sack Fachmedien

    Martínez / Goles Cellular Automata, Dynamical Systems and Neural Networks

    1. Auflage. Softcover version of original hardcover Auflage 1994
    Verlag: Springer Netherlands
    ISBN: 978-90-481-4382-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hielscher / Wagenknecht | Formale Sprachen, abstrakte Automaten und Compiler | Buch | Sack Fachmedien

    Hielscher / Wagenknecht Formale Sprachen, abstrakte Automaten und Compiler

    Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung
    3., überarbeitete und ergänzte Auflage 2022
    Verlag: Springer
    ISBN: 978-3-658-36852-4
    Medium: Buch
    34,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Raskin / Chechik | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Raskin / Chechik Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49673-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    d'Avila Garcez / Gabbay / Lamb | Neural-Symbolic Cognitive Reasoning | Buch | Sack Fachmedien

    d'Avila Garcez / Gabbay / Lamb Neural-Symbolic Cognitive Reasoning

    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73245-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Konar | Cognitive Engineering | Buch | Sack Fachmedien

    Konar Cognitive Engineering

    A Distributed Approach to Machine Intelligence
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-84996-984-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lloyd | Logic for Learning | Buch | Sack Fachmedien

    Lloyd Logic for Learning

    Learning Comprehensible Theories from Structured Data
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42027-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rodrigues / Veríssimo | Distributed Systems for System Architects | Buch | Sack Fachmedien

    Rodrigues / Veríssimo Distributed Systems for System Architects

    2001
    Verlag: Springer US
    ISBN: 978-0-7923-7266-0
    Medium: Buch
    126,21 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Branke | Evolutionary Optimization in Dynamic Environments | Buch | Sack Fachmedien

    Branke Evolutionary Optimization in Dynamic Environments

    2002
    Verlag: Springer US
    ISBN: 978-0-7923-7631-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pietikäinen / Ahonen / Hadid | Computer Vision Using Local Binary Patterns | Buch | Sack Fachmedien

    Pietikäinen / Ahonen / Hadid Computer Vision Using Local Binary Patterns

    2011
    Verlag: Springer
    ISBN: 978-1-4471-2665-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohlebusch | Advanced Topics in Term Rewriting | Buch | Sack Fachmedien

    Ohlebusch Advanced Topics in Term Rewriting

    Softcover Nachdruck of hardcover 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-4419-2921-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Sorbi / Löwe | New Computational Paradigms | Buch | Sack Fachmedien

    Cooper / Sorbi / Löwe New Computational Paradigms

    Changing Conceptions of What is Computable
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4419-2263-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwartz / Cantone / Omodeo | Computational Logic and Set Theory | Buch | Sack Fachmedien

    Schwartz / Cantone / Omodeo Computational Logic and Set Theory

    Applying Formalized Logic to Analysis
    2011
    Verlag: Springer
    ISBN: 978-0-85729-807-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caromel / Henrio | A Theory of Distributed Objects | Buch | Sack Fachmedien

    Caromel / Henrio A Theory of Distributed Objects

    Asynchrony - Mobility - Groups - Components
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-05884-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blieberger / Schildt / Burgstaller | Informatik | Buch | Sack Fachmedien

    Blieberger / Schildt / Burgstaller Informatik

    Grundlagen
    5., überarbeitete Auflage 2005
    Verlag: Springer Vienna
    ISBN: 978-3-211-27754-6
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schildt / Kastner | Informatik | Buch | Sack Fachmedien

    Schildt / Kastner Informatik

    Aufgaben und Lösungen
    3., überarbeitete Auflage 2005
    Verlag: Springer Vienna
    ISBN: 978-3-211-21136-6
    Medium: Buch
    19,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohlebusch | Advanced Topics in Term Rewriting | Buch | Sack Fachmedien

    Ohlebusch Advanced Topics in Term Rewriting

    2002
    Verlag: Springer
    ISBN: 978-0-387-95250-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Higgins / Goberstein | Semigroups and Their Applications | Buch | Sack Fachmedien

    Higgins / Goberstein Semigroups and Their Applications

    Proceedings of the International Conference ¿Algebraic Theory of Semigroups and Its Applications¿ held at the California State University, Chico, April 10¿12, 1986
    1987
    Verlag: Springer Netherlands
    ISBN: 978-90-277-2463-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Sorbi / Löwe | New Computational Paradigms | Buch | Sack Fachmedien

    Cooper / Sorbi / Löwe New Computational Paradigms

    Changing Conceptions of What is Computable
    2008
    Verlag: Springer
    ISBN: 978-0-387-36033-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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