Your search returned 11 results.

Results
	1.		Proceedings on ada software tools interfaces by Wallis Peter J L Ed. by Wallis Peter J L Ed Workshop on software tools interfaces (1983 : Bath) Series: Lecture notes in computer science; 180 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Veerlag 1984 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92AD M4. Place hold Save to lists Add to cart (remove)
	2.		Principles of artifical intelligence Nilsson Nils J by Nilsson Nils J Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Veerlag 1980 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 MO. Place hold Save to lists Add to cart (remove)
	3.		Join gemetries: a theory of convex sets and linear geometry Prenowitz Walter; Jantoscial James by Prenowitz Walter Jantoscial James Series: Undergraduate textx in mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York Springer-Veerlag 1979 Availability: Items available for loan: Central Science Library (1)Collection, call number: B6 L9;1. Place hold Save to lists Add to cart (remove)
	4.		Join gemetries: a theory of convex sets and linear geometry Prenowitz Walter; Jantoscial James by Prenowitz Walter Jantoscial James Series: Undergraduate textx in mathematics Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York Springer-Veerlag 1979 Availability: Items available for loan: Central Science Library (1)Collection, call number: B6 L9;1. Place hold Save to lists Add to cart (remove)
	5.		Physics of gravitating systems I Fridman A M; Polyachenko V L by Fridman A M Polyachenko V L Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York Springer Veerlag 1984 Availability: Items available for loan: Central Science Library (1)Collection, call number: CK M4.1. Place hold Save to lists Add to cart (remove)
	6.		Verifying concurrent processes using temperal logic Hailpern Bernt T by Hailpern Bernt T Series: Lecture notes in computer science; 129 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Veerlag 1982 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 M2. Place hold Save to lists Add to cart (remove)
	7.		Automatic differentiation: techniques and applications Rall Louis B by Rall Louis B Series: Lecture notes in computer science; 120 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Veerlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B33 M1. Place hold Save to lists Add to cart (remove)
	8.		P-functions and boolean matrix factorization Thayse Andre by Thayse Andre Series: Lecture notes in computer science; 175 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Veerlag 1984 Availability: Items available for loan: Central Science Library (1)Collection, call number: B245 M5. Place hold Save to lists Add to cart (remove)
	9.		Stochastic monotonicity and queueing application of birth-death processes Doorn Erik Van by Doorn Erik Van Series: Lectures notes in statistics; 4 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York Springer Veerlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B2811 M11;1. Place hold Save to lists Add to cart (remove)
	10.		Stochastic monotonicity and queueing application of birth-death processes Doorn Erik Van by Doorn Erik Van Series: Lectures notes in statistics; 4 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: New York Springer Veerlag 1981 Availability: Items available for loan: Central Science Library (1)Collection, call number: B2811 M11;1. Place hold Save to lists Add to cart (remove)
	11.		Proceeding on microclusters Sugano S Ed.; Nishina Y Ed.; Ohnishi S Ed. by Sugano S Ed Nishina Y Ed Ohnishi S Ed Series: Springer series in materials science; 4 Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Veerlag 1987 Availability: Items available for loan: Central Science Library (1)Collection, call number: C21p1,N86 M7. Place hold Save to lists Add to cart (remove)