Ergebnisse filtern
Fachgebiet
Medium
  • 4879
  • 31
  • 9
Erscheinungsjahr
  • 12
  • 31
  • 65
  • 62
  • 51
  • 70
  • 118
  • 134
  • 98
  • 135
  • 91
  • 142
  • 105
  • 145
  • 106
  • 248
  • 93
  • 173
  • 338
  • 310
  • 323
  • 244
  • 246
  • 226
  • 198
  • 146
  • 120
  • 112
  • 104
  • 90
  • 94
  • 85
  • 62
  • 58
  • 65
  • 39
  • 48
  • 28
  • 18
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 4
  • 2
  • 3
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 14
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 3
  • 5
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 7
  • 8
  • 6
  • 4
  • 10
  • 3
  • 5
  • 8
  • 8
  • 6
  • 4
  • 5
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 5
  • 31
  • 11
  • 3
  • 3
  • 4
  • 3
  • 3
  • 19
  • 5
  • 3
  • 2
  • 9
  • 8
  • 6
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 24
  • 4
  • 6
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 10
  • 6
  • 6
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 9
  • 5
  • 5
  • 3
  • 4
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 6
  • 14
  • 7
  • 4
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 5
  • 3
  • 5
  • 10
  • 3
  • 4
  • 4
  • 8
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 7
  • 6
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 10
  • 9
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 4
  • 3
  • 6
  • 5
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 5
  • 4
  • 12
  • 3
  • 11
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 7
  • 6
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 6
  • 3
  • 7
  • 3
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 8
  • 4
  • 3
  • 5
  • 3
  • 5
  • 7
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 19
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 6
  • 9
  • 4
  • 3
  • 6
  • 11
  • 3
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 8
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 52
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 20
  • 4
  • 6
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 10
  • 3
  • 8
  • 6
  • 6
  • 3
  • 3
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 5
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 6
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 6
  • 2
  • 3
  • 3
  • 9
  • 5
  • 11
  • 5
  • 9
  • 1
  • 1
  • 2
  • 25
  • 4
  • 1
  • 3
  • 7
  • 48
  • 6
  • 3
  • 2
  • 3
  • 8
  • 7
  • 1
  • 2
  • 2
  • 6
  • 3
  • 1
  • 1
  • 9
  • 1
  • 2
  • 1
  • 25
  • 1
  • 15
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 9
  • 1
  • 1
  • 3854
  • 103
  • 1
  • 168
  • 1
  • 3
  • 3
  • 31
  • 13
  • 1
  • 99
  • 77
  • 164
  • 4
  • 33
  • 3
  • 2
  • 1
  • 4
  • 9
  • 3
  • 36
  • 2
  • 30
  • 1
  • 1
  • 3
Preis
  • 15
  • 207
  • 3014
  • 1683
Sprachen
  • 4771
  • 144
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4902
  • 17
Katalog
  • 4919
  • 218
