Ergebnisse filtern
Fachgebiet
Medium
  • 4173
Erscheinungsjahr
  • 53
  • 243
  • 184
  • 128
  • 47
  • 21
  • 41
  • 48
  • 65
  • 52
  • 59
  • 80
  • 67
  • 80
  • 84
  • 62
  • 141
  • 141
  • 146
  • 207
  • 193
  • 136
  • 211
  • 222
  • 184
  • 180
  • 120
  • 120
  • 85
  • 100
  • 95
  • 83
  • 68
  • 67
  • 50
  • 67
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 8
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 15
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 2
  • 4
  • 5
  • 4
  • 6
  • 4
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 12
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 9
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 6
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 8
  • 7
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 33
  • 27
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 13
  • 4
  • 2
  • 9
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 12
  • 6
  • 22
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 7
  • 5
  • 11
  • 3
  • 3
  • 6
  • 3
  • 8
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 15
  • 5
  • 4
  • 3
  • 5
  • 3
  • 6
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 6
  • 7
  • 3
  • 6
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 6
  • 7
  • 5
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 12
  • 5
  • 4
  • 7
  • 3
  • 5
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 5
  • 5
  • 5
  • 11
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 12
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 5
  • 3
  • 4
  • 10
  • 21
  • 7
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 4
  • 9
  • 5
  • 6
  • 5
  • 4
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 5
  • 3
  • 5
  • 17
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 7
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 6
  • 5
  • 3
  • 7
  • 4
  • 9
  • 18
  • 7
  • 6
  • 4
  • 3
  • 7
  • 4
  • 6
  • 3
  • 6
  • 5
  • 3
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 6
  • 6
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 6
  • 6
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 10
  • 9
  • 7
  • 4
  • 4
  • 31
  • 4
  • 11
  • 3
  • 3
  • 12
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 20
  • 8
  • 6
  • 3
  • 9
  • 3
  • 5
  • 33
  • 3
  • 5
  • 5
  • 4
  • 3
  • 8
  • 8
  • 18
  • 6
  • 7
  • 3
  • 6
  • 3
  • 9
  • 4
  • 6
  • 4
  • 9
  • 4
  • 5
  • 5
  • 4
  • 3
  • 18
  • 6
  • 3
  • 5
  • 12
  • 6
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 7
  • 3
  • 4
  • 4
  • 20
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 6
  • 3
Verlag
  • 4144
  • 1
  • 1
  • 3
  • 24
Preis
  • 13
  • 145
  • 3240
  • 775
Sprachen
  • 4173
  • 5
Verfügbarkeit
  • 4170
  • 3
Katalog
  • 4173
  • 237
4.173  Treffer  für „Lecture Notes in Computer Science“
    Cointe | Meta-Level Architectures and Reflection | Buch | Sack Fachmedien

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Vardi | Formal Techniques for Networked and Distributed Systems - FORTE 2002 | Buch | Sack Fachmedien

    Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002

    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00141-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Zomaya / Martinez | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing

    15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27139-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    König-Ries / Makki / Pissinou | Developing an Infrastructure for Mobile and Wireless Systems | Buch | Sack Fachmedien

    König-Ries / Makki / Pissinou Developing an Infrastructure for Mobile and Wireless Systems

    NSF Workshop IMWS 2001, Scottsdale, AZ, October 15, 2001, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00289-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov / Wasniewski | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing

    4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21090-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Zhang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Graf / Zhang Automated Technology for Verification and Analysis

    4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47237-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bures / Duchien / Inverardi | Software Architecture | Buch | Sack Fachmedien

    Bures / Duchien / Inverardi Software Architecture

    13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-29982-8
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alpuente / Vidal-Oriola | Static Analysis | Buch | Sack Fachmedien

    Alpuente / Vidal-Oriola Static Analysis

    15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-69163-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adam / Bhargava | Advanced Database Systems | Buch | Sack Fachmedien

    Adam / Bhargava Advanced Database Systems

    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57507-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Troubitsyna | Software Engineering for Resilient Systems | Buch | Sack Fachmedien

    Troubitsyna Software Engineering for Resilient Systems

    Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24123-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bal / Belkhouche / Cardelli | Internet Programming Languages | Buch | Sack Fachmedien

    Bal / Belkhouche / Cardelli Internet Programming Languages

    ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66673-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sergey | Programming Languages and Systems | Buch | Sack Fachmedien

    Sergey Programming Languages and Systems

    20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21036-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40325-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Sack / Santoro | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Sack / Santoro Algorithms and Data Structures

    Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51542-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi | CONCUR 2000 - Concurrency Theory | Buch | Sack Fachmedien

    Palamidessi CONCUR 2000 - Concurrency Theory

    11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67897-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papadakis / Vergilio | Search-Based Software Engineering | Buch | Sack Fachmedien

    Papadakis / Vergilio Search-Based Software Engineering

    14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21250-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Rolim | Approximation Algorithms for Combinatorial Optimization | Buch | Sack Fachmedien

    Jansen / Rolim Approximation Algorithms for Combinatorial Optimization

    International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64736-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozapalidis / Rahonis | Algebraic Informatics | Buch | Sack Fachmedien

    Bozapalidis / Rahonis Algebraic Informatics

    Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75413-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sztipanovits | Reliable Systems on Unreliable Networked Platforms | Buch | Sack Fachmedien

    Kordon / Sztipanovits Reliable Systems on Unreliable Networked Platforms

    12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71155-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bunt / Beun | Cooperative Multimodal Communication | Buch | Sack Fachmedien

    Bunt / Beun Cooperative Multimodal Communication

    Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998. Selected Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42806-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fonseca / Fleming / Zitzler | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Fonseca / Fleming / Zitzler Evolutionary Multi-Criterion Optimization

    Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-01869-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jiang / Lee | Computing and Combinatorics | Buch | Sack Fachmedien

    Jiang / Lee Computing and Combinatorics

    Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997. Proceedings.
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63357-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antoniou / Boley | Rules and Rule Markup Languages for the Semantic Web | Buch | Sack Fachmedien

    Antoniou / Boley Rules and Rule Markup Languages for the Semantic Web

    Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23842-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivetti | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Olivetti Automated Reasoning with Analytic Tableaux and Related Methods

    16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73098-9
    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