Ergebnisse filtern
Fachgebiet
Medium
  • 3184
  • 491
  • 5
  • 5
Erscheinungsjahr
  • 1
  • 4
  • 132
  • 256
  • 260
  • 247
  • 219
  • 234
  • 245
  • 212
  • 177
  • 135
  • 131
  • 68
  • 60
  • 41
  • 104
  • 105
  • 115
  • 71
  • 55
  • 48
  • 58
  • 72
  • 64
  • 60
  • 60
  • 44
  • 33
  • 60
  • 38
  • 22
  • 28
  • 16
  • 18
  • 16
  • 18
  • 17
  • 19
  • 15
  • 13
  • 13
  • 15
  • 6
  • 8
  • 9
  • 9
  • 5
  • 3
  • 4
  • 3
  • 1
  • 2
  • 3
  • 3
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 4
  • 2
  • 6
  • 7
  • 3
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 4
  • 2
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 17
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 7
  • 6
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 6
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 16
  • 3
  • 4
  • 4
  • 5
  • 12
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 5
  • 7
  • 3
  • 4
  • 7
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
Verlag
  • 2
  • 1
  • 1
  • 834
  • 11
  • 1
  • 14
  • 1
  • 2
  • 1
  • 1
  • 10
  • 7
  • 1
  • 2
  • 49
  • 70
  • 1
  • 2
  • 1
  • 3
  • 93
  • 489
  • 1
  • 1
  • 2
  • 1
  • 14
  • 61
  • 1
  • 1
  • 13
  • 12
  • 2
  • 3
  • 1
  • 1
  • 3
  • 3
  • 2
  • 48
  • 2
  • 2
  • 1
  • 13
  • 16
  • 2
  • 2
  • 2
  • 4
  • 4
  • 6
  • 1
  • 2
  • 8
  • 1
  • 12
  • 14
  • 1
  • 8
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 5
  • 9
  • 100
  • 1
  • 1
  • 2
  • 2
  • 2
  • 295
  • 1
  • 376
  • 202
  • 3
  • 69
  • 21
  • 14
  • 5
  • 62
  • 5
  • 3
  • 33
  • 1
  • 1
  • 1
  • 1
  • 19
  • 22
  • 167
  • 48
  • 22
  • 1
  • 1
  • 8
  • 1
  • 1
  • 9
  • 2
  • 5
  • 1
  • 2
  • 2
  • 115
  • 1
  • 1
  • 1
  • 76
  • 6
  • 20
  • 3
  • 23
  • 1
  • 1
  • 6
Preis
  • 130
  • 1314
  • 1615
  • 626
Sprachen
  • 3023
  • 660
  • 6
Verfügbarkeit
  • 3588
  • 97
Eigenschaften
  • 7
Katalog
  • 3685
  • 130
