選択資料から書架並びで前後20冊ずつを表示します。
Ada in Europe : First International Eurospace-Ada Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings / Marcel Toussaint (ed.)
書庫2階
Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint (ed.)
書庫2階
Reference manual for the Ada programming language / United States Department of Defense
書庫2階
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest
書庫2階
Ada 95 quality and style / Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit,IV, Steven B. Opdahl (Eds.)
書庫2階
Ada 95 rationale : the language, tha standard libraries / John Barnes, (ed.)
書庫2階
Concurrent and real-time programming in Ada 2005 / Alan Burns and Andy Wellings
: hbk
書庫2階
ANNA, a language for annotating Ada programs : reference manual / David C. Luckham ... [et al.]
書庫2階
ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings / Jonathan P. Bowen ... [et al.] (eds.)
書庫2階
ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / Didier Bert ... [et al.] (eds.)
書庫2階
Problem solving using C : structured programing techniques / Yuksel Uckan
書庫2階
An analytical description of CHILL, the CCITT high level language / Paul Branquart, Georges Louis, Pierre Wodon
書庫2階
C++ scientific programming : computational recipes at a higher level / John R. Berryhill
: cloth
書庫2階
LEDA : a platform for combinatorial and geometric computing / Kurt Mehlhorn, Stefan Näher
書庫2階
Guide to scientific computing in C++ / Joe Pitt-Francis, Jonathan Whiteley
: pbk
書庫2階