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
  • 4112
  • 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“
    Peng / Ampatzoglou / Bhowmik | Reuse in the Big Data Era | Buch | Sack Fachmedien

    Peng / Ampatzoglou / Bhowmik Reuse in the Big Data Era

    18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-22887-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basili / Lembo / Limongelli | AIxIA 2023 - Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Basili / Lembo / Limongelli AIxIA 2023 - Advances in Artificial Intelligence

    XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47545-0
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Astesiano / Reggio | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Astesiano / Reggio Recent Trends in Data Type Specification

    10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schek / Saltor / Ramos | Advances in Database Technology - EDBT '98 | Buch | Sack Fachmedien

    Schek / Saltor / Ramos Advances in Database Technology - EDBT '98

    6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998.
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64264-0
    Medium: Buch
    53,49 € (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-70628-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ?u?u | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    ?u?u Recent Trends in Algebraic Development Techniques

    27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-88929-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Orgun / Thornton | AI 2007: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Orgun / Thornton AI 2007: Advances in Artificial Intelligence

    20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76926-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vento / Foggia / Conte | Graph-Based Representations in Pattern Recognition | Buch | Sack Fachmedien

    Vento / Foggia / Conte Graph-Based Representations in Pattern Recognition

    13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42794-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kwok / Zhang / Lu | Advances in Neural Networks -- ISNN 2010 | Buch | Sack Fachmedien

    Kwok / Zhang / Lu Advances in Neural Networks -- ISNN 2010

    7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13317-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwenker / El Gayar | Artificial Neural Networks in Pattern Recognition | Buch | Sack Fachmedien

    Schwenker / El Gayar Artificial Neural Networks in Pattern Recognition

    4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12158-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freitag / Decker / Kifer | Transactions and Change in Logic Databases | Buch | Sack Fachmedien

    Freitag / Decker / Kifer Transactions and Change in Logic Databases

    International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97)
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65305-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hurd / Melham | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Hurd / Melham Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28372-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dondi / Fertin / Mauri | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Dondi / Fertin / Mauri Algorithmic Aspects in Information and Management

    11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41167-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sichman / Coelho / Rezende | Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 | Buch | Sack Fachmedien

    Sichman / Coelho / Rezende Advances in Artificial Intelligence - IBERAMIA-SBIA 2006

    2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45462-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Zurada | Advances in Neural Networks - ISNN 2006 /3 | Buch | Sack Fachmedien

    Wang / Yi / Zurada Advances in Neural Networks - ISNN 2006 /3

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III
    2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-34482-7
    Medium: Buch
    129,99 € (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
    Wang / Chen / Ong | Advances in Natural Computation Part 02 | Buch | Sack Fachmedien

    Wang / Chen / Ong Advances in Natural Computation Part 02

    First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II
    Erscheinungsjahr 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28325-6
    Medium: Buch
    123,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jarke / Bubenko / Jeffery | Advances in Database Technology - EDBT '94 | Buch | Sack Fachmedien

    Jarke / Bubenko / Jeffery Advances in Database Technology - EDBT '94

    4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57818-5
    Medium: Buch
    53,49 € (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
    Liu / Fei / Hou | Advances in Neural Networks - ISNN 2007 | Buch | Sack Fachmedien

    Liu / Fei / Hou Advances in Neural Networks - ISNN 2007

    4th International Symposium on Neutral Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72392-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagot / Walter | Advances in Bioinformatics and Computational Biology | Buch | Sack Fachmedien

    Sagot / Walter Advances in Bioinformatics and Computational Biology

    Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73730-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Codescu / Diaconescu / ?u?u | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Codescu / Diaconescu / ?u?u Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28113-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dovier / Montanari / Orlandini | AIxIA 2022 - Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Dovier / Montanari / Orlandini AIxIA 2022 - Advances in Artificial Intelligence

    XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27180-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slind / Bunker / Gopalakrishnan | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Slind / Bunker / Gopalakrishnan Theorem Proving in Higher Order Logics

    17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23017-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / Wolff | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Basin / Wolff Theorem Proving in Higher Order Logics

    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40664-8
    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