今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
Specification of Abstract Data Types (Wiley Teubner on Applicable Theory in Computer Science)
Loeckx, Jacques／Ehrich, Hans-Dieter／Wolf, Markus
The Foundations of Program Verification (Wiley Teubner on Applicable Theory in Computer Science)
Loeckx, Jacques／Sieber, Kurt
Algorithmentheorie (Hochschultext)
Loeckx, Jacques
Computability and Decidability: An Introduction for Students of Computer Science (Lecture Notes in Economics and Mathematical Systems, 68)
Loeckx, Jacques
The Foundations of Program Verification (Series in Computer Science)
Sieber, Kurt／Loeckx, Jacques／Stansifer, Ryan
Foundations of Programming Languages
Loeckx, Jacques／Mehlhorn, Kurt／Wilhelm, Reinhard
Foundations of Programme Verification (Wiley-Teubner series in computer science)
Loeckx, Jacques／etc.
Algorithmentheorie
Jacques Loeckx
Framing urban renewal in Flanders
André Loeckx, ed.
Urban trialogues : visions, projects, co-productions : Localising Agenda 21
André Loeckx ... [et al.], eds
1
2
