Fachgebiet
Medium
  • 8357
  • 274
Erscheinungsjahr
  • 299
  • 638
  • 506
  • 312
  • 314
  • 319
  • 303
  • 291
  • 311
  • 344
  • 311
  • 305
  • 228
  • 145
  • 111
  • 248
  • 244
  • 238
  • 147
  • 215
  • 325
  • 286
  • 246
  • 246
  • 177
  • 170
  • 150
  • 145
  • 133
  • 116
  • 115
  • 94
  • 74
  • 83
  • 56
  • 58
  • 45
  • 48
  • 33
  • 27
  • 19
  • 16
  • 16
  • 29
  • 19
  • 11
  • 8
  • 13
  • 10
  • 16
  • 13
  • 5
Autoren
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 7
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 6
  • 11
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 8
  • 14
  • 3
  • 20
  • 4
  • 3
  • 39
  • 3
  • 7
  • 4
  • 3
  • 6
  • 4
  • 5
  • 6
  • 6
  • 3
  • 5
  • 5
  • 4
  • 6
  • 4
  • 6
  • 4
  • 3
  • 4
  • 5
  • 3
  • 39
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 9
  • 6
  • 3
  • 4
  • 6
  • 5
  • 4
  • 4
  • 6
  • 5
  • 6
  • 4
  • 4
  • 6
  • 5
  • 6
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 4
  • 4
  • 5
  • 4
  • 13
  • 5
  • 4
  • 4
  • 3
  • 7
  • 3
  • 5
  • 9
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 24
  • 4
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 12
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 14
  • 11
  • 7
  • 5
  • 8
  • 4
  • 5
  • 7
  • 11
  • 4
  • 4
  • 7
  • 5
  • 5
  • 8
  • 11
  • 4
  • 4
  • 7
  • 9
  • 4
  • 4
  • 10
  • 5
  • 7
  • 7
  • 4
  • 4
  • 6
  • 4
  • 5
  • 7
  • 4
  • 39
  • 13
  • 9
  • 5
  • 4
  • 10
  • 4
  • 9
  • 5
  • 4
  • 8
  • 5
  • 8
  • 4
  • 5
  • 5
  • 6
  • 4
  • 4
  • 10
  • 6
  • 4
  • 6
  • 4
  • 5
  • 4
  • 8
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 10
  • 4
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 5
  • 7
  • 4
  • 5
  • 14
  • 11
  • 5
  • 9
  • 8
  • 4
  • 6
  • 20
  • 4
  • 11
  • 11
  • 4
  • 4
  • 8
  • 7
  • 4
  • 4
  • 16
  • 4
  • 8
  • 4
  • 39
  • 4
  • 7
  • 6
  • 4
  • 5
  • 8
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 11
  • 8
  • 9
  • 6
  • 4
  • 4
  • 8
  • 4
  • 6
  • 10
  • 6
  • 5
  • 4
  • 6
  • 6
  • 4
  • 9
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 5
  • 8
  • 14
  • 4
  • 11
  • 4
  • 4
  • 4
  • 9
  • 7
  • 8
  • 5
  • 7
  • 13
  • 5
  • 4
  • 5
  • 4
  • 5
  • 5
  • 4
  • 5
  • 8
  • 5
  • 5
  • 6
  • 6
  • 4
  • 9
  • 7
  • 4
  • 6
  • 5
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 8
  • 7
  • 5
  • 38
  • 31
  • 7
  • 8
  • 4
  • 7
  • 11
  • 23
  • 11
  • 5
  • 5
  • 5
  • 5
  • 4
  • 20
  • 6
  • 5
  • 6
  • 4
  • 8
  • 43
  • 7
  • 4
  • 4
  • 4
  • 5
  • 9
  • 11
  • 9
  • 6
  • 5
  • 6
  • 8
  • 4
  • 10
  • 10
  • 6
  • 5
  • 7
  • 6
  • 4
  • 5
  • 8
  • 4
  • 5
  • 6
  • 4
  • 11
  • 33
  • 17
  • 5
  • 5
  • 20
  • 25
  • 71
  • 5
  • 9
  • 5
  • 5
  • 5
  • 11
  • 4
  • 8
  • 9
  • 5
  • 5
  • 14
  • 5
  • 4
  • 4
  • 6
  • 10
  • 4
  • 28
  • 5
  • 6
  • 4
  • 5
  • 7
  • 11
  • 9
  • 39
  • 4
  • 11
  • 5
  • 4
  • 4
  • 4
  • 17
  • 4
  • 6
  • 5
  • 4
  • 23
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 6
  • 12
  • 5
  • 7
  • 4
  • 12
  • 4
  • 5
  • 4
  • 4
  • 15
  • 5
  • 7
  • 6
  • 5
  • 5
  • 4
  • 6
  • 14
  • 13
  • 9
  • 13
  • 4
  • 7
  • 13
  • 8
  • 12
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 4
  • 5
  • 5
  • 10
  • 7
  • 4
  • 5
  • 8
  • 4
  • 9
  • 12
  • 23
  • 4
  • 5
  • 4
  • 7
  • 4
  • 7
  • 5
  • 9
  • 5
  • 4
  • 4
  • 5
  • 10
  • 4
  • 4
  • 10
  • 5
  • 7
  • 8
  • 20
  • 5
  • 18
  • 6
  • 4
  • 15
  • 6
  • 4
  • 8
  • 9
  • 6
  • 4
  • 22
  • 4
  • 19
  • 36
  • 10
  • 6
  • 4
  • 7
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 7
  • 5
  • 6
  • 8
  • 13
  • 4
  • 7
  • 4
  • 8
  • 4
  • 10
  • 9
  • 10
  • 4
  • 4
  • 4
  • 9
  • 9
  • 6
  • 4
  • 6
  • 12
  • 4
  • 10
  • 21
  • 4
  • 4
  • 9
  • 6
  • 6
  • 5
  • 4
  • 4
  • 8
  • 9
  • 13
  • 9
  • 5
  • 13
  • 7
  • 4
  • 5
  • 5
  • 10
  • 4
  • 4
  • 17
  • 5
  • 4
  • 34
  • 15
  • 4
  • 5
  • 4
  • 6
  • 13
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 14
  • 4
  • 4
  • 4
  • 11
  • 18
  • 5
  • 12
  • 4
  • 8
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 6
  • 38
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 14
  • 4
  • 5
  • 9
  • 5
  • 5
  • 5
  • 4
  • 5
  • 5
  • 8
  • 63
  • 6
  • 5
  • 7
  • 8
  • 9
  • 6
  • 5
  • 9
  • 35
  • 5
  • 8
  • 5
  • 6
  • 4
  • 5
  • 11
  • 4
  • 4
  • 4
  • 5
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 5
  • 10
  • 4
  • 5
  • 6
  • 4
  • 10
  • 4
  • 5
  • 14
  • 9
  • 8
  • 5
  • 13
  • 4
  • 7
  • 13
  • 7
  • 4
  • 6
  • 4
  • 4
  • 18
  • 4
  • 12
  • 5
  • 7
  • 7
  • 4
  • 16
  • 5
  • 8
  • 16
  • 8
  • 6
  • 4
  • 9
  • 13
  • 8
  • 4
  • 4
  • 13
  • 4
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 10
  • 9
  • 4
  • 5
  • 5
  • 12
  • 6
  • 4
  • 4
  • 4
  • 10
  • 20
  • 9
  • 5
  • 4
  • 4
  • 8
  • 12
  • 6
  • 6
  • 6
  • 5
  • 8
  • 26
  • 5
  • 7
  • 6
  • 7
  • 4
  • 15
  • 10
  • 9
  • 4
  • 8
  • 5
  • 18
  • 5
  • 4
  • 6
  • 49
  • 4
  • 10
  • 6
  • 4
  • 11
  • 5
  • 4
  • 4
  • 12
  • 6
  • 8
  • 7
  • 5
  • 9
  • 13
  • 16
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 4
  • 6
  • 8
  • 5
  • 11
  • 4
  • 4
  • 13
  • 7
  • 7
  • 4
  • 6
  • 8
  • 4
  • 7
  • 7
  • 11
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 9
  • 6
  • 4
  • 4
  • 16
  • 7
  • 37
  • 4
  • 4
  • 9
  • 16
  • 6
  • 5
  • 8
  • 8
  • 11
  • 7
  • 10
  • 20
  • 6
  • 33
  • 9
  • 4
  • 4
  • 7
  • 5
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 7
  • 10
  • 15
  • 12
  • 9
  • 16
  • 8
  • 11
  • 16
  • 52
  • 14
  • 18
  • 9
  • 6
  • 21
  • 4
  • 5
  • 5
  • 45
  • 9
  • 16
  • 9
  • 4
  • 4
  • 10
  • 13
  • 4
  • 5
  • 11
  • 7
  • 4
  • 4
  • 7
  • 6
  • 7
  • 5
  • 4
  • 5
  • 4
  • 10
  • 8
  • 5
  • 4
  • 5
  • 9
  • 5
  • 11
  • 7
  • 25
  • 4
  • 4
  • 14
  • 13
  • 11
  • 6
  • 6
  • 9
  • 18
  • 6
  • 4
  • 9
  • 16
  • 9
  • 8
  • 4
  • 9
  • 4
  • 7
  • 5
  • 4
  • 9
  • 20
  • 6
  • 14
  • 4
  • 6
  • 5
  • 6
  • 6
  • 4
  • 6
  • 4
  • 4
  • 8
  • 4
  • 4
  • 16
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 11
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 6
  • 33
  • 8
  • 5
  • 4
  • 19
  • 4
  • 16
  • 4
  • 45
  • 7
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 4
  • 4
  • 14
  • 4
  • 7
  • 9
  • 20
  • 17
  • 8
  • 9
  • 5
  • 4
  • 12
