Ergebnisse filtern
Fachgebiet
Medium
  • 3103
  • 334
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 5
  • 34
  • 121
  • 110
  • 97
  • 80
  • 89
  • 115
  • 124
  • 28
  • 40
  • 32
  • 33
  • 20
  • 23
  • 20
  • 122
  • 75
  • 148
  • 300
  • 296
  • 211
  • 104
  • 132
  • 84
  • 112
  • 85
  • 86
  • 84
  • 79
  • 79
  • 68
  • 65
  • 59
  • 41
  • 65
  • 33
  • 34
  • 26
  • 20
  • 16
  • 7
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 25
  • 12
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 10
  • 20
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 24
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 13
  • 4
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 4
  • 10
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 6
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 9
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 8
  • 4
  • 6
  • 6
  • 3
  • 4
  • 29
  • 11
  • 3
  • 4
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 5
  • 7
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 13
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 4
  • 15
  • 5
  • 4
  • 3
  • 3
  • 4
  • 10
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 6
  • 4
  • 6
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
Verlag
  • 2
  • 1
  • 1
  • 268
  • 2
  • 1
  • 1
  • 6
  • 1
  • 5
  • 11
  • 17
  • 44
  • 1
  • 23
  • 347
  • 1
  • 6
  • 5
  • 1
  • 1
  • 3
  • 2
  • 9
  • 2
  • 4
  • 4
  • 1
  • 2
  • 3
  • 3
  • 1
  • 13
  • 1
  • 21
  • 3
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 4
  • 4
  • 3
  • 2
  • 612
  • 1584
  • 75
  • 3
  • 1
  • 2
  • 31
  • 34
  • 16
  • 14
  • 47
  • 10
  • 21
  • 2
  • 5
  • 1
  • 55
  • 17
  • 2
  • 1
  • 21
  • 32
  • 3
  • 2
  • 1
  • 1
Preis
  • 109
  • 503
  • 2029
  • 800
Sprachen
  • 3204
  • 234
  • 7
  • 1
Verfügbarkeit
  • 3410
  • 31
Katalog
  • 3441
  • 172
3.441  Titel
    Courcoubetis | Computer Aided Verification | Buch | Sack Fachmedien

    Courcoubetis Computer Aided Verification

    5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farhi | Reactive Programming with Angular and ngrx | Buch | Sack Fachmedien

    Farhi Reactive Programming with Angular and ngrx

    Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions
    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-2619-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuppens / Waidner / Deswarte | Computer Security - ESORICS 2000 | Buch | Sack Fachmedien

    Cuppens / Waidner / Deswarte Computer Security - ESORICS 2000

    6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41031-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Glaser / Kuchen / Hartel | Programming Languages: Implementations, Logics, and Programs | Buch | Sack Fachmedien

    Glaser / Kuchen / Hartel Programming Languages: Implementations, Logics, and Programs

    9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63398-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Govil-Pai | Principles of Computer Graphics | Buch | Sack Fachmedien

    Govil-Pai Principles of Computer Graphics

    Theory and Practice Using OpenGL and Maya®
    2005
    Verlag: Springer US
    ISBN: 978-0-387-95504-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pelikan | Hierarchical Bayesian Optimization Algorithm | Buch | Sack Fachmedien

    Pelikan Hierarchical Bayesian Optimization Algorithm

    Toward a New Generation of Evolutionary Algorithms
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-23774-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Georgiou | Do-All Computing in Distributed Systems | Buch | Sack Fachmedien

    Georgiou Do-All Computing in Distributed Systems

    Cooperation in the Presence of Adversity
    Softcover Nachdruck of hardcover 1. Auflage 2008
    Verlag: Springer US
    ISBN: 978-1-4419-4043-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Rhee | Information Security and Cryptology - ICISC 2006 | Buch | Sack Fachmedien

    Lee / Rhee Information Security and Cryptology - ICISC 2006

    9th International Conference, Busan, Korea, November 30 - December 1, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-49112-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nebel | Formale Grundlagen der Programmierung | Buch | Sack Fachmedien

    Nebel Formale Grundlagen der Programmierung

    1. Auflage 2012
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8348-1889-8
    Medium: Buch
    27,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreno-Díaz / Quesada Arencibia / Pichler | Computer Aided Systems Theory - EUROCAST 2005 | Buch | Sack Fachmedien

    Moreno-Díaz / Quesada Arencibia / Pichler Computer Aided Systems Theory - EUROCAST 2005

    10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29002-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tatzl | Programmierpraxis SHARP PC-1350 | Buch | Sack Fachmedien

    Tatzl Programmierpraxis SHARP PC-1350

    1987
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-04468-8
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doherty / Blandford | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Doherty / Blandford Interactive Systems. Design, Specification, and Verification

    13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69553-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montoyo / Métais / Munoz | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Montoyo / Métais / Munoz Natural Language Processing and Information Systems

    10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26031-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernandes / Lämmel / Visser | Generative and Transformational Techniques in Software Engineering III | Buch | Sack Fachmedien

    Fernandes / Lämmel / Visser Generative and Transformational Techniques in Software Engineering III

    International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-18022-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Talbi | Parallel Combinatorial Optimization | Buch | Sack Fachmedien

    Talbi Parallel Combinatorial Optimization

    1. Auflage 2006
    Verlag: Wiley
    ISBN: 978-0-471-72101-7
    Medium: Buch
    146,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lingas / Carlsson / Karlsson | Automata, Languages and Programming | Buch | Sack Fachmedien

    Lingas / Carlsson / Karlsson Automata, Languages and Programming

    20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56939-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Irwin | Computational Intelligence and Bioinformatics | Buch | Sack Fachmedien

    Huang / Irwin Computational Intelligence and Bioinformatics

    International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part III
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37277-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martins / Ferreira / Bråthen | Intelligent Transport Systems | Buch | Sack Fachmedien

    Martins / Ferreira / Bråthen Intelligent Transport Systems

    7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-49378-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martins / Madeira | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Martins / Madeira Recent Trends in Algebraic Development Techniques

    26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-43344-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Damiani / Kamburjan | Active Object Languages: Current Research Trends | Buch | Sack Fachmedien

    de Boer / Damiani / Kamburjan Active Object Languages: Current Research Trends

    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-51059-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frintrop | VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search | Buch | Sack Fachmedien

    Frintrop VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-32759-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Willemse / Ferreira | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Willemse / Ferreira Software Engineering and Formal Methods

    21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-47114-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Najm / Stevens / Nestmann | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Najm / Stevens / Nestmann Formal Methods for Open Object-Based Distributed Systems

    6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20491-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herman / Tixeuil | Self-Stabilizing Systems | Buch | Sack Fachmedien

    Herman / Tixeuil Self-Stabilizing Systems

    7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29814-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sands | Programming Languages and Systems | Buch | Sack Fachmedien

    Sands Programming Languages and Systems

    10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41862-7
    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