Ergebnisse filtern
Fachgebiet
Medium
  • 1077
Erscheinungsjahr
  • 5
  • 43
  • 39
  • 22
  • 4
  • 4
  • 12
  • 14
  • 12
  • 8
  • 13
  • 17
  • 24
  • 21
  • 17
  • 27
  • 14
  • 37
  • 30
  • 22
  • 25
  • 16
  • 44
  • 39
  • 42
  • 51
  • 26
  • 43
  • 26
  • 38
  • 48
  • 49
  • 42
  • 32
  • 26
  • 35
  • 22
  • 20
  • 12
  • 15
  • 7
  • 6
  • 5
  • 3
  • 2
  • 7
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 13
  • 7
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 8
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 15
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 2
  • 5
  • 6
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 19
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 9
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
Verlag
  • 1073
  • 4
Preis
  • 8
  • 31
  • 878
  • 160
Sprachen
  • 1076
  • 2
  • 1
Verfügbarkeit
  • 1076
  • 1
Katalog
  • 1077
  • 53
1.077  Treffer  für „Lecture Notes in Computer Science“
    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
    Lam / Okamoto / Xing | Advances in Cryptology - ASIACRYPT'99 | Buch | Sack Fachmedien

    Lam / Okamoto / Xing Advances in Cryptology - ASIACRYPT'99

    International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66666-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bellare | Advances in Cryptology - CRYPTO 2000 | Buch | Sack Fachmedien

    Bellare Advances in Cryptology - CRYPTO 2000

    20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000. Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67907-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Messina / Murli | Problems and Methodologies in Mathematical Software Production | Buch | Sack Fachmedien

    Messina / Murli Problems and Methodologies in Mathematical Software Production

    International Seminar, Held at Sorrento, Italy, November 3-8, 1980
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11603-5
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Correia / Rosá / Garijo | Advances in Artificial Intelligence - IBERAMIA 2024 | Buch | Sack Fachmedien

    Correia / Rosá / Garijo Advances in Artificial Intelligence - IBERAMIA 2024

    18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-80365-9
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouchon / Yager | Uncertainty in Knowledge-Based Systems | Buch | Sack Fachmedien

    Bouchon / Yager Uncertainty in Knowledge-Based Systems

    International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, June 30 - July 4, 1986. Selected and Extended Contributions
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18579-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Hemert / Cotta | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    van Hemert / Cotta Evolutionary Computation in Combinatorial Optimization

    8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78603-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner | Theory Reasoning in Connection Calculi | Buch | Sack Fachmedien

    Baumgartner Theory Reasoning in Connection Calculi

    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65509-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arora / Jansen / Rolim | Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques | Buch | Sack Fachmedien

    Arora / Jansen / Rolim Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

    6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeto, NY, USA, August 24-26,2003
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40770-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Wang | Advances in Neural Networks - ISNN 2025 | Buch | Sack Fachmedien

    Jin / Wang Advances in Neural Networks - ISNN 2025

    19th International Symposium on Neural Networks, Zhangye, China, August 22-24, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-951232-4
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brun / Carletti / Bougleux | Graph-Based Representations in Pattern Recognition | Buch | Sack Fachmedien

    Brun / Carletti / Bougleux Graph-Based Representations in Pattern Recognition

    14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25-27, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94138-2
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bac / Mari | Computational Topology in Image Context | Buch | Sack Fachmedien

    Bac / Mari Computational Topology in Image Context

    6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-39440-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cowling / Merz | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Cowling / Merz Evolutionary Computation in Combinatorial Optimization

    10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12138-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krawczyk | Advances in Cryptology - CRYPTO '98 | Buch | Sack Fachmedien

    Krawczyk Advances in Cryptology - CRYPTO '98

    18th Annual International Cryptology Conference, Santa Barbara, California, USA, August 23-27, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64892-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hochbaum / Jansen / Rolim | Randomization, Approximation, and Combinatorial Optimization. Algorithms and Techniques | Buch | Sack Fachmedien

    Hochbaum / Jansen / Rolim Randomization, Approximation, and Combinatorial Optimization. Algorithms and Techniques

    Third International Workshop on Randomization and Approximation Techniques in Computer Science, and Second International Workshop on Approximation Algorithms for Combinatorial Optimization Problems RANDOM-APPROX'99,Berkeley, CA, USA, August 8-11, 1999 Pro
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66329-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seberry / Pieprzyk | Advances in Cryptology - AUSCRYPT '90 | Buch | Sack Fachmedien

    Seberry / Pieprzyk Advances in Cryptology - AUSCRYPT '90

    International Conference on Cryptology Sydney, Australia, January 8-11, 1990
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-53000-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaliski | Advances in Cryptology - CRYPTO '97 | Buch | Sack Fachmedien

    Kaliski Advances in Cryptology - CRYPTO '97

    17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63384-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liefooghe / Paquete | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    Liefooghe / Paquete Evolutionary Computation in Combinatorial Optimization

    19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-16710-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gerhard | Modular Algorithms in Symbolic Summation and Symbolic Integration | Buch | Sack Fachmedien

    Gerhard Modular Algorithms in Symbolic Summation and Symbolic Integration

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24061-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Dowek / Hirschowitz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66463-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mora | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Mora Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51083-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghosh / Zhang | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Ghosh / Zhang Algorithmic Aspects in Information and Management

    18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-7800-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parisi-Presicce | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Parisi-Presicce Recent Trends in Algebraic Development Techniques

    12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64299-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corradini / Montanari | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Corradini / Montanari Recent Trends in Algebraic Development Techniques

    19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03428-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aagaard / Harrison | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Aagaard / Harrison Theorem Proving in Higher Order Logics

    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67863-2
    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