Algebraic semantics / I. GUSSARIAN

Public ISBD Title : Algebraic semantics Material Type: printed text Authors: I. GUSSARIAN Publisher: Berlin : Springer Publication Date: 1981 Series: Lecture notes in computer science No. 99 Pagination: 158 str. Size: 24 cm General note: Pergam ID: MF 18563 Languages : English (eng) Descriptors: Matematika Class number: ? Algebraic semantics [printed text] / I. GUSSARIAN . - Berlin : Springer, 1981 . - 158 str. ; 24 cm. - (Lecture notes in computer science; 99) . Pergam ID: MF 18563 Languages : English (eng) Descriptors: Matematika Class number: ?

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
23.534	23.534	$r non conforme --	fond	fond	u fondu Available

Boolean calculus of differences / André THAYSE

Public ISBD Title : Boolean calculus of differences Material Type: printed text Authors: André THAYSE Publisher: Berlin : Springer Publication Date: 1981 Series: Lecture notes in computer science No. 101 Pagination: 139 str. Size: 24 cm General note: Pergam ID: MF 18529 Languages : English (eng) Descriptors: Matematika Class number: ? Contents note: Graf. prikazi Boolean calculus of differences [printed text] / André THAYSE . - Berlin : Springer, 1981 . - 139 str. ; 24 cm. - (Lecture notes in computer science; 101) . Pergam ID: MF 18529 Languages : English (eng) Descriptors: Matematika Class number: ? Contents note: Graf. prikazi

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
23.533	23.533	$r non conforme --	fond	fond	u fondu Available

Categorical methods in computer science / Hartmut Ehrig

Public ISBD Title : Categorical methods in computer science Material Type: printed text Authors: Hartmut Ehrig Publisher: Berlin : Springer Publication Date: 1987 Series: Lecture notes in computer science No. 393 Pagination: 351 str. Size: 24 cm General note: Pergam ID: MF 18573 Languages : English (eng) Descriptors: Informatika Class number: ? Categorical methods in computer science [printed text] / Hartmut Ehrig . - Berlin : Springer, 1987 . - 351 str. ; 24 cm. - (Lecture notes in computer science; 393) . Pergam ID: MF 18573 Languages : English (eng) Descriptors: Informatika Class number: ?

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
27.028	27.028	$r non conforme --	fond	fond	u fondu Available

Directions in human factors for interactive systems / Henry F. LEDGARD

Public ISBD Title : Directions in human factors for interactive systems Material Type: printed text Authors: Henry F. LEDGARD Publisher: Berlin : Springer Publication Date: 1981 Series: Lecture notes in computer science No. 103 Pagination: 181 str. Size: 24 cm General note: Pergam ID: MF 18532 Languages : English (eng) Descriptors: Matematika Class number: ? Directions in human factors for interactive systems [printed text] / Henry F. LEDGARD . - Berlin : Springer, 1981 . - 181 str. ; 24 cm. - (Lecture notes in computer science; 103) . Pergam ID: MF 18532 Languages : English (eng) Descriptors: Matematika Class number: ?

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
23.517	23.517	$r non conforme --	fond	fond	u fondu Available

GAG- a practical compiler generator / U. KASTENS

Public ISBD Title : GAG- a practical compiler generator Material Type: printed text Authors: U. KASTENS Publisher: Berlin : Springer Publication Date: 1981 Series: Lecture notes in computer science No. 141 Pagination: 153 str. Size: 24 cm General note: Pergam ID: MF 18533 Languages : English (eng) Descriptors: Informatika Class number: ? GAG- a practical compiler generator [printed text] / U. KASTENS . - Berlin : Springer, 1981 . - 153 str. ; 24 cm. - (Lecture notes in computer science; 141) . Pergam ID: MF 18533 Languages : English (eng) Descriptors: Informatika Class number: ?

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
24.409	24.409	$r non conforme --	fond	fond	u fondu Available

Graphtheoretic concepts in computer science / Gerhard GOOS

Permalink

On the inegration of algebraic functions / James H. DAVENPORT

Permalink

Program construction / Gerhard GOOS

Permalink

Teoretical computer science / Gerhard GOOS

Permalink

Theoretical computer science 4th GI conference / S. A. GREIBACH

Permalink

Theory of program structuresnts,schemes,semantics, verification / S. A. GREIBACH

Permalink

---

1 (1 - 11 / 11)