Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Ergebnisse filtern
Fachgebiet
Medium
  • 11134
Erscheinungsjahr
  • 6
  • 746
  • 796
  • 840
  • 618
  • 478
  • 283
  • 311
  • 316
  • 316
  • 277
  • 317
  • 307
  • 303
  • 295
  • 295
  • 284
  • 286
  • 255
  • 211
  • 265
  • 271
  • 228
  • 358
  • 307
  • 255
  • 254
  • 176
  • 177
  • 134
  • 137
  • 133
  • 117
  • 106
  • 93
  • 73
  • 88
  • 59
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 9
  • 5
  • 12
  • 27
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 8
  • 10
  • 4
  • 4
  • 4
  • 8
  • 17
  • 6
  • 14
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 9
  • 9
  • 6
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 14
  • 4
  • 33
  • 36
  • 7
  • 41
  • 5
  • 5
  • 4
  • 5
  • 5
  • 6
  • 8
  • 5
  • 13
  • 4
  • 21
  • 13
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 7
  • 4
  • 39
  • 13
  • 6
  • 4
  • 6
  • 4
  • 5
  • 4
  • 6
  • 5
  • 7
  • 4
  • 4
  • 4
  • 10
  • 4
  • 7
  • 17
  • 8
  • 6
  • 4
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 8
  • 24
  • 4
  • 4
  • 8
  • 10
  • 10
  • 11
  • 7
  • 6
  • 4
  • 12
  • 7
  • 4
  • 4
  • 5
  • 4
  • 19
  • 5
  • 6
  • 14
  • 6
  • 12
  • 5
  • 5
  • 5
  • 9
  • 7
  • 4
  • 4
  • 8
  • 4
  • 25
  • 4
  • 4
  • 4
  • 10
  • 5
  • 11
  • 5
  • 6
  • 40
  • 4
  • 6
  • 4
  • 4
  • 8
  • 6
  • 20
  • 18
  • 6
  • 4
  • 4
  • 5
  • 8
  • 6
  • 11
  • 9
  • 4
  • 6
  • 4
  • 5
  • 13
  • 4
  • 5
  • 4
  • 7
  • 10
  • 4
  • 4
  • 4
  • 7
  • 8
  • 12
  • 12
  • 9
  • 4
  • 12
  • 9
  • 8
  • 16
  • 4
  • 7
  • 5
  • 4
  • 4
  • 6
  • 10
  • 39
  • 18
  • 7
  • 6
  • 4
  • 8
  • 5
  • 7
  • 7
  • 16
  • 4
  • 4
  • 8
  • 4
  • 15
  • 7
  • 5
  • 13
  • 4
  • 4
  • 6
  • 24
  • 4
  • 15
  • 10
  • 4
  • 4
  • 11
  • 4
  • 4
  • 10
  • 6
  • 6
  • 6
  • 4
  • 7
  • 34
  • 4
  • 16
  • 41
  • 13
  • 8
  • 17
  • 19
  • 4
  • 11
  • 4
  • 46
  • 4
  • 9
  • 38
  • 4
  • 10
  • 14
  • 12
  • 4
  • 12
  • 6
  • 11
  • 10
  • 6
  • 4
  • 5
  • 39
  • 5
  • 11
  • 8
  • 12
  • 4
  • 4
  • 4
  • 7
  • 12
  • 13
  • 6
  • 5
  • 4
  • 16
  • 4
  • 6
  • 14
  • 6
  • 8
  • 4
  • 6
  • 4
  • 25
  • 26
  • 15
  • 27
  • 9
  • 7
  • 5
  • 8
  • 8
  • 5
  • 7
  • 6
  • 5
  • 16
  • 13
  • 24
  • 6
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 7
  • 4
  • 8
  • 4
  • 9
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 15
  • 10
  • 4
  • 10
  • 10
  • 4
  • 4
  • 5
  • 49
  • 40
  • 9
  • 41
  • 4
  • 8
  • 17
  • 4
  • 7
  • 8
  • 34
  • 13
  • 4
  • 7
  • 4
  • 18
  • 8
  • 6
  • 5
  • 10
  • 26
  • 15
  • 43
  • 78
  • 9
  • 7
  • 15
  • 10
  • 8
  • 5
  • 6
  • 10
  • 15
  • 5
  • 8
  • 8
  • 6
  • 6
  • 6
  • 6
  • 8
  • 6
  • 5
  • 5
  • 5
  • 5
  • 20
  • 17
  • 11
  • 6
  • 9
  • 8
  • 5
  • 5
  • 12
  • 20
  • 67
  • 34
  • 8
  • 20
  • 17
  • 24
  • 105
  • 5
  • 11
  • 6
  • 8
  • 15
  • 11
  • 6
  • 7
  • 19
  • 15
  • 5
  • 11
  • 8
  • 6
  • 16
  • 7
  • 5
  • 6
  • 5
  • 5
  • 14
  • 44
  • 6
  • 10
  • 8
  • 6
  • 9
  • 16
  • 6
  • 7
  • 8
  • 23
  • 39
  • 17
  • 8
  • 10
  • 5
  • 15
  • 5
  • 14
  • 15
  • 6
  • 7
  • 95
  • 5
  • 10
  • 6
  • 5
  • 8
  • 7
  • 7
  • 15
  • 5
  • 15
  • 6
  • 8
  • 5
  • 19
  • 13
  • 7
  • 5
  • 8
  • 6
  • 11
  • 17
  • 16
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 7
  • 10
  • 5
  • 6
  • 13
  • 6
  • 7
  • 5
  • 5
  • 6
  • 10
  • 5
  • 8
  • 11
  • 5
  • 15
  • 8
  • 7
  • 10
  • 42
  • 12
  • 5
  • 7
  • 24
  • 6
  • 17
  • 40
  • 6
  • 5
  • 12
  • 15
  • 9
  • 33
  • 6
  • 7
  • 6
  • 9
  • 7
  • 18
  • 6
  • 5
  • 11
  • 6
  • 17
  • 37
  • 21
  • 8
  • 10
  • 5
  • 17
  • 24
  • 5
  • 78
  • 13
  • 25
  • 46
  • 5
  • 6
  • 10
  • 5
  • 7
  • 5
  • 5
  • 10
  • 7
  • 5
  • 12
  • 6
  • 7
  • 7
  • 5
  • 9
  • 7
  • 6
  • 5
  • 16
  • 90
  • 13
  • 44
  • 7
  • 12
  • 6
  • 8
  • 5
  • 8
  • 14
  • 10
  • 11
  • 5
  • 5
  • 5
  • 9
  • 10
  • 18
  • 19
  • 8
  • 27
  • 5
  • 6
  • 6
  • 80
  • 5
  • 16
  • 6
  • 7
  • 10
  • 22
  • 5
  • 8
  • 5
  • 6
  • 6
  • 32
  • 6
  • 9
  • 25
  • 6
  • 5
  • 5
  • 13
  • 12
  • 13
  • 14
  • 11
  • 15
  • 13
  • 16
  • 78
  • 11
  • 9
  • 8
  • 27
  • 36
  • 31
  • 5
  • 5
  • 10
  • 8
  • 11
  • 18
  • 9
  • 6
  • 7
  • 9
  • 13
  • 5
  • 5
  • 6
  • 10
  • 20
  • 9
  • 8
  • 6
  • 10
  • 7
  • 7
  • 15
  • 7
  • 5
  • 35
  • 13
  • 9
  • 6
  • 8
  • 7
  • 6
  • 21
  • 7
  • 9
  • 13
  • 7
  • 8
  • 10
  • 96
  • 6
  • 7
  • 7
  • 5
  • 9
  • 12
  • 5
  • 7
  • 5
  • 7
  • 7
  • 11
  • 38
  • 7
  • 5
  • 16
  • 9
  • 5
  • 9
  • 6
  • 5
  • 14
  • 5
  • 21
  • 25
  • 5
  • 9
  • 5
  • 6
  • 8
  • 6
  • 8
  • 13
  • 6
  • 7
  • 5
  • 9
  • 7
  • 7
  • 5
  • 8
  • 48
  • 6
  • 22
  • 6
  • 6
  • 42
  • 14
  • 10
  • 9
  • 16
  • 20
  • 12
  • 16
  • 15
  • 6
  • 11
  • 5
  • 9
  • 27
  • 12
  • 12
  • 7
  • 6
  • 5
  • 20
  • 5
  • 10
  • 6
  • 15
  • 11
  • 6
  • 5
  • 6
  • 13
  • 7
  • 11
  • 6
  • 7
  • 13
  • 5
  • 8
  • 24
  • 5
  • 6
  • 39
  • 9
  • 8
  • 9
  • 6
  • 5
  • 17
  • 8
  • 8
  • 7
  • 30
  • 6
  • 14
  • 6
  • 7
  • 37
  • 8
  • 7
  • 6
  • 9
  • 10
  • 5
  • 90
  • 7
  • 6
  • 9
  • 5
  • 6
  • 33
  • 15
  • 8
  • 78
  • 20
  • 11
  • 8
  • 12
  • 12
  • 20
  • 18
  • 9
  • 9
  • 93
  • 6
  • 47
  • 5
  • 11
  • 11
  • 8
  • 6
  • 89
  • 17
  • 20
  • 12
  • 7
  • 9
  • 16
  • 12
  • 6
  • 9
  • 5
  • 5
  • 8
  • 5
  • 90
  • 5
  • 6
  • 17
  • 8
  • 7
  • 81
  • 12
  • 16
  • 16
  • 11
  • 9
  • 8
  • 10
  • 13
  • 5
  • 7
  • 8
  • 22
  • 18
  • 8
  • 5
  • 6
  • 15
  • 7
  • 27
  • 5
  • 7
  • 8
  • 5
  • 6
  • 5
  • 5
  • 14
  • 9
  • 6
  • 9
  • 8
  • 16
  • 6
  • 12
  • 23
  • 29
  • 6
  • 6
  • 6
  • 20
  • 9
  • 6
  • 13
  • 12
  • 33
  • 12
  • 5
  • 13
  • 10
  • 41
  • 8
  • 52
  • 11
  • 8
  • 6
  • 12
  • 12
  • 7
  • 22
  • 17
  • 17
  • 18
  • 19
  • 5
  • 5
  • 23
  • 14
  • 28
  • 62
  • 10
  • 16
  • 19
  • 8
  • 9
  • 7
  • 24
  • 6
  • 19
  • 16
  • 7
  • 6
  • 6
  • 19
  • 10
  • 61
  • 6
  • 81
  • 24
  • 12
  • 6
  • 13
  • 15
  • 7
  • 7
  • 7
  • 12
  • 15
  • 5
  • 12
  • 7
  • 15
  • 13
  • 7
  • 6
  • 10
  • 10
  • 89
  • 11
  • 5
  • 18
  • 16
  • 5
  • 6
  • 5
  • 7
  • 16
  • 8
  • 8
  • 9
  • 34
  • 5
  • 11
  • 9
  • 5
  • 8
  • 12
  • 13
  • 21
  • 5
  • 10
  • 6
  • 36
  • 6
  • 5
  • 6
  • 14
  • 19
  • 14
  • 10
  • 6
  • 6
  • 8
  • 8
  • 6
  • 5
  • 24
  • 7
  • 16
  • 10
  • 6
  • 6
  • 8
  • 6
  • 6
  • 5
  • 6
  • 14
  • 12
  • 9
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 13
  • 6
  • 5
  • 9
  • 5
  • 19
  • 25
  • 14
  • 6
  • 14
  • 5
  • 21
  • 18
  • 5
  • 6
  • 5
  • 5
  • 12
  • 6
  • 10
  • 18
  • 10
  • 6
  • 43
  • 6
  • 8
  • 6
  • 6
  • 5
  • 23
  • 6
  • 48
  • 41
  • 67
  • 41
  • 5
  • 15
  • 6
  • 11
  • 6
  • 20
  • 32
  • 7
  • 25
  • 21
  • 20
  • 9
  • 6
  • 5
  • 10
  • 7
  • 7
  • 6
  • 20
