Ergebnisse filtern
Fachgebiet
Medium
  • 1230
Erscheinungsjahr
  • 58
  • 117
  • 17
  • 15
  • 6
  • 2
  • 17
  • 11
  • 11
  • 14
  • 16
  • 21
  • 26
  • 24
  • 28
  • 3
  • 17
  • 46
  • 121
  • 115
  • 53
  • 22
  • 46
  • 19
  • 26
  • 16
  • 11
  • 49
  • 43
  • 45
  • 44
  • 34
  • 31
  • 22
  • 26
  • 16
  • 16
  • 10
  • 7
  • 4
  • 1
  • 2
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 1
  • 24
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 24
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 6
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 75
  • 3
  • 2
  • 2
  • 2
  • 8
  • 5
  • 5
  • 2
  • 5
  • 2
  • 9
  • 2
  • 5
  • 5
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 24
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 76
  • 8
  • 5
  • 5
  • 3
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 76
  • 2
  • 2
  • 3
  • 5
  • 4
  • 76
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 76
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 8
  • 6
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 24
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 76
  • 3
  • 6
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 3
  • 8
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 2
  • 2
  • 5
  • 5
  • 5
  • 5
  • 5
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
Verlag
  • 1219
  • 11
Preis
  • 1
  • 20
  • 903
  • 306
Sprachen
  • 1230
Verfügbarkeit
  • 1229
  • 1
Katalog
  • 1230
  • 96
1.230  Treffer  für „Lecture Notes in Computer Science“
    De Souza / Dini / Lorenz | Telecommunications and Networking - ICT 2004 | Buch | Sack Fachmedien

    De Souza / Dini / Lorenz Telecommunications and Networking - ICT 2004

    11th International Conference on Telecommunications Fortaleza, Brazil, August 1-6, 2004 Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22571-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beer | Concepts, Design, and Performance Analysis of a Parallel Prolog Machine | Buch | Sack Fachmedien

    Beer Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-52053-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Göschka / Haridi | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Göschka / Haridi Distributed Applications and Interoperable Systems

    12th IFIP WG 6.1 International Conference, DAIS 2012. Stockholm, Sweden, June 13-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30822-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal / Fagiolini / Vašík | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal / Fagiolini / Vašík Modelling and Simulation for Autonomous Systems

    11th International Conference, MESAS 2024, Chania, Crete, Greece, October 1-3, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99731-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakaibara / Kobayashi / Sato | Grammatical Inference: Algorithms and Applications | Buch | Sack Fachmedien

    Sakaibara / Kobayashi / Sato Grammatical Inference: Algorithms and Applications

    8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45264-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karl / Willig / Wolisz | Wireless Sensor Networks | Buch | Sack Fachmedien

    Karl / Willig / Wolisz Wireless Sensor Networks

    First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20825-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kunz / Ravi | Ad-Hoc, Mobile, and Wireless Networks | Buch | Sack Fachmedien

    Kunz / Ravi Ad-Hoc, Mobile, and Wireless Networks

    5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006 Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37246-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogt | Concurrency 88 | Buch | Sack Fachmedien

    Vogt Concurrency 88

    International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50403-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antunes / Takadama | Multi-Agent-Based Simulation VII | Buch | Sack Fachmedien

    Antunes / Takadama Multi-Agent-Based Simulation VII

    International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76536-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusch / Rovatsos / Payne | Cooperative Information Agents X | Buch | Sack Fachmedien

    Klusch / Rovatsos / Payne Cooperative Information Agents X

    10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38569-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rudinac / Hanjalic / Liem | MultiMedia Modeling | Buch | Sack Fachmedien

    Rudinac / Hanjalic / Liem MultiMedia Modeling

    30th International Conference, MMM 2024, Amsterdam, The Netherlands, January 29 - February 2, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-53307-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Kang | Mobile Communications | Buch | Sack Fachmedien

    Lee / Kang Mobile Communications

    7th CDMA International Conference, CIC 2002, Seoul, Korea, October 29 - November 1, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00732-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calmet / Campbell / Pfalzgraf | Artificial Intelligence and Symbolic Mathematical Computation | Buch | Sack Fachmedien

    Calmet / Campbell / Pfalzgraf Artificial Intelligence and Symbolic Mathematical Computation

    International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61732-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Niemeegers / Heemstra de Groot | Personal Wireless Communications | Buch | Sack Fachmedien

    Niemeegers / Heemstra de Groot Personal Wireless Communications

    IFIP TC6 9th International Conference, PWC 2004, Delft, The Netherlands, September 21-23, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23162-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Lladós | Graphics Recognition. Ten Years Review and Future Perspectives | Buch | Sack Fachmedien

    Liu / Lladós Graphics Recognition. Ten Years Review and Future Perspectives

    6th International Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34711-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baker | Memory Management | Buch | Sack Fachmedien

    Baker Memory Management

    International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60368-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Li / Grzymala-Busse | Rough Sets and Knowledge Technology | Buch | Sack Fachmedien

    Wang / Li / Grzymala-Busse Rough Sets and Knowledge Technology

    Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79720-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersson | Analysis of Dynamical and Cognitive Systems | Buch | Sack Fachmedien

    Andersson Analysis of Dynamical and Cognitive Systems

    Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-58843-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cai / Zhu / Wang | Wireless Artificial Intelligent Computing Systems and Applications | Buch | Sack Fachmedien

    Cai / Zhu / Wang Wireless Artificial Intelligent Computing Systems and Applications

    19th International Conference, WASA 2025, Tokyo, Japan, June 24-26, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-968730-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enokido / Yan / Xiao | EUC 2005 Workshops | Buch | Sack Fachmedien

    Enokido / Yan / Xiao EUC 2005 Workshops

    EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 8-9, 2005
    2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-30803-4
    Medium: Buch
    167,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clough / Gey / Karlgren | Evaluation of Multilingual and Multi-modal Information Retrieval | Buch | Sack Fachmedien

    Clough / Gey / Karlgren Evaluation of Multilingual and Multi-modal Information Retrieval

    7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74998-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cesar / Chorianopoulos / Jensen | Interactive TV: A Shared Experience | Buch | Sack Fachmedien

    Cesar / Chorianopoulos / Jensen Interactive TV: A Shared Experience

    5th European Conference, EuroITV 2007, Amsterdam, the Netherlands, May 24-25, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72558-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ras | Foundations of Intelligent Systems | Buch | Sack Fachmedien

    Ras Foundations of Intelligent Systems

    10th International Symposium, ISMIS '97. Charlotte, North Carolina, USA, October 15-18, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63614-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giunchiglia / Tacchella | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Giunchiglia / Tacchella Theory and Applications of Satisfiability Testing

    6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20851-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ernst / Rozier | Model Checking Software | Buch | Sack Fachmedien

    Ernst / Rozier Model Checking Software

    31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06846-0
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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