Fachgebiet
Medium
  • 2152
Erscheinungsjahr
  • 8
  • 33
  • 20
  • 5
  • 18
  • 34
  • 26
  • 26
  • 43
  • 30
  • 40
  • 27
  • 38
  • 35
  • 2
  • 29
  • 52
  • 146
  • 127
  • 119
  • 165
  • 147
  • 133
  • 120
  • 90
  • 72
  • 65
  • 66
  • 59
  • 63
  • 55
  • 43
  • 38
  • 46
  • 26
  • 34
  • 18
  • 13
  • 14
  • 9
  • 3
  • 1
  • 3
  • 8
  • 3
Autoren
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 5
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 10
  • 2
  • 2
  • 2
  • 7
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 8
  • 3
  • 3
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 3
  • 9
  • 2
  • 4
  • 7
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 24
  • 11
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 12
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 6
  • 5
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 6
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 6
  • 3
  • 2
  • 3
  • 4
  • 10
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 7
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 7
  • 6
  • 3
  • 3
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 6
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 6
  • 6
  • 7
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 4
  • 3
  • 7
  • 7
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 31
  • 2
  • 10
  • 2
  • 3
  • 3
  • 4
  • 2
  • 6
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 10
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 5
  • 11
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 4
  • 2
  • 3
  • 4
  • 2
Verlag
  • 2135
  • 17
Preis
  • 31
  • 1704
  • 417
Sprachen
  • 2152
  • 3
  • 2
Verfügbarkeit
  • 2150
  • 2
Katalog
  • 2152
  • 79

Logik, formale Sprachen, Automaten

2.152  Treffer  für „Lecture Notes in Computer Science“


    Klein / Six / Wegner Computer Science in Perspective

    Essays Dedicated to Thomas Ottmann
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-00579-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Myers / O'Donnell Constructivity in Computer Science

    Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55631-2
    Medium: Buch
    53,49 € (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
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00315-1
    Medium: Buch
    53,49 € (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

    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

    S. Barbosa / Ali Abam Topics in Theoretical Computer Science

    Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57851-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    ISBN: 978-3-031-10735-1
    Medium: Buch
    117,69 € (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
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10291-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ehrig / Herrlich / Kreowski Categorical Methods in Computer Science

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

    Baaz / Makowsky 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
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40801-7
    Medium: Buch
    106,99 € (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

    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

    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

    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

    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

    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

    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

    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

    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

    Clote / Schwichtenberg Computer Science Logic

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



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular