Mit dem Besuch dieser Seite stimme ich zu, dass diese Cookies für Analysen verwendet. Erfahren Sie mehr
Sie befinden sich weder auf dem Campus, noch sind Sie mit dem VPN per FullTunnel verbunden. Deshalb können Sie ggfs. nicht auf alle lizenzierten Inhalte zugreifen. Informationen zum VPN-Client für TU-Angehörige.
UNIVERSITÄTSBIBLIOTHEK
Weiter zum Inhalt
Katalog+
  • Kontakt per E-Mail
  • Feedback zu Katalog+
  • 0 in der Auswahl
  • Ihr Konto
  • Abmelden
  • Anmelden (Bibliothekskonto)
  • Sprache
    • Englisch
    • Deutsch
Erweitert
Bibliothekskatalog Dokumentenserver (KLUEDO) Artikelindex (externer Anbieter)
Zu den Facetten scrollen
  • Suche: inf 360
Ähnliche Stichwörter... innerhalb Ihrer Suche.
Formale Sprache 46 Programmiersprache 33 Semantik 16
Kongress 14 Automatentheorie 12 Syntaktische Analyse 11
mehr ...
Theoretische Informatik 9 Formale Semantik 7 Funktionale Semantik 7
Typentheorie 6 Einführung 5 Mathematische Linguistik 5
Kontextfreie Grammatik 4 Kontextfreie Sprache 4 Syntax 4
ATN-Grammatik 3 Attributierte Grammatik 3 Aufsatzsammlung 3
Axiomatische Semantik 3 Compiler 3 weniger ...

Treffer 1 - 20 von 173 für Suche: 'inf 360'
Cover Bild
Type theory and functional programming
von Thompson, Simon
Veröffentlicht 1991
“...INF 360/119...”
Gedrucktes Buch wird geladen......
Cover Bild
Semantics of type theory
von Streicher, Thomas
Veröffentlicht 1991
“...INF 360/118...”
Gedrucktes Buch wird geladen......
Cover Bild
Semantics of programming languages
von Tennent, Robert D.
Veröffentlicht 1991
“...INF 360/117...”
Gedrucktes Buch wird geladen......
Cover Bild
Parsing
von Naumann, Sven
Veröffentlicht 1994
“...INF 360/128...”
Gedrucktes Buch wird geladen......
Cover Bild
Lindenmayer systems
Veröffentlicht 1992
“...INF 360/082...”
Gedrucktes Buch wird geladen......
Cover Bild
Lecture notes in computer science, 2710. Developments in language theory
Veröffentlicht 2003
“...INF 360/152-2003...”
Gedrucktes Buch wird geladen......
Cover Bild
Lecture notes in computer science, 2450. Developments in language theory
Veröffentlicht 2003
“...INF 360/152-2002...”
Gedrucktes Buch wird geladen......
Cover Bild
Reihe Informatik, 27. Syntaxanalyse
von Mayer, Otto
Veröffentlicht 1986  –  3., durchges. Aufl.
“...INF 360/011...”
Gedrucktes Buch wird geladen......
Cover Bild
Data abstraction in programming languages
von Bishop, Judith M.
Veröffentlicht 1986
“...INF 360/087...”
Gedrucktes Buch wird geladen......
Cover Bild
Milne, Robert: A theory of programming language semantics, A. Indices and appendices, fundamental concepts, mathematical foundations
Veröffentlicht 1976
“...INF 360/013-A...”
Gedrucktes Buch wird geladen......
Cover Bild
Milne, Robert: A theory of programming language semantics, B. Standard semantics, store semantics, stack semantics
Veröffentlicht 1976
“...INF 360/013-B...”
Gedrucktes Buch wird geladen......
Cover Bild
The book of L
Veröffentlicht 1986
“...INF 360/081...”
Gedrucktes Buch wird geladen......
Cover Bild
Algebraic specifications in an integrated software development and verification system
von Voß, Angelika
Veröffentlicht 1986
“...INF 360/079...”
Dissertation Hochschulschrift Gedrucktes Buch wird geladen......
Cover Bild
Elements of formal semantics
von Martin, John N.
Veröffentlicht 1987
“...INF 360/094...”
Gedrucktes Buch wird geladen......
Cover Bild
LR parsing
von Chapman, Nigel P.
Veröffentlicht 1987  –  1. publ.
“...INF 360/092...”
Gedrucktes Buch wird geladen......
Cover Bild
Reihe Informatik, 59. Einführung in die Semantik von Programmiersprachen
von Alber, Klaus
Veröffentlicht 1988
“...INF 360/096...”
Gedrucktes Buch wird geladen......
Cover Bild
Fully abstract models of programming languages
von Stoughton, Allen
Veröffentlicht 1988
“...INF 360/100...”
Gedrucktes Buch wird geladen......
Cover Bild
An introduction to formal language theory
von Moll, Robert N.
Veröffentlicht 1988
“...INF 360/097...”
Gedrucktes Buch wird geladen......
Cover Bild
Mathematical foundations of programming language semantics
Veröffentlicht 1988
“...INF 360/095...”
Gedruckte Zeitschrift
Cover Bild
Formal language theory
Veröffentlicht 1980
“...INF 360/056...”
Gedrucktes Buch wird geladen......
Cover Bilder: powered by Google
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • Nächste Seite »
  • [9]
Suchwerkzeuge: Diese Suche als E-Mail versenden — Suche speichern

Suche einschränken

Zum Suchfeld scrollen
Online
173 Nein
Medienart
163 Gedrucktes Buch 16 Dissertation 16 Hochschulschrift 5 Gedrucktes mehrbändiges Werk 3 Gedruckte Zeitschrift 2 Unbekannt
Lokaler Print-Bestand
173 Informatik 20 Mathematik, Physik 15 Zentralbibliothek
Lehrbuchsammlung
7 Informatik
Erscheinungsjahr
Verfasser
3 Ginsburg, Seymour 3 Gross, Maurice 3 Mayer, Otto 3 Salomaa, Arto 2 Berstel, Jean 2 Foster, John M. mehr ... 2 Nijholt, Anton 2 Schmidt, David A. 2 Winskel, Glynn 1 Alber, Klaus 1 Allison, Lloyd 1 Amadio, Roberto M. 1 Asperti, Andrea 1 Backhouse, Roland Carl 1 Bakker, Jacobus Willem de 1 Balke, Ludwig 1 Bar-Hillēl, Yehôšuaʿ 1 Bartholomes, Franz 1 Becker, Heinrich 1 Beierle, Christoph weniger ...
Sprache
116 Englisch 34 Deutsch 20 Unbekannt 4 Französisch
Sammlung
173 Bibliothekskatalog 7 Lehrbuchsammlung

Suchoptionen

  • Suchverlauf
  • Erweiterte Suche

Weitere Suchoptionen

  • Semester­apparat
  • Lehrbuchsammlung
  • Neuerwerbungen
  • Kinderuni
  • Systematiken
  • Elektronische Lehrbücher (BIO, CHE, MAT, PHY)

Benötigen Sie Hilfe?

  • Hinweise zum Katalog+

Sonstiges

  • Anschaffungsvorschlag
  • Datenschutzerklärung
  • Impressum

Index Version: biblio_2019-02-18_11-04, kluedo_2019-02-18_11-10

wird geladen......