Fachgebiet
Medium
  • 11967
  • 1037
Erscheinungsjahr
  • 451
  • 1017
  • 879
  • 574
  • 517
  • 476
  • 523
  • 412
  • 438
  • 449
  • 441
  • 421
  • 455
  • 477
  • 481
  • 413
  • 351
  • 335
  • 346
  • 280
  • 400
  • 340
  • 295
  • 283
  • 208
  • 194
  • 172
  • 150
  • 149
  • 132
  • 119
  • 104
  • 80
  • 103
  • 67
  • 75
  • 53
  • 54
  • 41
  • 33
  • 23
  • 18
  • 23
  • 31
  • 22
  • 15
  • 10
  • 14
  • 12
  • 17
  • 16
  • 7
  • 1
  • 1
  • 1
Autoren
  • 6
  • 4
  • 5
  • 4
  • 7
  • 4
  • 4
  • 4
  • 5
  • 27
  • 5
  • 7
  • 4
  • 4
  • 18
  • 7
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 5
  • 5
  • 6
  • 6
  • 16
  • 5
  • 5
  • 4
  • 5
  • 6
  • 4
  • 15
  • 12
  • 6
  • 16
  • 4
  • 6
  • 4
  • 4
  • 6
  • 8
  • 5
  • 6
  • 5
  • 9
  • 6
  • 5
  • 7
  • 4
  • 14
  • 7
  • 4
  • 5
  • 26
  • 6
  • 4
  • 23
  • 36
  • 5
  • 7
  • 6
  • 4
  • 6
  • 5
  • 4
  • 4
  • 6
  • 7
  • 6
  • 5
  • 5
  • 6
  • 5
  • 4
  • 5
  • 5
  • 7
  • 5
  • 4
  • 8
  • 5
  • 11
  • 39
  • 5
  • 5
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 7
  • 14
  • 4
  • 4
  • 10
  • 4
  • 4
  • 10
  • 6
  • 28
  • 8
  • 4
  • 6
  • 5
  • 5
  • 11
  • 4
  • 6
  • 17
  • 5
  • 6
  • 7
  • 4
  • 4
  • 6
  • 8
  • 5
  • 6
  • 4
  • 9
  • 4
  • 6
  • 10
  • 4
  • 5
  • 9
  • 8
  • 6
  • 19
  • 6
  • 6
  • 14
  • 7
  • 16
  • 8
  • 5
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 19
  • 4
  • 4
  • 10
  • 4
  • 8
  • 11
  • 7
  • 20
  • 10
  • 8
  • 6
  • 4
  • 4
  • 10
  • 4
  • 4
  • 5
  • 5
  • 10
  • 10
  • 4
  • 7
  • 14
  • 4
  • 7
  • 6
  • 8
  • 6
  • 7
  • 17
  • 5
  • 8
  • 4
  • 11
  • 4
  • 4
  • 6
  • 39
  • 17
  • 11
  • 4
  • 11
  • 4
  • 11
  • 6
  • 13
  • 4
  • 8
  • 4
  • 4
  • 8
  • 4
  • 6
  • 4
  • 5
  • 4
  • 8
  • 12
  • 10
  • 18
  • 13
  • 5
  • 8
  • 9
  • 9
  • 12
  • 5
  • 5
  • 9
  • 13
  • 24
  • 8
  • 18
  • 5
  • 14
  • 10
  • 7
  • 6
  • 6
  • 6
  • 20
  • 10
  • 13
  • 5
  • 5
  • 8
  • 19
  • 6
  • 5
  • 39
  • 5
  • 5
  • 5
  • 7
  • 9
  • 15
  • 6
  • 8
  • 13
  • 5
  • 10
  • 7
  • 8
  • 16
  • 8
  • 10
  • 10
  • 7
  • 5
  • 6
  • 6
  • 5
  • 7
  • 7
  • 7
  • 7
  • 5
  • 5
  • 13
  • 9
  • 9
  • 8
  • 9
  • 6
  • 32
  • 5
  • 7
  • 5
  • 5
  • 9
  • 8
  • 5
  • 10
  • 7
  • 51
  • 30
  • 8
  • 8
  • 5
  • 7
  • 11
  • 15
  • 7
  • 18
  • 12
  • 5
  • 7
  • 6
  • 6
  • 11
  • 21
  • 11
  • 5
  • 5
  • 6
  • 8
  • 7
  • 5
  • 45
  • 7
  • 6
  • 9
  • 9
  • 10
  • 13
  • 9
  • 6
  • 6
  • 8
  • 8
  • 12
  • 16
  • 6
  • 5
  • 5
  • 6
  • 7
  • 8
  • 11
  • 7
  • 5
  • 6
  • 10
  • 13
  • 23
  • 8
  • 10
  • 23
  • 8
  • 24
  • 5
  • 14
  • 22
  • 29
  • 9
  • 6
  • 7
  • 62
  • 8
  • 8
  • 6
  • 5
  • 6
  • 8
  • 8
  • 14
  • 5
  • 6
  • 7
  • 5
  • 6
  • 6
  • 10
  • 16
  • 6
  • 8
  • 5
  • 21
  • 6
  • 9
  • 12
  • 5
  • 16
  • 39
  • 6
  • 5
  • 9
  • 5
  • 5
  • 14
  • 6
  • 9
  • 39
  • 18
  • 12
  • 7
  • 5
  • 6
  • 16
  • 14
  • 6
  • 10
  • 5
  • 18
  • 44
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • 5
  • 24
  • 14
  • 5
  • 5
  • 5
  • 8
  • 13
  • 6
  • 7
  • 17
  • 6
  • 7
  • 6
  • 5
  • 11
  • 9
  • 15
  • 11
  • 7
  • 5
  • 6
  • 13
  • 5
  • 5
  • 5
  • 8
  • 6
  • 8
  • 13
  • 9
  • 13
  • 5
  • 6
  • 20
  • 6
  • 5
  • 6
  • 5
  • 12
  • 7
  • 12
  • 9
  • 6
  • 12
  • 8
  • 5
  • 7
  • 13
  • 7
  • 10
  • 8
  • 8
  • 6
  • 5
  • 8
  • 6
  • 6
  • 15
  • 12
  • 17
  • 6
  • 6
  • 6
  • 13
  • 14
  • 6
  • 9
  • 10
  • 16
  • 5
  • 6
  • 7
  • 12
  • 7
  • 11
  • 9
  • 17
  • 7
  • 12
  • 14
  • 6
  • 15
  • 7
  • 16
  • 6
  • 12
  • 7
  • 6
  • 7
  • 5
  • 19
  • 33
  • 12
  • 10
  • 22
  • 27
  • 11
  • 10
  • 6
  • 12
  • 8
  • 9
  • 8
  • 6
  • 6
  • 7
  • 7
  • 11
  • 5
  • 7
  • 8
  • 15
  • 9
  • 14
  • 6
  • 6
  • 5
  • 49
  • 7
  • 10
  • 7
  • 12
  • 8
  • 5
  • 5
  • 6
  • 6
  • 6
  • 10
  • 9
  • 22
  • 8
  • 9
  • 19
  • 5
  • 14
  • 49
  • 5
  • 10
  • 7
  • 32
  • 8
  • 13
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 8
  • 9
  • 7
  • 16
  • 13
  • 7
  • 12
  • 5
  • 8
  • 6
  • 7
  • 6
  • 8
  • 5
  • 19
  • 29
  • 20
  • 6
  • 6
  • 7
  • 6
  • 19
  • 7
  • 6
  • 8
  • 5
  • 5
  • 10
  • 8
  • 5
  • 6
  • 12
  • 5
  • 6
  • 18
  • 5
  • 9
  • 8
  • 9
  • 5
  • 5
  • 10
  • 5
  • 13
  • 6
  • 36
  • 6
  • 6
  • 9
  • 5
  • 10
  • 5
  • 5
  • 6
  • 6
  • 15
  • 5
  • 7
  • 6
  • 9
  • 10
  • 32
  • 6
  • 10
  • 11
  • 10
  • 8
  • 53
  • 10
  • 47
  • 6
  • 6
  • 7
  • 5
  • 11
  • 7
  • 8
  • 5
  • 13
  • 8
  • 49
  • 13
  • 5
  • 5
  • 8
  • 7
  • 6
  • 6
  • 12
  • 5
  • 8
  • 8
  • 6
  • 12
  • 5
  • 5
  • 7
  • 5
  • 14
  • 11
  • 5
  • 6
  • 5
  • 7
  • 7
  • 5
  • 17
  • 5
  • 6
  • 21
  • 19
  • 5
  • 5
  • 10
  • 13
  • 9
  • 6
  • 11
  • 17
  • 5
  • 6
  • 16
  • 25
  • 17
  • 5
  • 5
  • 14
  • 14
  • 17
  • 5
  • 5
  • 11
  • 7
  • 9
  • 6
  • 7
  • 20
  • 8
  • 13
  • 6
  • 19
  • 11
  • 13
  • 11
  • 7
  • 6
  • 14
  • 11
  • 5
  • 8
  • 9
  • 5
  • 5
  • 8
  • 5
  • 8
  • 16
  • 8
  • 5
  • 8
  • 5
  • 14
  • 19
  • 8
  • 10
  • 5
  • 18
  • 19
  • 10
  • 6
  • 6
  • 6
  • 11
  • 20
  • 6
  • 11
  • 11
  • 9
  • 7
  • 8
  • 10
  • 8
  • 6
  • 9
  • 5
  • 6
  • 9
  • 23
  • 5
  • 7
  • 10
  • 28
  • 10
  • 10
  • 9
  • 6
  • 20
  • 9
  • 6
  • 58
  • 8
  • 5
  • 14
  • 11
  • 17
  • 7
  • 15
  • 9
  • 20
  • 17
  • 6
  • 5
  • 5
  • 5
  • 9
  • 6
  • 12
  • 5
  • 5
  • 10
  • 15
  • 9
  • 6
  • 12
  • 9
  • 12
  • 17
  • 5
  • 11
  • 6
  • 6
  • 5
  • 10
  • 8
  • 7
  • 10
  • 7
  • 5
  • 5
  • 6
  • 10
  • 6
  • 5
  • 11
  • 13
  • 11
  • 6
  • 5
  • 7
  • 6
  • 20
  • 7
  • 7
  • 5
  • 9
  • 8
  • 6
  • 8
  • 22
  • 6
  • 8
  • 6
  • 10
  • 5
  • 6
  • 17
  • 16
  • 38
  • 9
  • 17
  • 11
  • 5
  • 5
  • 5
  • 5
  • 12
  • 14
  • 5
  • 7
  • 23
  • 10
  • 43
  • 18
  • 10
  • 10
  • 5
  • 18
  • 5
  • 6
  • 7
  • 9
  • 8
  • 5
  • 6
  • 7
  • 12
  • 17
  • 7
  • 6
  • 8
  • 23
  • 15
  • 12
  • 19
  • 42
  • 7
  • 23
  • 22
  • 9
  • 6
  • 17
  • 13
  • 5
  • 20
  • 51
  • 5
  • 8
  • 15
  • 6
  • 20
  • 26
  • 7
  • 20
  • 6
  • 5
  • 10
  • 6
  • 7
  • 9
  • 7
  • 6
  • 8
  • 5
  • 5
  • 7
  • 17
  • 6
  • 9
  • 5
  • 6
  • 7
  • 6
  • 5
  • 8
  • 6
  • 19
  • 8
  • 7
  • 31
  • 13
  • 6
  • 9
  • 7
  • 6
  • 13
  • 13
  • 6
  • 7
  • 12
  • 19
  • 6
  • 18
  • 66
  • 11
  • 11
  • 12
  • 5
  • 18
  • 5
  • 11
  • 9
  • 5
  • 18
  • 7
  • 5
  • 7
  • 24
  • 7
  • 12
  • 5
  • 5
  • 7
  • 7
  • 11
  • 5
  • 5
  • 10
  • 5
  • 10
  • 31
  • 6
  • 16
  • 7
  • 6
  • 8
  • 18
  • 8
  • 20
  • 25
  • 5
  • 15
  • 5
  • 9
  • 22
  • 8
  • 15
  • 5
  • 8
  • 5
  • 5
  • 6
  • 8
  • 5
  • 5
  • 6
  • 8
  • 41
  • 9
  • 6
  • 25
  • 18
  • 7
  • 7
  • 19
  • 43
  • 42
  • 11
  • 15
  • 10
  • 17
  • 14
  • 7
  • 9
  • 15
  • 15
  • 19
  • 10
  • 11
  • 8
  • 6
  • 6
  • 6
  • 5
  • 11
  • 21
