Ergebnisse filtern
Fachgebiet
Medium
  • 4135
Erscheinungsjahr
  • 17
  • 234
  • 187
  • 135
  • 46
  • 30
  • 40
  • 49
  • 67
  • 54
  • 72
  • 74
  • 71
  • 84
  • 72
  • 77
  • 140
  • 132
  • 147
  • 202
  • 162
  • 142
  • 212
  • 214
  • 181
  • 181
  • 122
  • 121
  • 91
  • 101
  • 98
  • 84
  • 70
  • 65
  • 49
  • 69
  • 39
  • 40
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 8
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 11
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 5
  • 4
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 5
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 4
  • 2
  • 5
  • 4
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 11
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 9
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 4
  • 2
  • 10
  • 3
  • 7
  • 2
  • 3
  • 2
  • 12
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 33
  • 27
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 8
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 8
  • 6
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 4
  • 4
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 6
  • 20
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 4
  • 3
  • 9
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 3
  • 11
  • 3
  • 3
  • 5
  • 5
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 12
  • 5
  • 6
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 8
  • 4
  • 6
  • 3
  • 7
  • 3
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 5
  • 6
  • 5
  • 4
  • 5
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 12
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 7
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 7
  • 4
  • 7
  • 3
  • 9
  • 12
  • 3
  • 6
  • 4
  • 4
  • 11
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 3
  • 9
  • 5
  • 5
  • 10
  • 21
  • 6
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 10
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 5
  • 5
  • 5
  • 9
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 9
  • 4
  • 15
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 7
  • 7
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 7
  • 7
  • 3
  • 6
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 7
  • 5
  • 5
  • 3
  • 3
  • 9
  • 4
  • 18
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 9
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 7
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 8
  • 4
  • 4
  • 4
  • 3
  • 5
  • 6
  • 8
  • 9
  • 4
  • 3
  • 3
  • 3
  • 4
  • 35
  • 6
  • 9
  • 4
  • 10
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 4
  • 3
  • 27
  • 6
  • 4
  • 3
  • 9
  • 3
  • 4
  • 30
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 8
  • 6
  • 15
  • 9
  • 7
  • 3
  • 3
  • 8
  • 6
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 3
  • 5
  • 18
  • 6
  • 4
  • 5
  • 11
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 9
  • 5
  • 5
  • 4
  • 3
  • 3
  • 18
  • 3
  • 5
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
Verlag
  • 4111
  • 1
  • 1
  • 1
  • 21
Preis
  • 13
  • 150
  • 3190
  • 782
Sprachen
  • 4135
  • 5
  • 1
Verfügbarkeit
  • 4134
  • 1
Eigenschaften
  • 1
Katalog
  • 4135
  • 235
4.135  Treffer  für „Lecture Notes in Computer Science“
    Paun / Salomaa | New Trends in Formal Languages | Buch | Sack Fachmedien

    Paun / Salomaa New Trends in Formal Languages

    Control, Cooperation, and Combinatorics
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62844-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hattori / Kawamura / Ide | New Frontiers in Artificial Intelligence | Buch | Sack Fachmedien

    Hattori / Kawamura / Ide New Frontiers in Artificial Intelligence

    JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00608-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laurini | Advances in Visual Information Systems | Buch | Sack Fachmedien

    Laurini Advances in Visual Information Systems

    4th International Conference, VISUAL 2000, Lyon, France, November 2-4, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41177-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1993 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1993

    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56689-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biham | Advances in Cryptology - EUROCRYPT 2003 | Buch | Sack Fachmedien

    Biham Advances in Cryptology - EUROCRYPT 2003

    International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-14039-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bhalla | Databases in Networked Information Systems | Buch | Sack Fachmedien

    Bhalla Databases in Networked Information Systems

    Second International Workshop, DNIS 2002, Aizu, Japan, December 16-18, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00264-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dabrowski / Dabrowski / Pieprzyk | Number-Theoretic Methods in Cryptology | Buch | Sack Fachmedien

    Dabrowski / Dabrowski / Pieprzyk Number-Theoretic Methods in Cryptology

    4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82379-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Matsumoto | Advances in Cryptology - ASIACRYPT '96 | Buch | Sack Fachmedien

    Kim / Matsumoto Advances in Cryptology - ASIACRYPT '96

    International Conference on the Theory and Applications of Crypotology and Information Security, Kyongju, Korea, November 3 - 7, 1996, Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61872-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hendtlass / Ali | Developments in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Hendtlass / Ali Developments in Applied Artificial Intelligence

    15th International Conference on Industrial and Engineering. Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43781-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barceló / Pichler | Datalog in Academia and Industry | Buch | Sack Fachmedien

    Barceló / Pichler Datalog in Academia and Industry

    Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32924-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naweed / Wardaszko / Leigh | Intersections in Simulation and Gaming | Buch | Sack Fachmedien

    Naweed / Wardaszko / Leigh Intersections in Simulation and Gaming

    21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, Melbourne, VIC,
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-78794-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melkebeek | Randomness and Completeness in Computational Complexity | Buch | Sack Fachmedien

    Melkebeek Randomness and Completeness in Computational Complexity

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41492-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Choppy | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Bidoit / Choppy Recent Trends in Data Type Specification

    8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borzemski / Grzech / Ali | New Frontiers in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Borzemski / Grzech / Ali New Frontiers in Applied Artificial Intelligence

    21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69045-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boulton / Jackson | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Boulton / Jackson Theorem Proving in Higher Order Logics

    14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42525-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / He / Zhang | Advances in Neural Networks - ISNN 2009 | Buch | Sack Fachmedien

    Yu / He / Zhang Advances in Neural Networks - ISNN 2009

    6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01512-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eleftherakis / Kefalas / Paun | Membrane Computing | Buch | Sack Fachmedien

    Eleftherakis / Kefalas / Paun Membrane Computing

    8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77311-5
    Medium: Buch
    53,49 € (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
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61064-9
    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
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66246-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Jüttler | Advances in Geometric Modeling and Processing | Buch | Sack Fachmedien

    Chen / Jüttler Advances in Geometric Modeling and Processing

    5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79245-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekli / Gamper / Chbeir | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Tekli / Gamper / Chbeir Advances in Databases and Information Systems

    28th European Conference, ADBIS 2024, Bayonne, France, August 28–31, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-70625-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artale / Cortellessa / Montali | AIxIA 2024 - Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Artale / Cortellessa / Montali AIxIA 2024 - Advances in Artificial Intelligence

    XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-80606-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan / Liu / Westerståhl | The Connectives in Logic and Language | Buch | Sack Fachmedien

    Yan / Liu / Westerståhl The Connectives in Logic and Language

    4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-86053-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bilardi / Ferreira / Lüling | Solving Irregularly Structured Problems in Parallel | Buch | Sack Fachmedien

    Bilardi / Ferreira / Lüling Solving Irregularly Structured Problems in Parallel

    4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63138-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carreno / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Carreno / Munoz / Tahar Theorem Proving in Higher Order Logics

    15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44039-0
    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