Zum Inhalt springen

Ziegenbalg, Jochen [VerfasserIn]; Ziegenbalg, Oliver [VerfasserIn]; Ziegenbalg, Bernd [VerfasserIn] ; Springer Fachmedien Wiesbaden

Algorithmen von Hammurapi bis Gödel : mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima - [4., überarbeitete und erweiterte Auflage]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiesbaden: Springer Spektrum, [2016]
Nipkow, Tobias [VerfasserIn]; Klein, Gerwin [VerfasserIn]

Concrete semantics : with Isabelle/HOL

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham; Heidelberg; New York: Springer, [2014]
Stuart, Tom [VerfasserIn]

Understanding computation : [from simple machines to impossible programs] - [1. ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Beijing; Köln [u.a.]: O'Reilly, 2013
Lorenz, Gernot [VerfasserIn]

Funktionale Modellierung und Rekursion : Praxis - Didaktik - Theorie

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München: Oldenbourg Verlag, [2015]
Wende, Christian [VerfasserIn]

Language family engineering : with features and role-based composition

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2012
Sestoft, Peter [VerfasserIn]

Programming language concepts

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London; Heidelberg [u.a.]: Springer, 2012

Erschienen in: Undergraduate topics in computer science
Hausser, Roland [VerfasserIn]

Computational linguistics and talking robots : processing content in database semantics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011
Drescher, Conrad [VerfasserIn]

Action Logic Programs : How to Specify Strategic Behavior in Dynamic Domains Using Logical Rules

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2010
Stepanov, Alexander A. [VerfasserIn]; McJones, Paul [VerfasserIn]

Elements of programming

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Upper Saddle River, NJ; Munich [u.a.]: Addison-Wesley, 2009
Bjoerner, Dines [HerausgeberIn]; Bjørner, Dines [Sonstige Person, Familie und Körperschaft]; Henson, Martin C. [Sonstige Person, Familie und Körperschaft]

Logics of specification languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2008

Erschienen in: Monographs in theoretical computer science : an EATCS series
Nielson, Hanne Riis [VerfasserIn]; Nielson, Flemming [VerfasserIn]

Semantics with applications : an appetizer

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: Springer, 2007

Erschienen in: Undergraduate topics in computer science
Voigtländer, Janis [VerfasserIn]; Johann, Patricia [VerfasserIn]

Selective strictness and paramentricity in structural operational semantics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., Fakultät Informatik, 2006

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2006,02
Pierce, Benjamin C. [HerausgeberIn]

Advanced topics in types and programming languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Mass. [u.a.]: MIT Press, 2005
Stahl, Christian [VerfasserIn] ; Humboldt-Universität zu Berlin Institut für Informatik, Humboldt-Universität zu Berlin

A petri net semantics for BPEL

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Inst. für Informatik, 2005

Erschienen in: Informatik-Berichte ; 188
Blackburn, Patrick [VerfasserIn]; Bos, Johan [VerfasserIn]

Representation and inference for natural language : a first course in computational semantics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stanford, Calif.: Center for the Study of Language and Information, 2005

Erschienen in: CSLI studies in computational linguistics
Jürgensen, Claus [VerfasserIn]

Categorical semantics and composition of tree transducers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2003
Walther, Christoph [VerfasserIn]

Semantik und Programmverifikation - [1. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart; Leipzig; Wiesbaden: Teubner, 2001

Erschienen in: Teubner-Texte zur Informatik ; 34
Pierce, Benjamin C. [VerfasserIn]

Types and programming languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Massachusetts; London, England: The MIT Press, [2002]
Eirund, Helmut [VerfasserIn]; Müller, Bernd [VerfasserIn]; Schreiber, Gerlinde [VerfasserIn]

Formale Beschreibungsverfahren der Informatik : ein Arbeitsbuch für die Praxis - [1. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart; Leipzig [u.a.]: Teubner, 2000

Erschienen in: Informatik & Praxis
Böszörményi, László [Sonstige Person, Familie und Körperschaft]; Wirth, Niklaus [Sonstige Person, Familie und Körperschaft]

The school of Niklaus Wirth : the art of simplicity

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg [u.a.]: dpunkt-Verl. [u.a.], 2000 ; San Francisco: Morgan Kaufmann, 2000

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr