Ergebnisse filtern
Fachgebiet
Medium
  • 3539
  • 5
Erscheinungsjahr
  • 2
  • 333
  • 221
  • 272
  • 152
  • 134
  • 109
  • 91
  • 117
  • 119
  • 75
  • 116
  • 83
  • 97
  • 112
  • 113
  • 91
  • 54
  • 70
  • 63
  • 148
  • 145
  • 73
  • 38
  • 72
  • 56
  • 65
  • 32
  • 45
  • 68
  • 52
  • 50
  • 46
  • 45
  • 42
  • 27
  • 31
  • 21
  • 26
  • 12
  • 9
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 18
  • 5
  • 3
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 17
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 22
  • 2
  • 2
  • 8
  • 7
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 7
  • 5
  • 2
  • 3
  • 15
  • 2
  • 7
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 7
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 28
  • 2
  • 2
  • 2
  • 2
  • 10
  • 13
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 9
  • 3
  • 9
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 8
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 6
  • 3
  • 24
  • 4
  • 3
  • 2
  • 10
  • 2
  • 2
  • 3
  • 7
  • 4
  • 3
  • 2
  • 2
  • 10
  • 2
  • 9
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 34
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 16
  • 3
  • 4
  • 2
  • 3
  • 2
  • 24
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 23
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 38
  • 5
  • 2
  • 4
  • 5
  • 3
  • 8
  • 12
  • 2
  • 2
  • 3
  • 3
  • 5
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 4
  • 3
  • 10
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 4
  • 3
  • 3
  • 78
  • 4
  • 4
  • 12
  • 3
  • 8
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 17
  • 3
  • 5
  • 3
  • 4
  • 12
  • 3
  • 13
  • 3
  • 19
  • 4
  • 5
  • 4
  • 12
  • 3
  • 9
  • 3
  • 4
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 16
  • 3
  • 4
  • 4
  • 3
  • 8
  • 6
  • 4
  • 5
  • 4
  • 3
  • 3
  • 35
  • 4
  • 8
  • 3
  • 3
  • 5
  • 16
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 7
  • 7
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 9
  • 8
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 3
  • 5
  • 9
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 16
  • 7
  • 9
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 5
  • 3
  • 3
  • 9
  • 3
  • 3
  • 5
  • 10
  • 3
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 78
  • 19
  • 3
  • 3
  • 12
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 7
  • 3
  • 3
  • 6
  • 12
  • 77
  • 3
  • 3
  • 11
  • 14
  • 4
  • 31
  • 5
  • 3
  • 7
  • 3
  • 21
  • 3
  • 4
  • 5
  • 4
  • 6
  • 12
  • 4
  • 3
  • 3
  • 3
  • 31
  • 3
  • 3
  • 3
  • 7
  • 4
  • 23
  • 16
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 12
  • 13
  • 3
  • 6
  • 5
  • 6
  • 3
  • 7
  • 78
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 5
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 7
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 5
  • 5
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 5
  • 6
  • 5
  • 3
  • 10
  • 9
  • 17
  • 4
  • 3
  • 4
  • 4
  • 4
  • 30
  • 3
  • 3
  • 3
  • 12
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 6
  • 7
  • 4
  • 3
  • 5
  • 12
  • 7
  • 3
  • 6
  • 5
  • 4
  • 3
  • 6
  • 4
  • 12
  • 3
  • 3
  • 6
  • 17
  • 6
  • 3
  • 4
  • 15
  • 6
  • 7
  • 16
  • 3
  • 9
  • 3
  • 4
  • 8
  • 3
  • 4
  • 6
  • 8
  • 3
  • 5
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 11
  • 5
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 7
  • 24
  • 5
  • 3
  • 3
  • 8
  • 8
  • 4
  • 4
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 19
  • 3
  • 6
  • 5
  • 3
  • 77
  • 7
  • 6
  • 5
  • 6
  • 3
  • 4
  • 7
  • 6
  • 3
  • 3
  • 78
  • 4
  • 16
  • 4
  • 6
  • 7
  • 3
  • 77
  • 11
  • 8
  • 7
  • 3
  • 3
  • 76
  • 9
  • 5
  • 3
  • 3
  • 7
  • 3
  • 3
  • 8
  • 10
  • 4
  • 5
  • 3
  • 4
  • 16
  • 3
  • 4
  • 3
  • 76
  • 8
  • 3
  • 6
  • 3
  • 79
  • 16
  • 4
  • 8
  • 11
  • 3
  • 4
  • 8
  • 3
  • 5
  • 5
  • 3
  • 21
  • 4
  • 3
  • 4
  • 6
  • 5
  • 5
  • 4
  • 3
  • 4
  • 8
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 26
  • 6
  • 3
  • 6
  • 5
  • 4
  • 8
  • 17
  • 3
  • 4
  • 3
  • 3
  • 7
  • 11
  • 3
  • 5
  • 10
  • 13
  • 5
  • 9
  • 3
  • 5
  • 3
  • 3
  • 3
  • 16
  • 7
  • 5
  • 4
  • 78
  • 24
  • 3
  • 6
  • 7
  • 5
  • 3
  • 3
  • 3
  • 76
  • 16
  • 7
  • 4
  • 3
  • 7
  • 7
  • 38
  • 7
  • 6
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 19
  • 11
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 17
  • 11
  • 19
  • 9
  • 17
  • 4
  • 18
  • 12
  • 6
  • 3
  • 4
  • 17
  • 29
  • 4
  • 9
  • 4
  • 4
  • 9
  • 17
  • 4
  • 3
  • 7
  • 7
  • 5