3.685  Titel
    Bergeron / Nightingale / Cerny | Verification Methodology Manual for SystemVerilog | Buch | Sack Fachmedien

    Bergeron / Nightingale / Cerny Verification Methodology Manual for SystemVerilog

    2006
    Verlag: Springer US
    ISBN: 978-0-387-25538-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schildt | C++: The Complete Reference, 4th Edition | Buch | Sack Fachmedien

    Schildt C++: The Complete Reference, 4th Edition

    4. Auflage 2002
    Verlag: McGraw-Hill Education
    ISBN: 978-0-07-222680-5
    Medium: Buch
    Lieferzeit ca. 10 Werktage
    Zur Detailseite
    Gans / Hodges / Wilson | JavaScript for Data Science | Buch | Sack Fachmedien

    Gans / Hodges / Wilson JavaScript for Data Science

    1. Auflage 2020
    Verlag: Bsp Books Pvt. Ltd.
    ISBN: 978-0-367-42248-6
    Medium: Buch
    68,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brooks | Guide to HTML, JavaScript and PHP | Buch | Sack Fachmedien

    Brooks Guide to HTML, JavaScript and PHP

    For Scientists and Engineers
    2011
    Verlag: Springer
    ISBN: 978-0-85729-448-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kumar / Hou | Packets with Deadlines | Buch | Sack Fachmedien

    Kumar / Hou Packets with Deadlines

    A Framework for Real-Time Wireless Networks
    1. Auflage 2013
    Verlag: Springer International Publishing
    ISBN: 978-3-031-79256-4
    Medium: Buch
    35,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frenz | Pro Perl Parsing | Buch | Sack Fachmedien

    Frenz Pro Perl Parsing

    1. Auflage 2005
    Verlag: Apress
    ISBN: 978-1-59059-504-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dupont | Practical Prototype and script.aculo.us | Buch | Sack Fachmedien

    Dupont Practical Prototype and script.aculo.us

    1. Auflage 2008
    Verlag: Apress
    ISBN: 978-1-59059-919-8
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lafferty / Cahill | Learning to Program the Object-oriented Way with C# | Buch | Sack Fachmedien

    Lafferty / Cahill Learning to Program the Object-oriented Way with C#

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-85233-602-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajan / Herman / Jones | Visual Basic 2008 Recipes | Buch | Sack Fachmedien

    Rajan / Herman / Jones Visual Basic 2008 Recipes

    A Problem-Solution Approach
    1. Auflage 2008
    Verlag: Apress
    ISBN: 978-1-59059-970-9
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Dynamic Web Programming and HTML5 | Buch | Sack Fachmedien

    Wang Dynamic Web Programming and HTML5

    1. Auflage 2017
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-138-43615-2
    Medium: Buch
    179,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hudson | JavaScript Creativity | Buch | Sack Fachmedien

    Hudson JavaScript Creativity

    Exploring the Modern Capabilities of JavaScript and HTML5
    1. Auflage 2014
    Verlag: Apress
    ISBN: 978-1-4302-5944-2
    Medium: Buch
    32,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bode | Java praxisnah | eBook | Sack Fachmedien
    E-Book

    Bode Java praxisnah

    Profitieren Sie von Programmierprofis
    1., Nachdruck 2015
    Verlag: De Gruyter
    ISBN: 978-3-486-59881-0
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    109,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Panitz | Java für Teetrinker | Buch | Sack Fachmedien

    Panitz Java für Teetrinker

    Ein funktionaler Zugang zur Programmierung mit Java
    2024
    Verlag: Springer
    ISBN: 978-3-662-69320-9
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sehr / Banerjee / Padua | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Sehr / Banerjee / Padua Languages and Compilers for Parallel Computing

    9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63091-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aarts / Rem / Leeuwen | PARLE '91. Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Aarts / Rem / Leeuwen PARLE '91. Parallel Architectures and Languages Europe

    Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54152-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tiuryn / Pacholski | Computer Science Logic | Buch | Sack Fachmedien

    Tiuryn / Pacholski Computer Science Logic

    8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60017-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner | Trees in Algebra and Programming - CAAP '96 | Buch | Sack Fachmedien

    Kirchner Trees in Algebra and Programming - CAAP '96

    21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61064-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Comon Rewriting Techniques and Applications

    8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Altenkirch / Reus / Naraschewski | Types for Proofs and Programs | Buch | Sack Fachmedien

    Altenkirch / Reus / Naraschewski Types for Proofs and Programs

    International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66537-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Champarnaud / Ziadi / Maurel | Automata Implementation | Buch | Sack Fachmedien

    Champarnaud / Ziadi / Maurel Automata Implementation

    Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66652-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tiuryn | Foundation of Software Science and Computation Structures | Buch | Sack Fachmedien

    Tiuryn Foundation of Software Science and Computation Structures

    Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67257-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    File / Cortesi | Static Analysis | Buch | Sack Fachmedien

    File / Cortesi Static Analysis

    6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66459-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro Recent Trends in Algebraic Development Techniques

    13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66246-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Padua / Gelernter | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Padua / Gelernter Languages and Compilers for Parallel Computing

    5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57502-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Tahar / Munoz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71065-3
    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