Verlag
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 8
  • 1
  • 9
  • 1
  • 4
  • 5
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2666
  • 3817
  • 16
  • 3874
  • 2
  • 1
  • 1
  • 567
  • 975
  • 21
  • 67
  • 261
  • 4
  • 26
  • 11
  • 3
  • 6
  • 570
  • 1
  • 3
  • 1
  • 2
  • 6
  • 2
  • 1
  • 5
  • 1
  • 1
  • 5
  • 1
  • 1
  • 3
Preis
  • 61
  • 450
  • 8571
  • 3922
Sprachen
  • 12996
  • 22
  • 21
Verfügbarkeit
  • 12773
  • 231
Eigenschaften
  • 12
Katalog
  • 13004
  • 789
13.004  Treffer  für „Lecture Notes in Computer Science“


    Hajek Goedel 96: Logical Foundations of Mathematics, Computer Science, and Physics

    Lecture Notes in Logic 6
    1. Auflage 2001
    Verlag: Taylor & Francis Inc
    ISBN: 978-1-56881-153-6
    Medium: Buch
    57,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Swart Relational Methods in Computer Science

    6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16¿21, 2001 Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00315-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    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
    2014
    Verlag: Springer
    ISBN: 978-3-662-44123-7
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kuich / Rahonis Algebraic Foundations in Computer Science

    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

    2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-33339-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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

    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

    Restivo / Roversi / Ronchi Della Rocca Theoretical Computer Science

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

    Goldreich / Rosenberg / Selman Theoretical Computer Science

    2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-32880-3
    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
    1979
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-09118-9
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Börger / Meinke / Gurevich Computer Science Logic

    7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58277-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tzschach / Walter / Waldschmidt Theoretical Computer Science

    3rd GI Conference Darmstadt, March 28-30, 1977
    1977
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-08138-8
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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

    Bjørner / Barzdins Baltic Computer Science

    Selected Papers
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54131-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zanasi / Hansen 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-10735-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ehrig / Preuß / Herrlich Categorical Methods in Computer Science

    With Aspects from Topology
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51722-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Noltemeier Graphtheoretic Concepts in Computer Science

    Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980
    1981
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-10291-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ong Computer Science Logic

    19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28231-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rodriguez-Artalejo / Flum Computer Science Logic

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

    Grädel / Kahle Computer Science Logic

    2009
    Verlag: Springer
    ISBN: 978-3-642-04026-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kriegel / Cremers Theoretical Computer Science

    6th GI-Conference Dortmund, January 5-7, 1983
    1982
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11973-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Makowsky / Baaz Computer Science Logic

    17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40801-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55789-0
    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