UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 25

Sortiert nach

Principles of program analysis : with 51 tables

1. ed., corr. 2. print, 2005

Signatur: TXL1997

Principles of program analysis : with 51 tables

1999

Signatur: TXL1997

Semantik von Programmiersprachen

Studienreihe Informatik

Fehr, Elfriede

1989

Signatur: TXL1654

Programming language syntax and semantics

Prentice Hall international series in computer science

1. [Dr.], 1991

Signatur: TXL1719

Programmierumgebungen: Entwicklungswerkzeuge und Programmiersprachen

Informatik-Fachberichte : 79 (Alle Bände)

Sammer, Werner[Herausgeber]

1984

Signatur: TXL1549

Objektorientierte Sprachkonzepte und diskrete Simulation : Klassifikation, Vergleich und Bewertung von Konzepten der Programmiersprachen Simula-67, Modula-2, Pascal, Smalltalk-80 und Beta aus objektorientierter Sicht vor dem Hintergrund des Anwendungsgebietes der diskreten Simulation

Fachberichte Simulation : 13 (Alle Bände)

1990

Signatur: TXL1701

Semantics of programming languages : structures and techniques

Foundations of computing

Gunter, Carl A

1992

Signatur: TXL1808

PROGRAMMATION EN LANGAGES BINAIRE ET SYMBOLIQUE. AVEC EXERCICES

Thorin, Marc

1974

Signatur: TXL1086

The world of scripting languages

Worldwide series in computer science : Programming languages, web programming

Barron, David W

2000

Signatur: TXL2016

Unternehmensdynamik : Horst Albach zum 60. Geburtstag

1991

Signatur: PZJ1634

Nachhaltige Stadtplanung : lebendige Quartiere, Smart Cities, Resilienz

Edition DETAIL

Zweite Auflage (überarbeitet und aktualisiert), [2018]

Signatur: WUB8611(2)

Essentials of programming languages

3. ed, 2008

Signatur: TXL1777(3)

quatre ans d'occupations

Guitry, Sacha

1947

Signatur: FCTG1751

Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie

4., durchges. Aufl, 2000

Signatur: TXL1387(4)-DT

Pfad- und Wort-Fairness als Akzeptanzbedingung einer Klasse nicht-omega-regulärer, aber erkennbarer Sprachen

Rehrmann, Ralf

1988

Signatur: MQ35465, PQ54

Pfad- und Wort-Fairness als Akzeptanzbedingung einer Klasse nicht-omega-regulärer, aber erkennbarer Sprachen

Rehrmann, Ralf

1988

Multi-Transputer-Maschine zur parallelen Reduktion von Funktionalsprachenprogrammen

Bodenschatz, Wolfgang

1989

Signatur: D2186

Papers from the Symposium on Central European Alkaline Volcanic Rocks (SCEAVR) : Prague, June 24 - 29, 1991

Mineralogy and petrology : 48,1 (Alle Bände)

1993

Signatur: D8529

Flughafen Berlin Brandenburg (BER) : Statista-Dossier zum BER-Airport (Berlin Brandenburg) und den früheren Berliner Flughäfen Tegel und Schönefeld

2020

Link zum Volltext
Statista Dossiers (ZDB-185-STD)

Nuclear and electron relaxation : the magnetic nucleus unpaired electron coupling in solution

1991

Signatur: ULP2922

Vitamin Z : neue Perspektiven in der Zeichnung

Dt. Erstausg, 2006

Signatur: KDU2381

Generative and Transformational Techniques in Software Engineering III : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers [electronic resource]

1st ed. 2011, 2011

Link zum Volltext
SpringerLink Books - AutoHoldings

Software Language Engineering : First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers [electronic resource]

1st ed. 2009, 2009

Link zum Volltext
SpringerLink Books - AutoHoldings

Les intégrales eulériennes et leurs applications : étude approfondie de la fonction gamma

Collection universitaire de mathématiques : 20 (Alle Bände)

Campbell, Robert

1966

Signatur: THU1697

Microlocal analysis and precise spectral asymptotics

Springer monographs in mathematics

Ivrii, Victor

1998

Signatur: TJW2188

1 – 25 von 25

Suche als RSS-Feed

Aktive Filter

Autor / AutorinBucher, Walter

Autor / AutorinMotwani, Rajeev

Autor / AutorinWilhelm, Reinhard

SchlagwortAxiomatische Semantik

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(25)

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TXL
(15)
FCTG
(1)
KDU
(1)
PHXA
(1)
PZJ
(1)
THU
(1)
TJW
(1)
TWP
(1)
ULP
(1)
USG
(1)
WUB
(1)

6 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

1 weiteren anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Principles of program analysis : with 51 tables

Principles of program analysis : with 51 tables

Semantik von Programmiersprachen

Programming language syntax and semantics

Programmierumgebungen: Entwicklungswerkzeuge und Programmiersprachen

Objektorientierte Sprachkonzepte und diskrete Simulation : Klassifikation, Vergleich und Bewertung von Konzepten der Programmiersprachen Simula-67, Modula-2, Pascal, Smalltalk-80 und Beta aus objektorientierter Sicht vor dem Hintergrund des Anwendungsgebietes der diskreten Simulation

Semantics of programming languages : structures and techniques

PROGRAMMATION EN LANGAGES BINAIRE ET SYMBOLIQUE. AVEC EXERCICES

The world of scripting languages

Unternehmensdynamik : Horst Albach zum 60. Geburtstag

Nachhaltige Stadtplanung : lebendige Quartiere, Smart Cities, Resilienz

Essentials of programming languages

quatre ans d'occupations

Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie

Pfad- und Wort-Fairness als Akzeptanzbedingung einer Klasse nicht-omega-regulärer, aber erkennbarer Sprachen

Pfad- und Wort-Fairness als Akzeptanzbedingung einer Klasse nicht-omega-regulärer, aber erkennbarer Sprachen

Multi-Transputer-Maschine zur parallelen Reduktion von Funktionalsprachenprogrammen

Papers from the Symposium on Central European Alkaline Volcanic Rocks (SCEAVR) : Prague, June 24 - 29, 1991

Flughafen Berlin Brandenburg (BER) : Statista-Dossier zum BER-Airport (Berlin Brandenburg) und den früheren Berliner Flughäfen Tegel und Schönefeld

Nuclear and electron relaxation : the magnetic nucleus unpaired electron coupling in solution

Vitamin Z : neue Perspektiven in der Zeichnung

Generative and Transformational Techniques in Software Engineering III : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers [electronic resource]

Software Language Engineering : First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008, Revised Selected Papers [electronic resource]

Les intégrales eulériennes et leurs applications : étude approfondie de la fonction gamma

Microlocal analysis and precise spectral asymptotics

Aktive Filter

Suchergebnisse filtern