4.919  Titel
    Primiero | Information and Knowledge | Buch | Sack Fachmedien

    Primiero Information and Knowledge

    A Constructive Type-Theoretical Approach
    2008. Auflage 2007
    Verlag: Springer
    ISBN: 978-1-4020-6169-1
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dix / Fisher / Novák | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Dix / Fisher / Novák Computational Logic in Multi-Agent Systems

    10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16866-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grana / Duro / d'Anjou | Information Processing with Evolutionary Algorithms | Buch | Sack Fachmedien

    Grana / Duro / d'Anjou Information Processing with Evolutionary Algorithms

    From Industrial Applications to Academic Speculations
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-84996-937-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Stølen | Specification and Development of Interactive Systems | Buch | Sack Fachmedien

    Broy / Stølen Specification and Development of Interactive Systems

    Focus on Streams, Interfaces, and Refinement
    2001. Auflage 2001
    Verlag: Springer
    ISBN: 978-0-387-95073-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bailey / Martin | ESL Models and Their Application | Buch | Sack Fachmedien

    Bailey / Martin ESL Models and Their Application

    Electronic System Level Design and Verification in Practice
    2010. Auflage 2009
    Verlag: Springer Us
    ISBN: 978-1-4419-0964-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Lamarche / Perrier | Logical Aspects of Computational Linguistics | Buch | Sack Fachmedien

    Lecomte / Lamarche / Perrier Logical Aspects of Computational Linguistics

    Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65751-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hahn / Sabidussi / Woodrow | Cycles and Rays | Buch | Sack Fachmedien

    Hahn / Sabidussi / Woodrow Cycles and Rays

    1990. Auflage 1989
    Verlag: Springer
    ISBN: 978-0-7923-0597-2
    Medium: Buch
    96,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Domaratzki / Salomaa | Implementation and Application of Automata | Buch | Sack Fachmedien

    Domaratzki / Salomaa Implementation and Application of Automata

    15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18097-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larrosa / O'Sullivan | Recent Advances in Constraints | Buch | Sack Fachmedien

    Larrosa / O'Sullivan Recent Advances in Constraints

    14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19485-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van der Meyden / Smaus | Model Checking and Artificial Intelligence | Buch | Sack Fachmedien

    van der Meyden / Smaus Model Checking and Artificial Intelligence

    6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20673-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bobaru / Havelund / Holzmann | NASA Formal Methods | Buch | Sack Fachmedien

    Bobaru / Havelund / Holzmann NASA Formal Methods

    Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20397-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Floridi | Philosophy and Computing | Buch | Sack Fachmedien

    Floridi Philosophy and Computing

    An Introduction
    1. Auflage 1999
    Verlag: Routledge
    ISBN: 978-0-415-18024-5
    Medium: Buch
    220,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Press / Teukolsky / Vetterling | Numerical Recipes | Buch | Sack Fachmedien

    Press / Teukolsky / Vetterling Numerical Recipes

    The Art of Scientific Computing
    3rd Auflage
    Verlag: Cambridge University Pr.
    ISBN: 978-0-521-88068-8
    Medium: Buch
    122,50 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Hinchey / Pagnoni / Rammig | Biologically-Inspired Collaborative Computing | Buch | Sack Fachmedien

    Hinchey / Pagnoni / Rammig Biologically-Inspired Collaborative Computing

    IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-0-387-09654-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fodor / Montali / Calvanese | Rules and Reasoning | Buch | Sack Fachmedien

    Fodor / Montali / Calvanese Rules and Reasoning

    Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-31094-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith | Logic | Buch | Sack Fachmedien

    Smith Logic

    The Laws of Truth
    Erscheinungsjahr 2012
    Verlag: Princeton University Press
    ISBN: 978-0-691-15163-2
    Medium: Buch
    60,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atkins / Zampolli | Computational Approaches to the Lexicon | Buch | Sack Fachmedien

    Atkins / Zampolli Computational Approaches to the Lexicon

    Erscheinungsjahr 1994
    Verlag: OUP Oxford
    ISBN: 978-0-19-823979-6
    Medium: Buch
    102,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nahin | The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age | Buch | Sack Fachmedien

    Nahin The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age

    Erscheinungsjahr 2012
    Verlag: PRINCETON UNIV PR
    ISBN: 978-0-691-15100-7
    Medium: Buch
    24,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mann / Sandu / Sevenster | Independence-Friendly Logic | Buch | Sack Fachmedien

    Mann / Sandu / Sevenster Independence-Friendly Logic

    Erscheinungsjahr 2011
    Verlag: Cambridge University Press
    ISBN: 978-0-521-14934-1
    Medium: Buch
    90,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lunze | Ereignisdiskrete Systeme | eBook | Sack Fachmedien
    E-Book

    Lunze Ereignisdiskrete Systeme

    Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen
    1. Auflage 2009
    Verlag: De Gruyter
    ISBN: 978-3-486-59344-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    49,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Homenda / Pedrycz | Automata Theory and Formal Languages | eBook | Sack Fachmedien
    E-Book

    Homenda / Pedrycz Automata Theory and Formal Languages

    1. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-3-11-075231-1
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    61,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ligozat | Qualitative Spatial and Temporal Reasoning | Buch | Sack Fachmedien

    Ligozat Qualitative Spatial and Temporal Reasoning

    1. Auflage 2011
    Verlag: Wiley
    ISBN: 978-1-84821-252-7
    Medium: Buch
    229,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deng / Du | Algorithms and Computation | Buch | Sack Fachmedien

    Deng / Du Algorithms and Computation

    16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19.21, 2005, Proceedings
    2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-30935-2
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robinson / Voronkov | Handbook of Automated Reasoning, Volume 2 | Buch | Sack Fachmedien

    Robinson / Voronkov Handbook of Automated Reasoning, Volume 2

    Erscheinungsjahr 2001
    Verlag: MIT PR
    ISBN: 978-0-262-18222-5
    Medium: Buch
    11,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puente León / Kiencke | Ereignisdiskrete Systeme | eBook | Sack Fachmedien
    E-Book

    Puente León / Kiencke Ereignisdiskrete Systeme

    Modellierung und Steuerung verteilter Systeme
    2. überarbeitete und erweiterte Aufl 2009
    Verlag: De Gruyter
    ISBN: 978-3-486-59342-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    34,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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