Your search returned 2 results.

Results
		Categorical methods in computer science : with aspects from topology / Hartmut Ehrig ... [et al.],(eds.). by Ehrig, Hartmut [რედაქტორი] International Workshop on Categorical Methods in Computer Science with Aspects from Topology (1988, Berlin, West) Series: Lecture notes in computer science ; 393 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer, 1989 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Formal methods and software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 - 29, 1985 ; volume 2: Colloquium on Software Engineering (CSE) / edited by Hartmut Ehrig [and others] ; TAPSOFT, Colloquium on Software Engineering. by Ehrig, Hartmut TAPSOFT 1 1985 Berlin, West Colloquium on Software Engineering 1985 Berlin, West Series: Lecture notes in computer science ; 186 \| ; 186 \| Proceedings of the International Joint Conference on Theory and Practice of Software Development. TAPSOFT ; 1.1985,2 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin [a. o.] : Springer-Verlag, 1985 Online resources: Inhaltsverzeichnis Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.