Fachgebiet
Medium
  • 10488
Erscheinungsjahr
  • 135
  • 806
  • 831
  • 620
  • 487
  • 275
  • 292
  • 296
  • 292
  • 309
  • 303
  • 316
  • 281
  • 308
  • 309
  • 271
  • 283
  • 268
  • 231
  • 258
  • 283
  • 215
  • 363
  • 308
  • 260
  • 251
  • 180
  • 177
  • 116
  • 133
  • 135
  • 116
  • 108
  • 96
  • 73
  • 84
  • 57
  • 57
  • 44
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 4
  • 9
  • 5
  • 4
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 8
  • 4
  • 11
  • 8
  • 5
  • 6
  • 16
  • 4
  • 4
  • 21
  • 4
  • 8
  • 4
  • 6
  • 4
  • 7
  • 5
  • 9
  • 9
  • 6
  • 4
  • 10
  • 5
  • 14
  • 5
  • 25
  • 36
  • 7
  • 40
  • 7
  • 6
  • 4
  • 6
  • 7
  • 15
  • 16
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 8
  • 4
  • 5
  • 5
  • 14
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 9
  • 4
  • 6
  • 7
  • 6
  • 8
  • 7
  • 6
  • 4
  • 12
  • 5
  • 4
  • 5
  • 5
  • 4
  • 19
  • 7
  • 6
  • 4
  • 7
  • 5
  • 15
  • 4
  • 9
  • 5
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 5
  • 7
  • 6
  • 16
  • 4
  • 9
  • 5
  • 5
  • 9
  • 4
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 6
  • 8
  • 11
  • 11
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 4
  • 11
  • 4
  • 5
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 18
  • 4
  • 11
  • 16
  • 6
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 16
  • 7
  • 9
  • 12
  • 5
  • 10
  • 6
  • 5
  • 4
  • 14
  • 4
  • 7
  • 24
  • 4
  • 12
  • 4
  • 10
  • 4
  • 4
  • 11
  • 7
  • 5
  • 4
  • 10
  • 4
  • 9
  • 34
  • 12
  • 41
  • 10
  • 8
  • 19
  • 14
  • 4
  • 5
  • 7
  • 4
  • 5
  • 20
  • 6
  • 38
  • 4
  • 9
  • 14
  • 7
  • 4
  • 7
  • 12
  • 4
  • 4
  • 12
  • 14
  • 8
  • 7
  • 39
  • 4
  • 5
  • 10
  • 8
  • 10
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 10
  • 10
  • 5
  • 4
  • 7
  • 6
  • 4
  • 4
  • 14
  • 10
  • 5
  • 13
  • 5
  • 5
  • 7
  • 4
  • 6
  • 7
  • 4
  • 4
  • 15
  • 4
  • 21
  • 8
  • 5
  • 10
  • 4
  • 6
  • 4
  • 6
  • 13
  • 5
  • 24
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 4
  • 43
  • 38
  • 8
  • 23
  • 5
  • 4
  • 4
  • 17
  • 8
  • 23
  • 14
  • 4
  • 5
  • 5
  • 7
  • 18
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 4
  • 10
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 4
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 5
  • 8
  • 4
  • 15
  • 55
  • 30
  • 4
  • 4
  • 24
  • 9
  • 18
  • 22
  • 90
  • 5
  • 11
  • 6
  • 6
  • 14
  • 4
  • 4
  • 7
  • 19
  • 14
  • 4
  • 7
  • 7
  • 5
  • 7
  • 14
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 4
  • 6
  • 4
  • 11
  • 43
  • 4
  • 7
  • 4
  • 7
  • 4
  • 4
  • 16
  • 8
  • 7
  • 19
  • 39
  • 6
  • 9
  • 17
  • 10
  • 6
  • 7
  • 5
  • 8
  • 5
  • 9
  • 15
  • 6
  • 6
  • 5
  • 8
  • 5
  • 65
  • 5
  • 6
  • 10
  • 5
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 19
  • 7
  • 10
  • 5
  • 6
  • 6
  • 5
  • 10
  • 19
  • 11
  • 10
  • 13
  • 5
  • 8
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 9
  • 10
  • 11
  • 7
  • 8
  • 7
  • 7
  • 29
  • 9
  • 6
  • 5
  • 8
  • 6
  • 27
  • 6
  • 16
  • 34
  • 6
  • 6
  • 8
  • 9
  • 15
  • 30
  • 6
  • 9
  • 5
  • 5
  • 10
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 18
  • 20
  • 32
  • 5
  • 16
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 13
  • 31
  • 36
  • 6
  • 9
  • 6
  • 8
  • 6
  • 17
  • 6
  • 5
  • 12
  • 6
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 6
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 11
  • 12
  • 5
  • 5
  • 6
  • 10
  • 14
  • 18
  • 20
  • 5
  • 21
  • 8
  • 5
  • 62
  • 6
  • 19
  • 8
  • 12
  • 21
  • 5
  • 9
  • 5
  • 8
  • 6
  • 5
  • 5
  • 6
  • 5
  • 14
  • 6
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 16
  • 14
  • 8
  • 18
  • 11
  • 10
  • 8
  • 9
  • 25
  • 6
  • 31
  • 28
  • 6
  • 6
  • 11
  • 7
  • 17
  • 7
  • 6
  • 7
  • 5
  • 5
  • 8
  • 6
  • 11
  • 21
  • 6
  • 5
  • 7
  • 5
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 7
  • 5
  • 5
  • 16
  • 5
  • 9
  • 7
  • 5
  • 8
  • 83
  • 10
  • 5
  • 7
  • 6
  • 13
  • 6
  • 5
  • 9
  • 11
  • 36
  • 15
  • 5
  • 16
  • 6
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 9
  • 6
  • 6
  • 9
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 17
  • 7
  • 7
  • 18
  • 12
  • 13
  • 12
  • 13
  • 15
  • 8
  • 18
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 5
  • 6
  • 19
  • 12
  • 13
  • 11
  • 7
  • 8
  • 7
  • 7
  • 15
  • 5
  • 15
  • 13
  • 8
  • 24
  • 6
  • 7
  • 6
  • 11
  • 6
  • 5
  • 11
  • 15
  • 10
  • 5
  • 9
  • 6
  • 14
  • 6
  • 5
  • 6
  • 12
  • 24
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 7
  • 19
  • 8
  • 8
  • 8
  • 12
  • 7
  • 19
  • 8
  • 90
  • 6
  • 48
  • 11
  • 11
  • 5
  • 89
  • 23
  • 14
  • 12
  • 5
  • 12
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 6
  • 15
  • 22
  • 7
  • 11
  • 6
  • 11
  • 17
  • 11
  • 11
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 8
  • 6
  • 6
  • 5
  • 7
  • 13
  • 7
  • 24
  • 5
  • 5
  • 6
  • 6
  • 5
  • 14
  • 7
  • 8
  • 8
  • 11
  • 12
  • 41
  • 5
  • 6
  • 6
  • 6
  • 18
  • 9
  • 11
  • 8
  • 10
  • 13
  • 7
  • 7
  • 11
  • 5
  • 38
  • 7
  • 33
  • 12
  • 6
  • 8
  • 5
  • 5
  • 10
  • 8
  • 22
  • 6
  • 6
  • 8
  • 8
  • 14
  • 15
  • 25
  • 9
  • 25
  • 7
  • 14
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 22
  • 14
  • 6
  • 6
  • 9
  • 55
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 6
  • 15
  • 11
  • 7
  • 12
  • 10
  • 5
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 13
  • 7
  • 8
  • 35
  • 5
  • 11
  • 10
  • 7
  • 12
  • 5
  • 13
  • 15
  • 10
  • 21
  • 6
  • 5
  • 17
  • 21
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 7
  • 8
  • 5
  • 25
  • 6
  • 14
  • 10
  • 5
  • 6
  • 8
  • 6
  • 6
  • 5
  • 8
  • 12
  • 9
  • 9
  • 18
  • 5
  • 10
  • 11
  • 5
  • 6
  • 24
  • 11
  • 14
  • 5
  • 5
  • 22
  • 11
  • 5
  • 5
  • 6
  • 5
  • 9
  • 18
  • 7
  • 6
  • 6
  • 47
  • 13
  • 6
  • 5
  • 5
  • 21
  • 7
  • 42
  • 14
  • 62
  • 18
  • 5
  • 6
  • 5
  • 6
  • 32
  • 7
  • 10
  • 5
  • 18
  • 19
  • 19
  • 9
  • 6
  • 11
  • 12
  • 10
  • 6
  • 6
  • 23