Verlag
  • 9
  • 10963
  • 3
  • 5
  • 1
  • 1
  • 103
  • 4
  • 1
  • 10
  • 34
Preis
  • 42
  • 402
  • 8433
  • 2257
Sprachen
  • 11129
  • 16
  • 13
Verfügbarkeit
  • 10855
  • 279
Eigenschaften
  • 7
Katalog
  • 11134
  • 591
11.134  Treffer  für „Lecture Notes in Computer Science“
    Hermann / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Hermann / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48281-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sinderen / Nieuwenhuis | Protocols for Multimedia Systems | Buch | Sack Fachmedien

    Sinderen / Nieuwenhuis Protocols for Multimedia Systems

    6th International Conference, PROMS 2001, Enschede, The Netherlands, October 17-19, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42708-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutchison / Danthine / Leopold | Multimedia Transport and Teleservices | Buch | Sack Fachmedien

    Hutchison / Danthine / Leopold Multimedia Transport and Teleservices

    International COST 237 Workshop, Vienna, Austria, November 13 - 15, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58759-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lopez de Mantaras / Plaza | Machine Learning: ECML 2000 | Buch | Sack Fachmedien

    Lopez de Mantaras / Plaza Machine Learning: ECML 2000

    11th European Conference on Machine Learning Barcelona, Catalonia, Spain May, 31 - June 2, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67602-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papazoglou / Zeleznikow | The Next Generation of Information Systems: From Data to Knowledge | Buch | Sack Fachmedien

    Papazoglou / Zeleznikow The Next Generation of Information Systems: From Data to Knowledge

    A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26, 1991
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55616-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibrahim / Choo / Yan | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Ibrahim / Choo / Yan Algorithms and Architectures for Parallel Processing

    17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-65481-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kermarrec / Bougé / Priol | Euro-Par 2007 Parallel Processing | Buch | Sack Fachmedien

    Kermarrec / Bougé / Priol Euro-Par 2007 Parallel Processing

    13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74465-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groß / Becker / Di Caro | Swarm Intelligence | Buch | Sack Fachmedien

    Groß / Becker / Di Caro Swarm Intelligence

    15th International Conference, ANTS 2026, Darmstadt, Germany, June 8-10, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-26122-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brookes / Roscoe / Winskel | Seminar on Concurrency | Buch | Sack Fachmedien

    Brookes / Roscoe / Winskel Seminar on Concurrency

    Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15670-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frasson / Gauthier / McCalla | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Frasson / Gauthier / McCalla Intelligent Tutoring Systems

    Second International Conference, ITS '92, Montreal, Canada, June 10-12, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55606-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christianson / Švenda / Matyas | Security Protocols XXIII | Buch | Sack Fachmedien

    Christianson / Švenda / Matyas Security Protocols XXIII

    23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26095-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu | High-Dimensional Indexing | Buch | Sack Fachmedien

    Yu High-Dimensional Indexing

    Transformational Approaches to High-Dimensional Range and Similarity Searches
    2002
    Verlag: Springer
    ISBN: 978-3-540-44199-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steunebrink / Wang / Goertzel | Artificial General Intelligence | Buch | Sack Fachmedien

    Steunebrink / Wang / Goertzel Artificial General Intelligence

    9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41648-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganzinger | ESOP '88 | Buch | Sack Fachmedien

    Ganzinger ESOP '88

    2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19027-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Camilleri | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Melham / Camilleri Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aylett / Krenn / Pelachaud | Intelligent Virtual Agents | Buch | Sack Fachmedien

    Aylett / Krenn / Pelachaud Intelligent Virtual Agents

    13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40414-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Jain | Biometric Authentication | Buch | Sack Fachmedien

    Zhang / Jain Biometric Authentication

    First International Conference, ICBA 2004, Hong Kong, China, July 15-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22146-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dau / Mugnier / Stumme | Conceptual Structures: Common Semantics for Sharing Knowledge | Buch | Sack Fachmedien

    Dau / Mugnier / Stumme Conceptual Structures: Common Semantics for Sharing Knowledge

    13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27783-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Xiao | Computing and Combinatorics | Buch | Sack Fachmedien

    Fomin / Xiao Computing and Combinatorics

    31st International Computing and Combinatorics Conference, COCOON 2025, Chengdu, China, August 15-17, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-950217-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adam / Bhargava / Yesha | Digital Libraries: Current Issues | Buch | Sack Fachmedien

    Adam / Bhargava / Yesha Digital Libraries: Current Issues

    Digital Libraries Workshop, DL '94, Newark, NJ, USA, May 19- 20, 1994. Selected Papers
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59282-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    García-Sánchez / Díaz Álvarez / Murphy | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    García-Sánchez / Díaz Álvarez / Murphy Applications of Evolutionary Computation

    29th European Conference, EvoApplications 2026, Held as Part of EvoStar 2026, Toulouse, France, April 8-10, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-23606-7
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpinski | Foundations of Computation Theory | Buch | Sack Fachmedien

    Karpinski Foundations of Computation Theory

    Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-12689-8
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ausiello / Böhm | Automata, Languages and Programming | Buch | Sack Fachmedien

    Ausiello / Böhm Automata, Languages and Programming

    Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
    1. Auflage 1978
    Verlag: Springer
    ISBN: 978-3-540-08860-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hailpern | Verifying Concurrent Processes Using Temporal Logic | Buch | Sack Fachmedien

    Hailpern Verifying Concurrent Processes Using Temporal Logic

    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11205-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duan / Ong | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Duan / Ong Formal Methods and Software Engineering

    19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68689-9
    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