Fachgebiet
Medium
  • 10634
  • 2737
Erscheinungsjahr
  • 151
  • 1016
  • 1070
  • 807
  • 663
  • 404
  • 421
  • 468
  • 437
  • 398
  • 453
  • 432
  • 421
  • 428
  • 419
  • 430
  • 403
  • 260
  • 234
  • 278
  • 285
  • 218
  • 470
  • 579
  • 255
  • 254
  • 181
  • 177
  • 146
  • 144
  • 136
  • 120
  • 107
  • 100
  • 75
  • 83
  • 61
  • 59
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 18
  • 12
  • 8
  • 13
  • 9
  • 15
  • 13
  • 5
Autoren
  • 5
  • 7
  • 5
  • 8
  • 9
  • 6
  • 11
  • 13
  • 12
  • 7
  • 12
  • 7
  • 5
  • 9
  • 14
  • 8
  • 5
  • 6
  • 18
  • 7
  • 23
  • 5
  • 11
  • 7
  • 6
  • 6
  • 9
  • 11
  • 5
  • 6
  • 6
  • 13
  • 44
  • 47
  • 5
  • 58
  • 8
  • 8
  • 5
  • 5
  • 6
  • 17
  • 19
  • 10
  • 50
  • 11
  • 6
  • 8
  • 8
  • 7
  • 6
  • 12
  • 8
  • 6
  • 9
  • 6
  • 7
  • 6
  • 7
  • 8
  • 7
  • 13
  • 6
  • 20
  • 20
  • 12
  • 9
  • 12
  • 30
  • 13
  • 10
  • 6
  • 7
  • 53
  • 16
  • 26
  • 19
  • 8
  • 14
  • 6
  • 8
  • 7
  • 14
  • 7
  • 12
  • 7
  • 10
  • 11
  • 14
  • 6
  • 19
  • 9
  • 18
  • 10
  • 6
  • 6
  • 6
  • 8
  • 50
  • 24
  • 8
  • 9
  • 11
  • 10
  • 19
  • 8
  • 15
  • 6
  • 18
  • 6
  • 6
  • 14
  • 8
  • 9
  • 29
  • 18
  • 10
  • 9
  • 10
  • 14
  • 7
  • 7
  • 14
  • 8
  • 44
  • 15
  • 53
  • 15
  • 10
  • 24
  • 7
  • 19
  • 14
  • 8
  • 7
  • 26
  • 10
  • 45
  • 11
  • 17
  • 13
  • 7
  • 7
  • 6
  • 17
  • 6
  • 6
  • 17
  • 9
  • 7
  • 50
  • 8
  • 11
  • 14
  • 15
  • 6
  • 7
  • 7
  • 10
  • 14
  • 10
  • 9
  • 8
  • 7
  • 6
  • 19
  • 11
  • 9
  • 15
  • 6
  • 8
  • 12
  • 7
  • 8
  • 9
  • 22
  • 25
  • 8
  • 12
  • 10
  • 7
  • 12
  • 7
  • 15
  • 18
  • 29
  • 8
  • 9
  • 7
  • 9
  • 9
  • 14
  • 12
  • 10
  • 9
  • 7
  • 7
  • 10
  • 17
  • 12
  • 9
  • 14
  • 7
  • 53
  • 59
  • 10
  • 31
  • 8
  • 12
  • 6
  • 6
  • 15
  • 7
  • 35
  • 12
  • 8
  • 7
  • 8
  • 10
  • 22
  • 8
  • 8
  • 8
  • 6
  • 12
  • 7
  • 6
  • 33
  • 6
  • 15
  • 57
  • 8
  • 8
  • 6
  • 6
  • 20
  • 7
  • 11
  • 10
  • 12
  • 11
  • 14
  • 8
  • 8
  • 12
  • 9
  • 6
  • 6
  • 7
  • 6
  • 8
  • 19
  • 24
  • 10
  • 8
  • 11
  • 8
  • 7
  • 16
  • 8
  • 11
  • 9
  • 11
  • 21
  • 7
  • 24
  • 74
  • 7
  • 35
  • 7
  • 6
  • 28
  • 6
  • 19
  • 31
  • 122
  • 10
  • 15
  • 7
  • 8
  • 21
  • 12
  • 20
  • 15
  • 6
  • 8
  • 6
  • 12
  • 14
  • 7
  • 10
  • 18
  • 6
  • 13
  • 6
  • 7
  • 7
  • 7
  • 16
  • 6
  • 7
  • 52
  • 8
  • 7
  • 11
  • 6
  • 8
  • 8
  • 8
  • 8
  • 7
  • 9
  • 21
  • 13
  • 11
  • 9
  • 25
  • 50
  • 10
  • 9
  • 10
  • 20
  • 10
  • 15
  • 6
  • 6
  • 8
  • 9
  • 8
  • 6
  • 9
  • 27
  • 17
  • 9
  • 6
  • 7
  • 10
  • 15
  • 6
  • 90
  • 6
  • 10
  • 8
  • 6
  • 15
  • 8
  • 6
  • 8
  • 17
  • 16
  • 7
  • 7
  • 8
  • 31
  • 10
  • 19
  • 11
  • 6
  • 8
  • 13
  • 19
  • 8
  • 24
  • 10
  • 13
  • 13
  • 6
  • 6
  • 10
  • 15
  • 10
  • 12
  • 7
  • 6
  • 18
  • 6
  • 6
  • 11
  • 9
  • 10
  • 9
  • 10
  • 11
  • 16
  • 7
  • 11
  • 9
  • 11
  • 36
  • 6
  • 9
  • 6
  • 8
  • 6
  • 8
  • 25
  • 9
  • 20
  • 46
  • 6
  • 15
  • 17
  • 7
  • 7
  • 11
  • 44
  • 6
  • 13
  • 7
  • 10
  • 6
  • 6
  • 7
  • 21
  • 8
  • 19
  • 10
  • 20
  • 41
  • 6
  • 19
  • 9
  • 29
  • 9
  • 10
  • 17
  • 7
  • 6
  • 40
  • 8
  • 20
  • 40
  • 55
  • 7
  • 6
  • 10
  • 6
  • 18
  • 8
  • 17
  • 7
  • 6
  • 12
  • 9
  • 8
  • 6
  • 15
  • 11
  • 7
  • 6
  • 17
  • 6
  • 89
  • 21
  • 21
  • 16
  • 6
  • 6
  • 6
  • 22
  • 7
  • 6
  • 7
  • 9
  • 23
  • 9
  • 9
  • 8
  • 14
  • 18
  • 7
  • 14
  • 13
  • 10
  • 7
  • 11
  • 19
  • 17
  • 9
  • 24
  • 22
  • 12
  • 7
  • 6
  • 28
  • 7
  • 14
  • 76
  • 15
  • 9
  • 24
  • 6
  • 17
  • 24
  • 7
  • 13
  • 7
  • 15
  • 6
  • 7
  • 9
  • 15
  • 10
  • 7
  • 10
  • 32
  • 11
  • 7
  • 7
  • 15
  • 14
  • 7
  • 15
  • 6
  • 21
  • 16
  • 15
  • 14
  • 20
  • 6
  • 8
  • 11
  • 17
  • 12
  • 13
  • 35
  • 8
  • 10
  • 42
  • 34
  • 9
  • 6
  • 6
  • 8
  • 6
  • 7
  • 7
  • 8
  • 9
  • 8
  • 29
  • 9
  • 9
  • 13
  • 7
  • 13
  • 7
  • 12
  • 12
  • 7
  • 20
  • 8
  • 8
  • 7
  • 10
  • 8
  • 7
  • 7
  • 8
  • 16
  • 6
  • 12
  • 8
  • 47
  • 10
  • 8
  • 12
  • 6
  • 6
  • 10
  • 6
  • 10
  • 6
  • 9
  • 27
  • 6
  • 6
  • 11
  • 7
  • 7
  • 12
  • 10
  • 12
  • 111
  • 11
  • 7
  • 7
  • 11
  • 13
  • 6
  • 15
  • 12
  • 8
  • 12
  • 67
  • 21
  • 19
  • 9
  • 7
  • 10
  • 15
  • 8
  • 6
  • 7
  • 10
  • 12
  • 6
  • 9
  • 10
  • 9
  • 9
  • 7
  • 7
  • 8
  • 12
  • 7
  • 11
  • 7
  • 6
  • 8
  • 56
  • 7
  • 10
  • 17
  • 9
  • 9
  • 6
  • 10
  • 23
  • 19
  • 6
  • 7
  • 12
  • 6
  • 13
  • 8
  • 17
  • 21
  • 17
  • 19
  • 10
  • 7
  • 16
  • 10
  • 36
  • 15
  • 7
  • 6
  • 15
  • 11
  • 6
  • 8
  • 8
  • 6
  • 23
  • 19
  • 7
  • 18
  • 8
  • 12
  • 7
  • 6
  • 9
  • 11
  • 6
  • 11
  • 16
  • 8
  • 17
  • 6
  • 7
  • 16
  • 7
  • 9
  • 29
  • 6
  • 9
  • 6
  • 12
  • 12
  • 16
  • 17
  • 13
  • 6
  • 10
  • 6
  • 6
  • 11
  • 18
  • 6
  • 10
  • 8
  • 9
  • 6
  • 7
  • 11
  • 23
  • 35
  • 19
  • 8
  • 8
  • 10
  • 22
  • 9
  • 10
  • 16
  • 10
  • 110
  • 8
  • 7
  • 8
  • 8
  • 8
  • 36
  • 14
  • 8
  • 9
  • 25
  • 12
  • 9
  • 7
  • 12
  • 13
  • 28
  • 6
  • 114
  • 6
  • 59
  • 13
  • 10
  • 6
  • 108
  • 25
  • 7
  • 19
  • 15
  • 6
  • 17
  • 6
  • 12
  • 11
  • 17
  • 19
  • 9
  • 7
  • 6
  • 7
  • 8
  • 6
  • 13
  • 109
  • 8
  • 6
  • 8
  • 12
  • 23
  • 10
  • 17
  • 11
  • 15
  • 20
  • 14
  • 10
  • 9
  • 6
  • 7
  • 6
  • 15
  • 9
  • 10
  • 29
  • 16
  • 9
  • 6
  • 7
  • 8
  • 10
  • 7
  • 6
  • 6
  • 18
  • 10
  • 32
  • 10
  • 8
  • 9
  • 12
  • 6
  • 10
  • 17
  • 9
  • 9
  • 9
  • 7
  • 6
  • 17
  • 8
  • 16
  • 56
  • 13
  • 8
  • 12
  • 12
  • 23
  • 7
  • 15
  • 6
  • 16
  • 13
  • 6
  • 7
  • 6
  • 6
  • 13
  • 16
  • 6
  • 47
  • 9
  • 64
  • 6
  • 16
  • 9
  • 18
  • 10
  • 15
  • 14
  • 6
  • 8
  • 7
  • 23
  • 6
  • 7
  • 20
  • 7
  • 16
  • 18
  • 30
  • 10
  • 7
  • 7
  • 18
  • 21
  • 17
  • 14
  • 30
  • 6
  • 78
  • 12
  • 18
  • 24
  • 11
  • 6
  • 11
  • 10
  • 11
  • 21
  • 22
  • 19
  • 6
  • 6
  • 6
  • 10
  • 75
  • 29
  • 16
  • 6
  • 13
  • 12
  • 9
  • 23
  • 14
  • 7
  • 17
  • 7
  • 6
  • 14
  • 17
  • 7
  • 7
  • 15
  • 8
  • 17
  • 16
  • 10
  • 13
  • 18
  • 108
  • 6
  • 11
  • 25
  • 6
  • 17
  • 7
  • 6
  • 12
  • 6
  • 9
  • 17
  • 14
  • 8
  • 6
  • 42
  • 11
  • 8
  • 12
  • 7
  • 13
  • 8
  • 15
  • 22
  • 7
  • 13
  • 24
  • 12
  • 9
  • 7
  • 18
  • 8
  • 23
  • 17
  • 10
  • 12
  • 8
  • 6
  • 12
  • 7
  • 8
  • 11
  • 25
  • 8
  • 15
  • 6
  • 12
  • 7
  • 7
  • 11
  • 9
  • 6
  • 14
  • 7
  • 12
  • 7
  • 15
  • 10
  • 24
  • 7
  • 9
  • 28
  • 8
  • 6
  • 10
  • 6
  • 34
  • 13
  • 6
  • 6
  • 19
  • 7
  • 25
  • 13
  • 12
  • 10
  • 24
  • 7
  • 9
  • 8
  • 60
  • 9
  • 7
  • 35
  • 6
  • 10
  • 7
  • 58
  • 18
  • 7
  • 80
  • 17
  • 10
  • 13
  • 6
  • 6
  • 6
  • 9
  • 40
  • 6
  • 29
  • 19
  • 21
  • 9
  • 8
  • 14
  • 14
  • 19
  • 21
  • 7
  • 6
  • 8
  • 7
  • 24