Verlag
  • 1289
  • 3482
  • 2768
  • 1
  • 1
  • 97
  • 890
  • 103
Preis
  • 45
  • 356
  • 6750
  • 1480
Sprachen
  • 8623
  • 19
  • 16
Verfügbarkeit
  • 8596
  • 35
Katalog
  • 8631
  • 496
8.631  Treffer  für „Lecture Notes in Computer Science“


    Nute / Lomuscio Deontic Logic in Computer Science

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

    Cîrstea Coalgebraic Methods in Computer Science

    14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14¿15, 2018, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00388-3
    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 International Publishing
    ISBN: 978-3-319-40369-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mousavi / Hajiaghayi 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 International Publishing
    ISBN: 978-3-319-28677-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bezem / Dalen Computer Science Logic

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

    Tiuryn / Pacholski Computer Science Logic

    8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60017-6
    Medium: Buch
    106,99 € (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
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42554-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baeten / de Boer / Ball Theoretical Computer Science

    7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33474-0
    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
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44240-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Laneve / Blundo Theoretical Computer Science

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

    Rot / Petrisan / Petrisan 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 International Publishing
    ISBN: 978-3-030-57200-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schröder / Pattinson Coalgebraic Methods in Computer Science

    11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-32783-4
    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
    1981
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-10576-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Marcinkowski Computer Science Logic

    18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23024-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Börger / Schönfeld / Kleine Büning Computer Science Logic

    4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54487-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Henzinger / Duparc Computer Science Logic

    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74914-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schwichtenberg / Clote Computer Science Logic

    14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67895-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gottlob / Seyr / Grandjean Computer Science Logic

    12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65922-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kleine Buening Computer Science Logic

    9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61377-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Börger / Jäger / Richter Computer Science Logic

    6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56992-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    van der Meyden / van der Torre Deontic Logic in Computer Science

    9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-70524-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb

    Agotnes / Elgesem / Broersen Deontic Logic in Computer Science

    11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
    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-Verlag GmbH
    ISBN: 978-3-319-68952-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kaminski / Martini Computer Science Logic

    22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-87530-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb

    Thomas / Nielsen Computer Science Logic

    11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64570-2
    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