Ergebnisse filtern
Fachgebiet
Medium
  • 4875
  • 31
  • 9
Erscheinungsjahr
  • 12
  • 31
  • 65
  • 62
  • 51
  • 68
  • 118
  • 134
  • 98
  • 134
  • 91
  • 142
  • 105
  • 145
  • 106
  • 248
  • 93
  • 172
  • 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
  • 2
  • 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
  • 4
  • 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
  • 2
  • 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
  • 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
  • 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
  • 8
  • 1
  • 2
  • 1
  • 25
  • 1
  • 15
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 9
  • 1
  • 1
  • 3874
  • 103
  • 1
  • 156
  • 1
  • 3
  • 3
  • 31
  • 13
  • 1
  • 89
  • 77
  • 163
  • 4
  • 33
  • 3
  • 2
  • 1
  • 4
  • 9
  • 3
  • 36
  • 2
  • 30
  • 1
  • 1
  • 3
Preis
  • 15
  • 205
  • 3013
  • 1682
Sprachen
  • 4767
  • 144
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4901
  • 14
Katalog
  • 4915
  • 218
4.915  Titel
    Capozucca / Ebersold / Bruel | Frontiers in Software Engineering Education | Buch | Sack Fachmedien

    Capozucca / Ebersold / Bruel Frontiers in Software Engineering Education

    Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers
    2023
    Verlag: Springer
    ISBN: 978-3-031-48638-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greene / Knuth | Mathematics for the Analysis of Algorithms | Buch | Sack Fachmedien

    Greene / Knuth Mathematics for the Analysis of Algorithms

    Third Auflage 1990
    Verlag: Birkhauser Boston
    ISBN: 978-0-8176-4728-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martí-Oliet / Ölveczky / Talcott | Logic, Rewriting, and Concurrency | Buch | Sack Fachmedien

    Martí-Oliet / Ölveczky / Talcott Logic, Rewriting, and Concurrency

    Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23164-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer auf der Heide / Monien | Automata, Languages and Programming | Buch | Sack Fachmedien

    Meyer auf der Heide / Monien Automata, Languages and Programming

    23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61440-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Berg / Cheong / van Kreveld | Computational Geometry | Buch | Sack Fachmedien

    de Berg / Cheong / van Kreveld Computational Geometry

    Algorithms and Applications
    Third Auflage 2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-77973-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Narukawa / Torra | Modeling Decisions | Buch | Sack Fachmedien

    Narukawa / Torra Modeling Decisions

    Information Fusion and Aggregation Operators
    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-08833-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kakas / Sadri | Computational Logic: Logic Programming and Beyond | Buch | Sack Fachmedien

    Kakas / Sadri Computational Logic: Logic Programming and Beyond

    Essays in Honour of Robert A. Kowalski, Part I
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43959-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sestoft | Programming Languages and Systems | Buch | Sack Fachmedien

    Sestoft Programming Languages and Systems

    15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33095-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dale / Wong / Su | Natural Language Processing – IJCNLP 2005 | Buch | Sack Fachmedien

    Dale / Wong / Su Natural Language Processing – IJCNLP 2005

    Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29172-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hachtel / Somenzi | Logic Synthesis and Verification Algorithms | Buch | Sack Fachmedien

    Hachtel / Somenzi Logic Synthesis and Verification Algorithms

    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-0-7923-9746-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeusfeld / Delcambre / Ling | Conceptual Modeling – ER 2011 | Buch | Sack Fachmedien

    Jeusfeld / Delcambre / Ling Conceptual Modeling – ER 2011

    30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24605-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Centrone / Kant / Sarikaya | Reflections on the Foundations of Mathematics | Buch | Sack Fachmedien

    Centrone / Kant / Sarikaya Reflections on the Foundations of Mathematics

    Univalent Foundations, Set Theory and General Thoughts
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-15657-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Du | Steiner Trees in Industry | Buch | Sack Fachmedien

    Cheng / Du Steiner Trees in Industry

    2001. Auflage 2001
    Verlag: Springer Us
    ISBN: 978-1-4020-0099-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Rolim | Parallel Algorithms for Irregularly Structured Problems | Buch | Sack Fachmedien

    Ferreira / Rolim Parallel Algorithms for Irregularly Structured Problems

    Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60321-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Huisman | Integrated Formal Methods | Buch | Sack Fachmedien

    Ábrahám / Huisman Integrated Formal Methods

    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33692-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Csuhaj-Varjú / Dietzfelbinger / Ésik | Mathematical Foundations of Computer Science 2014 | Buch | Sack Fachmedien

    Csuhaj-Varjú / Dietzfelbinger / Ésik Mathematical Foundations of Computer Science 2014

    39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44521-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Byrski / Oplatková / Carvalho | Advances in Intelligent Modelling and Simulation | Buch | Sack Fachmedien

    Byrski / Oplatková / Carvalho Advances in Intelligent Modelling and Simulation

    Simulation Tools and Applications
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-44743-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fletcher | Truth, Proof and Infinity | Buch | Sack Fachmedien

    Fletcher Truth, Proof and Infinity

    A Theory of Constructive Reasoning
    1. Auflage. Softcover version of original hardcover Auflage 1998
    Verlag: Springer
    ISBN: 978-90-481-5105-9
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrucci / Seceleanu / Cavalcanti | Critical Systems: Formal Methods and Automated Verification | Buch | Sack Fachmedien

    Petrucci / Seceleanu / Cavalcanti Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67112-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horspool | Compiler Construction | Buch | Sack Fachmedien

    Horspool Compiler Construction

    11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43369-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cocchiarella | Formal Ontology and Conceptual Realism | Buch | Sack Fachmedien

    Cocchiarella Formal Ontology and Conceptual Realism

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-90-481-7565-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winckler / Johnson / Palanque | Task Models and Diagrams for User Interface Design | Buch | Sack Fachmedien

    Winckler / Johnson / Palanque Task Models and Diagrams for User Interface Design

    6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-77221-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42522-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giesl | Term Rewriting and Applications | Buch | Sack Fachmedien

    Giesl Term Rewriting and Applications

    16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25596-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farmer | Simple Type Theory | Buch | Sack Fachmedien

    Farmer Simple Type Theory

    A Practical Logic for Expressing and Reasoning About Mathematical Ideas
    2. Auflage 2025
    Verlag: Birkhäuser
    ISBN: 978-3-031-85351-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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