placeholder

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Document type
Language
  • 1
    Print-Journal/Serial
    Print-Journal/Serial
    1.1975/76 - 412.2011; Vol. 413.2012 -
    ISSN: 0304-3975 
    Title: Theoretical computer science
    Subtitle: theory of natural computing
    Other title(s): algorithms, automata, complexity and games
    the journal of the EATCS
    Publisher(s): Amsterdam : North-Holland Publ. Co. | Amsterdam [u.a.] : Elsevier
    Published Volumes: 1.1975/76 - 412.2011; Vol. 413.2012 -
    Frequency: Ab 2012 mit durchgehender Heftzählung, die als Vol. bez. wird
    Document type: Journal/Serial
    ISSN: 0304-3975
    Parallel edition(s): Online-Ausg.: Theoretical computer science
    Concordance: 27,3=9; 34,1/2=10; 40,1=11; 49,2/3=12; 58,1/3=13; 66,2=14 von: International Colloquium on Automata, Languages and Programming: International Colloquium on Automata, Languages and Programming
    59,1/2=[2] von: TAPSOFT: International Joint Conference on Theory and Practice of Software Development
    67,2/3=2 von: International Conference on Rewriting Techniques and Applications: Conference on Rewriting Techniques and Applications
    62,1/2=1 von: ICDT: International Conference on Database Theory
    24,2=1; 33,1=2; 39,1=3; 54,1=5 von: FST and TCS: Conference on Foundations of Software Technology and Theoretical Computer Science
    59,1/2=2 von: TAPSOFT: Proceedings of the International Joint Conference on Theory and Practice of Software Development
    57,1=12 von: Mathematical foundations of computer science
    53,1=11 von: CAAP: Proceedings
    169,1=[1]; 185,2=2: Theoretical computer science in Australia and New Zealand
    Footnote: Einzelne H. als Part A und Part B bez.
    Footnote: Index 1/10.1975/80 in: 10.1980,3; 11/20.1980/82 in: 19.1982,3; 21/30.1983/84 in: 30.1984,3; 31/40.1984/85 in: 40.1985,2/3; 61/70.1988/90 in: 77.1990,3; 101/150.1992/95=150.1995,2; 1/200.1975/98 in: 213/214.1999; Index regelmäßig für 10 Bd.
    Classification (RVK):
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Print-Journal/Serial
    Print-Journal/Serial
    72.1987 - 209.2011; Vol. 210.2012 -
    ISSN: 0890-5401 
    Title: Information and computation
    Publisher(s): Amsterdam : Elsevier | San Diego, Calif. [u.a.] : Academ. Press
    Published Volumes: 72.1987 - 209.2011; Vol. 210.2012 -
    Frequency: Ab 2012 mit durchgehender Heftzählung, die als Vol. bez. wird
    Document type: Journal/Serial
    ISSN: 0890-5401
    Parallel edition(s): Online-Ausg.: Information and computation: Amsterdam : Elsevier, 1987-: Online-Ressource
    Previous title(s): Vorg.:: Information and control: 0019-9958
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    1.1975/76 - 412.2011; Vol. 413.2012 -
    Title: Theoretical computer science
    Subtitle: the journal of the EATCS
    Publisher(s): Amsterdam [u.a.] : Elsevier
    Published Volumes: 1.1975/76 - 412.2011; Vol. 413.2012 -
    Frequency: Ab 2012 mit durchgehender Heftzählung, die als Vol. bez. wird
    Document type: Online Resource
    Physical description: Online-Ressource
    Parallel edition(s): Druckausg.: Theoretical computer science
    Link(s): Fulltext
    Link(s): Fulltext
    Link(s): Fulltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    1.1989 -
    ISSN: 1433-299X  ISSN: 1433-299X 
    Title: Formal aspects of computing
    Subtitle: the international journal of formal methods
    Publisher(s): London : Springer | [Berlin ; Heidelberg] : Springer
    Published Volumes: 1.1989 -
    Frequency: Ersch. alle zwei Monate
    Document type: Online Resource
    Physical description: Online-Ressource
    ISSN: 1433-299X , 1433-299X
    Parallel edition(s): Druckausg.: Formal aspects of computing: London ; Berlin : Springer, 1989-
    Footnote: Gesehen am 01.11.05
    Link(s): Fulltext
    Link(s): Fulltext
    Link(s): Fulltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    30.1997 -
    ISSN: 1433-0490  ISSN: 1433-0490 
    Title: Theory of computing systems
    Publisher(s): New York, NY : Springer | [Berlin ; Heidelberg] : Springer
    Published Volumes: 30.1997 -
    Frequency: Ersch. zweimonatl.
    Document type: Online Resource
    Physical description: Online-Ressource
    ISSN: 1433-0490 , 1433-0490
    Parallel edition(s): Druckausg.: Theory of computing systems: New York, NY : Springer, 1997-
    Previous title(s): Vorg.:: Mathematical systems theory
    Footnote: Gesehen am 08.05.07
    Link(s): Fulltext
    Link(s): Fulltext
    Link(s): Fulltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Book
    Book
    1. Auflage 2019
    ISBN: 978-3-527-71431-5 
    Title: Theoretische Informatik für Dummies
    Edition: 1. Auflage
    Publisher(s): Weinheim : Wiley-VCH Verlag GmbH & Co. KGaA
    Document type: Book
    Physical description: 285 Seiten Illustrationen
    Collective title(s): Lernen einfach gemacht
    ... für Dummies
    ISBN: 978-3-527-71431-5
    Parallel edition(s): Erscheint auch als: Online-Ausgabe, ePub: 978-3-527-81199-1
    Footnote: "Die Grundideen der theoretischen Informatik verstehen; dem Angstfach spannende Einsichten abgewinnen; viele Beispiele, auch aus dem "wirklichen Leben"" - auf dem Buchcover
    Contents: ......7 Einleitung...................................................................................... 17 Was ist theoretische Informatik?............................................................................ 17 Über dieses Buch..........................................................................................................
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Book
    Book
    2019
    ISBN: 978-3-658-25944-0  ISBN: 3-658-25944-2 
    Title: Grundkurs Informatik – Das Übungsbuch
    Subtitle: 148 Aufgaben mit Lösungen
    Publisher(s): Wiesbaden : Springer Vieweg
    Document type: Book
    Physical description: 185 Seiten Illustrationen, Diagramme
    ISBN: 978-3-658-25944-0 , 3-658-25944-2
    Parallel edition(s): Erscheint auch als: Online-Ausgabe, eBook: 978-3-658-25945-7
    Classification (DDC): Datenverarbeitung; Informatik
    Contents: ......Literatur 187 Schmidt, Jochen Grundkurs Informatik ? Das Übungsbuch digitalisiert durch:......
    Link(s): Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    2019
    ISBN: 9783110442397 
    Contributer: Hesse, Wolfgang , Seeger, Bernhard , Taentzer, Gabriele
    Title: Grundlagen der Informatik
    Publisher(s): De Gruyter Oldenbourg
    Year of publication: 2019
    Document type: Online Resource
    ISBN: 9783110442397
    Terms of use: Vorläufiger Zugriff bis zum Jahresende
    Abstract: Die drei Teile der "Informatik - Einführung" decken alle Inhalte des kompletten Informatik-Bachelorstudiums ab. Die einzelnen Teile sind auf die Inhalte der einzelnen Semester abgestimmt. Jeder Teil liefert unabhängig die Grundlagen für die jeweiligen Themen. Durch seinen didaktischen Aufbau mit Aufgaben ist das Buch auf die Bachelorstudierenden abgestimmt. Durch seine anschauliche Darstellung sowie Beispiele aus der Praxis holt es die Einsteiger bei deren Wissensstand ab. Der Teil drei der "Informatik Einführung "beschreibt die Themen ab dem 4. Semester: Formale Sprachen, Compilerbau, Datenbanksysteme, Grafikprogrammierung, Softwareentwicklung, Projektmanagement
    Abstract: Dieser dritte und letzte Band der Buchreihe Informatik ist der Theoretischen Informatik gewidmet. Nach einer allgemeinen Diskussion formaler Sprachen, deren Beschreibungen und Grenzfällen der Erkennbarkeit werden die regulären Sprachen behandelt, welche in der lexikalischen Defi nition von Programmiersprachen ihre wichtigste Anwendung finden sowie die kontextfreien Sprachen, mit denen man die Syntax von Programmiersprachen definiert. Aus theoretischer Sicht befriedigend ist die eindeutige Entsprechung zwischen Sprachbeschreibung und Spracherkennung - den regulären Sprachen entsprechen die endlichen Automaten und den kontextfreien Sprachen die Stackmaschinen. Weitere Stufen der Chomsky-Hierarchie werden nur kurz behandelt, da sie in der Praxis von geringerer Bedeutung sind. Stattdessen zeigt ein eigenes Kapitel zum Thema Compilerbau weitere Techniken auf, die aus einer Sprachbeschreibung einen Parser, also das komplette »front-end« eines Compilers, entstehen lassen. Der Begriff des »Algorithmus« wird anhand verschiedener Maschinenmodelle erklärt und bestätigt wird auch die Churchsche These, dass jede vernünftige Defi nition von »Berechenbarkeit« auf die gleiche Klasse von Funktionen führt. Die Grenzen des algorithmisch Machbaren werden anhand des Halteproblems und des Satzes von Rice klar abgesteckt. Das abschließende Kapitel zur Komplexitätstheorie erkundet unter den lösbaren Problemen die Grenze zwischen denen, die mit einem vertretbaren (polynomiellen) Aufwand lösbar sind und solchen, deren Lösung nicht wesentlich effi zienter ist, als ein systematisches Ausprobieren von Lösungskandidaten. Dieses Kapitel führt den Leser zu dem bekanntesten noch ungelösten Problem der Theoretischen Informatik: P = NP? Der erste Band der Informatik erklärt die grundlegenden Konzepte: Programmierung, Algorithmen und Datenstrukturen. Der zweite Band ist technischen Themen gewidmet - insbesondere der Rechnerarchitektur, Betriebssystemen, Rechnernetzen und speziell dem Internet. Das Buch richtet sich an alle Einsteiger, die sich ernsthaft mit Informatik beschäftigen wollen, sei es zum Selbststudium oder zur Begleitung von Vorlesungen. In den folgenden Bänden dieses Buches werden die Themen, Rechnerarchitektur, Betriebssysteme, Rechnernetze, Internet, Compilerbau und Theoretische Informatik vertieft. Prof. Dr. Heinz-Peter Gumm ist Professor für Theoretische Informatik in Marburg. Nach dem Studium in Darmstadt und Winnipeg (Kanada) von 1970 bis 1975 und der Habilitation 1981 folgten Professuren in Hawaii, Kalifornien und New York. Seine Forschungsgebiete sind Formale Methoden, Allgemeine Algebren und Coalgebren. Prof. Dr. Manfred Sommer ist emeritierter Professor für Praktische Informatik in Marburg. Nach dem Studium in Göttingen und München von 1964 bis 1969, war er Assistent am ersten Informatik-Institut in Deutschland an der TU München. Es folgten zehn Jahre bei Siemens in München und von 1984 bis 2014 war er Informatik-Professor in Marburg
    Link(s): Fulltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Title: Medientechnisches Wissen / Band 2 / Informatik, Programmieren , Kybernetik
    Publisher(s): Berlin : De Gruyter Oldenbourg
    Document type: Book
    Physical description: X, 444 Seiten Illustrationen, Diagramme
    Collective title(s): Medientechnisches Wissen
    Volume/Series: Band 2
    ISBN: 978-3-11-049624-6
    Parallel edition(s): Erscheint auch als: Informatik, Programmieren, Kybernetik: Online-Ausgabe, PDF: 978-3-11-049625-3
    Erscheint auch als: Online-Ausgabe, EPUB: 978-3-11-049358-0
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Book
    Book
    2019
    ISBN: 978-3-658-01279-3  ISBN: 3-658-01279-X 
    Person(s): Hower, Walter
    Title: Informatik-Bausteine
    Subtitle: eine komprimierte Einführung
    Publisher(s): Wiesbaden : Springer Vieweg
    Document type: Book
    Physical description: XV, 94 Seiten Illustrationen
    Collective title(s): Studienbücher Informatik
    ISBN: 978-3-658-01279-3 , 3-658-01279-X
    Parallel edition(s): Erscheint auch als: Online-Ausgabe, eBook: 978-3-658-01280-9
    Classification (DDC): Datenverarbeitung; Informatik
    Classification (RVK):
    Contents: ......Kryptologie.......................................................................................... 26 Literatur.......................................................................................................... 35 2 Theoretische Informatik............................................................................. 37 2.1 Komplexitäts-Theorie........................................................................... 37......
    Link(s): Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...