Ergebnisse filtern
Fachgebiet
Medium
  • 4299
Erscheinungsjahr
  • 4
  • 183
  • 234
  • 190
  • 131
  • 47
  • 26
  • 42
  • 51
  • 66
  • 47
  • 79
  • 76
  • 74
  • 79
  • 64
  • 66
  • 158
  • 121
  • 138
  • 198
  • 181
  • 139
  • 207
  • 220
  • 181
  • 184
  • 119
  • 118
  • 97
  • 100
  • 96
  • 82
  • 68
  • 67
  • 53
  • 70
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 8
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 6
  • 5
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 5
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 4
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 6
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 6
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 6
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 8
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 10
  • 5
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 3
  • 13
  • 2
  • 6
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 5
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 38
  • 29
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 3
  • 4
  • 3
  • 5
  • 6
  • 2
  • 7
  • 3
  • 4
  • 3
  • 3
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 9
  • 6
  • 6
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 10
  • 5
  • 3
  • 3
  • 4
  • 6
  • 6
  • 3
  • 25
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 8
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 14
  • 5
  • 6
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 8
  • 6
  • 5
  • 3
  • 10
  • 3
  • 7
  • 4
  • 5
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 3
  • 8
  • 12
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 6
  • 8
  • 5
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 7
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 7
  • 4
  • 7
  • 8
  • 3
  • 5
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 8
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 5
  • 3
  • 11
  • 5
  • 4
  • 12
  • 28
  • 6
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 4
  • 5
  • 3
  • 12
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 7
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 19
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 3
  • 6
  • 4
  • 3
  • 6
  • 4
  • 9
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 8
  • 22
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 6
  • 4
  • 3
  • 6
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 5
  • 4
  • 8
  • 6
  • 13
  • 9
  • 6
  • 3
  • 4
  • 30
  • 5
  • 11
  • 4
  • 12
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 8
  • 5
  • 4
  • 4
  • 4
  • 3
  • 5
  • 7
  • 4
  • 12
  • 21
  • 6
  • 4
  • 3
  • 9
  • 5
  • 4
  • 3
  • 40
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 9
  • 20
  • 5
  • 10
  • 6
  • 3
  • 13
  • 6
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 13
  • 4
  • 5
  • 4
  • 4
  • 19
  • 6
  • 3
  • 13
  • 5
  • 9
  • 5
  • 3
  • 3
  • 11
  • 4
  • 5
  • 4
  • 6
  • 22
  • 5
  • 11
  • 4
  • 6
  • 3
Verlag
  • 3
  • 4253
  • 1
  • 1
  • 13
  • 4
  • 6
  • 18
Preis
  • 13
  • 161
  • 3332
  • 793
Sprachen
  • 4299
  • 5
Verfügbarkeit
  • 4226
  • 73
Katalog
  • 4299
  • 242
4.299  Treffer  für „Lecture Notes in Computer Science“
    Iida / Meseguer / Ogata | Specification, Algebra, and Software | Buch | Sack Fachmedien

    Iida / Meseguer / Ogata Specification, Algebra, and Software

    Essays Dedicated to Kokichi Futatsugi
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54623-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Jin / Ungerer | Autonomic and Trusted Computing | Buch | Sack Fachmedien

    Yang / Jin / Ungerer Autonomic and Trusted Computing

    Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38619-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bourke / Chen / Goharshady | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Bourke / Chen / Goharshady Dependable Software Engineering. Theories, Tools, and Applications

    10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-981-960601-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lan / Mei / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960779-2
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Gao / Sun | Computing and Combinatorics | Buch | Sack Fachmedien

    Chen / Gao / Sun Computing and Combinatorics

    30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-961092-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Cao / Nguyen | Databases Theory and Applications | Buch | Sack Fachmedien

    Chen / Cao / Nguyen Databases Theory and Applications

    35th Australasian Database Conference, ADC 2024, Gold Coast, QLD, Australia, and Tokyo, Japan, December 16-18, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-981-961241-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kertesz / Li / Supnithi | Computational Data and Social Networks | Buch | Sack Fachmedien

    Kertesz / Li / Supnithi Computational Data and Social Networks

    13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-966388-0
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leite / Omicini / Sterling | Declarative Agent Languages and Technologies | Buch | Sack Fachmedien

    Leite / Omicini / Sterling Declarative Agent Languages and Technologies

    First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22124-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luo / Zhang | CLOUD Computing - CLOUD 2025 | Buch | Sack Fachmedien

    Luo / Zhang CLOUD Computing - CLOUD 2025

    18th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06325-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reich / Tzagarakis / De Bra | Hypermedia: Openness, Structural Awareness, and Adaptivity | Buch | Sack Fachmedien

    Reich / Tzagarakis / De Bra Hypermedia: Openness, Structural Awareness, and Adaptivity

    International Workshops OHS-7, SC-3, and AH-3, Aarhus, Denmark, August 14-18, 2001. Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43293-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wright | Financial Cryptography | Buch | Sack Fachmedien

    Wright Financial Cryptography

    7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40663-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demoen / Lifschitz | Logic Programming | Buch | Sack Fachmedien

    Demoen / Lifschitz Logic Programming

    20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22671-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duesterwald | Compiler Construction | Buch | Sack Fachmedien

    Duesterwald Compiler Construction

    13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21297-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hojjat / Caltais | Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Hojjat / Caltais Fundamentals of Software Engineering

    11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-87053-8
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Zhang | CLOUD Computing - CLOUD 2024 | Buch | Sack Fachmedien

    Wang / Zhang CLOUD Computing - CLOUD 2024

    17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77152-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeng / Zhang | Edge Computing - EDGE 2024 | Buch | Sack Fachmedien

    Zeng / Zhang Edge Computing - EDGE 2024

    8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-77068-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf / Pettersson / Steffen | Real Time and Such | Buch | Sack Fachmedien

    Graf / Pettersson / Steffen Real Time and Such

    Essays Dedicated to Wang Yi to Celebrate His Scientific Career
    2025
    Verlag: Springer
    ISBN: 978-3-031-73750-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shankaranarayanan / Sankaranarayanan / Trivedi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation

    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82699-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boyle / Mahmoody | Theory of Cryptography | Buch | Sack Fachmedien

    Boyle / Mahmoody Theory of Cryptography

    22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78019-6
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arisaka / Sanchez-Anguix / Stein | PRIMA 2024: Principles and Practice of Multi-Agent Systems | Buch | Sack Fachmedien

    Arisaka / Sanchez-Anguix / Stein PRIMA 2024: Principles and Practice of Multi-Agent Systems

    25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77366-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Menéndez / Bello-Orgaz / Barnard | Testing Software and Systems | Buch | Sack Fachmedien

    Menéndez / Bello-Orgaz / Barnard Testing Software and Systems

    36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-80888-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finocchi / Georgiadis | Algorithms and Complexity | Buch | Sack Fachmedien

    Finocchi / Georgiadis Algorithms and Complexity

    14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92931-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Ferreira / Mezzina | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Ferreira / Mezzina Formal Techniques for Distributed Objects, Components, and Systems

    45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95496-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kochetov / Khachay / Eremeev | Mathematical Optimization Theory and Operations Research | Buch | Sack Fachmedien

    Kochetov / Khachay / Eremeev Mathematical Optimization Theory and Operations Research

    24th International Conference, MOTOR 2025, Novosibirsk, Russia, July 7-11, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97076-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Humphrey / Titolo | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Humphrey / Titolo NASA Formal Methods

    17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93705-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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