Verlag
  • 1
  • 1
  • 1
  • 1
  • 1
  • 11
  • 2
  • 3371
  • 2
  • 1
  • 1
  • 4
  • 14
  • 88
  • 11
  • 1
  • 5
  • 4
  • 1
  • 16
  • 4
  • 1
  • 2
Preis
  • 6
  • 91
  • 1703
  • 1744
Sprachen
  • 3544
Verfügbarkeit
  • 3356
  • 188
Katalog
  • 3544
  • 213
3.544  Treffer  für „Lecture Notes in Computer Science“
    Robertson / Georgeon | Situated Self-guided Learning | Buch | Sack Fachmedien

    Robertson / Georgeon Situated Self-guided Learning

    4th International Workshop, IWSSL 2024, Oxford, UK, September 12-13, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-96324-7
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kochetov / Khachay / Eremeev | Mathematical Optimization Theory and Operations Research | Buch | Sack Fachmedien

    Kochetov / Khachay / Eremeev Mathematical Optimization Theory and Operations Research

    24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97076-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Humphrey / Titolo | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Humphrey / Titolo NASA Formal Methods

    17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93705-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antonacopoulos / Hinze / Piwowarski | Linking Theory and Practice of Digital Libraries | Buch | Sack Fachmedien

    Antonacopoulos / Hinze / Piwowarski Linking Theory and Practice of Digital Libraries

    28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-72439-8
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortuño / Rojas | Bioinformatics and Biomedical Engineering | Buch | Sack Fachmedien

    Ortuño / Rojas Bioinformatics and Biomedical Engineering

    Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II
    2015
    Verlag: Springer
    ISBN: 978-3-319-16479-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giorgini / Müller / Odell | Agent-Oriented Software Engineering IV | Buch | Sack Fachmedien

    Giorgini / Müller / Odell Agent-Oriented Software Engineering IV

    4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20826-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavedon / Rao / Wobcke | Intelligent Agent Systems: Theoretical and Practical Issues | Buch | Sack Fachmedien

    Cavedon / Rao / Wobcke Intelligent Agent Systems: Theoretical and Practical Issues

    Theoretical and Practical Issues. Based on a Workshop Held at PRICAI '96, Cairns, Australia, August 26-30, 1996
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62686-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Milne / Pierre | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Milne / Pierre Correct Hardware Design and Verification Methods

    IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56778-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanson / Remmele / Rivest | Machine Learning: From Theory to Applications | Buch | Sack Fachmedien

    Hanson / Remmele / Rivest Machine Learning: From Theory to Applications

    Cooperative Research at Siemens and MIT
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56483-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Nipkow Rewriting Techniques and Applications

    9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen / Litsyn / Lobstein | Algebraic Coding | Buch | Sack Fachmedien

    Cohen / Litsyn / Lobstein Algebraic Coding

    First French-Soviet Workshop, Paris, July 22-24, 1991. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55130-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ide / Kompatsiaris / Xu | MultiMedia Modeling | Buch | Sack Fachmedien

    Ide / Kompatsiaris / Xu MultiMedia Modeling

    31st International Conference on Multimedia Modeling, MMM 2025, Nara, Japan, January 8-10, 2025, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-962070-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gregori / Cherkasova / Cugola | Web Engineering and Peer-to-Peer Computing | Buch | Sack Fachmedien

    Gregori / Cherkasova / Cugola Web Engineering and Peer-to-Peer Computing

    NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44177-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maher / Puget | Principles and Practice of Constraint Programming - CP98 | Buch | Sack Fachmedien

    Maher / Puget Principles and Practice of Constraint Programming - CP98

    4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65224-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters | Transactions on Rough Sets IV | Buch | Sack Fachmedien

    Peters Transactions on Rough Sets IV

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29830-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Papavassiliou / Ruehrup | Ad-hoc, Mobile, and Wireless Networks | Buch | Sack Fachmedien

    Li / Papavassiliou / Ruehrup Ad-hoc, Mobile, and Wireless Networks

    11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31637-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richter / Smith / Wiehagen | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Richter / Smith / Wiehagen Algorithmic Learning Theory

    9th International Conference, ALT'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings
    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65013-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boavida / Monteiro / Mascolo | Wired/Wireless Internet Communications | Buch | Sack Fachmedien

    Boavida / Monteiro / Mascolo Wired/Wireless Internet Communications

    5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72694-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Battiti / Conti / Lo Cigno | Wireless On-Demand Network Systems | Buch | Sack Fachmedien

    Battiti / Conti / Lo Cigno Wireless On-Demand Network Systems

    First IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20790-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Vardi | Database Theory - ICDT '95 | Buch | Sack Fachmedien

    Gottlob / Vardi Database Theory - ICDT '95

    5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58907-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kittler / Roli | Multiple Classifier Systems | Buch | Sack Fachmedien

    Kittler / Roli Multiple Classifier Systems

    Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42284-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laddaga / Robertson / Shrobe | Self-Adaptive Software | Buch | Sack Fachmedien

    Laddaga / Robertson / Shrobe Self-Adaptive Software

    Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00731-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galmiche | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Galmiche Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Szabo / Vidacs | Information and Communication Technologies | Buch | Sack Fachmedien

    Szabo / Vidacs Information and Communication Technologies

    18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32807-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Nahir / Vos | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Biere / Nahir / Vos Hardware and Software: Verification and Testing

    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39610-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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