Verlag
  • 2
  • 11586
  • 40
  • 1574
  • 2
  • 25
  • 104
  • 1
  • 1
  • 36
Preis
  • 47
  • 469
  • 10590
  • 2265
Sprachen
  • 13363
  • 20
  • 15
Verfügbarkeit
  • 13343
  • 28
Eigenschaften
  • 9
Katalog
  • 13371
  • 566
13.371  Treffer  für „Lecture Notes in Computer Science“


    Kahle / Schroeder-Heister / Stärk Proof Theory in Computer Science

    International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42752-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Governatori / Sartor Deontic Logic in Computer Science

    10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14182-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fribourg Computer Science Logic

    15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-44802-0
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Weihrauch Theoretical Computer Science

    4th GI Conference Aachen, March 26-28, 1979
    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09118-9
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Restivo / Ronchi Della Rocca / Roversi Theoretical Computer Science

    7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42672-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Diaz / Lanese / Sangiorgi Theoretical Computer Science

    8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44602-7
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hansen / Zanasi Coalgebraic Methods in Computer Science

    16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-10736-8
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    106,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Lomuscio / Nute Deontic Logic in Computer Science

    7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22111-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bonsangue Coalgebraic Methods in Computer Science

    12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44124-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Hasuo Coalgebraic Methods in Computer Science

    13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40369-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hajiaghayi / Mousavi Topics in Theoretical Computer Science

    The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-28677-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schneider / Ehrig Graph Transformations in Computer Science

    International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57787-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Blundo / Laneve Theoretical Computer Science

    8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20216-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bradfield Computer Science Logic

    16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44240-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Coppo / Lodi / Pinna Theoretical Computer Science

    9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29106-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dalen / Bezem Computer Science Logic

    10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63172-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gottlob / Grandjean / Seyr Computer Science Logic

    12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-48855-2
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Fribourg Computer Science Logic

    15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42554-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pacholski / Tiuryn Computer Science Logic

    8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60017-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dawar / Veith Computer Science Logic

    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15205-4
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Pattinson / Schröder Coalgebraic Methods in Computer Science

    11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32783-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Petrisan / Petrisan / Rot Coalgebraic Methods in Computer Science

    15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57200-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Diaz / Lanese / Sangiorgi Theoretical Computer Science

    8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44601-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Deussen Theoretical Computer Science

    5th GI-Conference Karlsruhe, March 23-25, 1981
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10576-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gottlob / Grandjean / Seyr Computer Science Logic

    12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65922-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