- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826507663
3826507665
- Dimensions
-
21 cm
- Extent
-
XIV, 212 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
Zugl.: München, Univ., Diss., 1995
- Keyword
-
Funktionale Programmierung
Lambda-Kalkül
Constraint
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
1995
- Creator
-
Mandel, Luis
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 1:40 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Mandel, Luis
- Shaker
Time of origin
- 1995
Other Objects (12)
A generic calculus of transformations
Constructive domain models of typed lambda calculi
Evolutionary algorithms for constrained optimization problems
Die Zerfallsasymmetrie des radiativen Hyperonzerfalls ξ0 →Λγ [xi0 → Lambda gamma]
Distortion modeling for rate constrained optimization of scalable video coding
Dynamic Lambda Calculus
Optimization-based solutions to constrained trajectory-tracking and path-following problems
Robust design of constrained dynamical systems
Domain models of typed lambda calculi : towards a theory of concurrency in typed functional setting
The overtyped lambda calculus
Zur Übersetzung von Termen eines angewandten Λ-Kalküls [Lambda-Kalküls] in Zielmaschinencode unter besonderer Berücksichtigung der Rückübersetzbarkeit ausgezeichneter Zwischenzustände der Codeausführung
Holomorphic functional calculus in serveral variables and Ψ*-algebras [Psi-algebras] of totally characteristic operators on manifolds with boundary
A generic calculus of transformations
Constructive domain models of typed lambda calculi
Evolutionary algorithms for constrained optimization problems
Die Zerfallsasymmetrie des radiativen Hyperonzerfalls ξ0 →Λγ [xi0 → Lambda gamma]
Distortion modeling for rate constrained optimization of scalable video coding
Dynamic Lambda Calculus
Optimization-based solutions to constrained trajectory-tracking and path-following problems
Robust design of constrained dynamical systems
Domain models of typed lambda calculi : towards a theory of concurrency in typed functional setting
The overtyped lambda calculus
Zur Übersetzung von Termen eines angewandten Λ-Kalküls [Lambda-Kalküls] in Zielmaschinencode unter besonderer Berücksichtigung der Rückübersetzbarkeit ausgezeichneter Zwischenzustände der Codeausführung
Holomorphic functional calculus in serveral variables and Ψ*-algebras [Psi-algebras] of totally characteristic operators on manifolds with boundary
A generic calculus of transformations
Constructive domain models of typed lambda calculi
Evolutionary algorithms for constrained optimization problems
Die Zerfallsasymmetrie des radiativen Hyperonzerfalls ξ0 →Λγ [xi0 → Lambda gamma]
Distortion modeling for rate constrained optimization of scalable video coding
Dynamic Lambda Calculus
Optimization-based solutions to constrained trajectory-tracking and path-following problems
Robust design of constrained dynamical systems
Domain models of typed lambda calculi : towards a theory of concurrency in typed functional setting
The overtyped lambda calculus
Zur Übersetzung von Termen eines angewandten Λ-Kalküls [Lambda-Kalküls] in Zielmaschinencode unter besonderer Berücksichtigung der Rückübersetzbarkeit ausgezeichneter Zwischenzustände der Codeausführung