Verlag
  • 2
  • 10430
  • 3
  • 4
  • 1
  • 3
  • 3
  • 1
  • 41
Preis
  • 42
  • 379
  • 8039
  • 2028
Sprachen
  • 10483
  • 17
  • 13
Verfügbarkeit
  • 10474
  • 14
Katalog
  • 10488
  • 555
10.488  Treffer  für „Lecture Notes in Computer Science“


    Börger / Jäger / Kleine Büning Computer Science Logic

    5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55789-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Flum / Rodriguez-Artalejo Computer Science Logic

    13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66536-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cremers / Kriegel Theoretical Computer Science

    6th GI-Conference Dortmund, January 5-7, 1983
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11973-9
    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

    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

    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

    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

    Baeten / Ball / de Boer Theoretical Computer Science

    7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33474-0
    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

    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

    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

    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

    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

    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-44123-7
    Medium: Buch
    51,36 € (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

    Dawar / Veith Computer Science Logic

    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15204-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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

    Ésik Computer Science Logic

    20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45458-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kuich / Rahonis Algebraic Foundations in Computer Science

    Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24896-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    MacCaull / Winter / Düntsch Relational Methods in Computer Science

    8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33339-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    König / Urbat Coalgebraic Methods in Computer Science

    17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66437-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Agotnes / Broersen / Elgesem Deontic Logic in Computer Science

    11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31569-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mousavi / Sgall Topics in Theoretical Computer Science

    Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68952-4
    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