Distinguished dissertations

資料種別: 図書

著者: -

出版者: Springer Verlag

出版年: -

資料形態: 紙

ページ数・大きさ等: -

NDC: -

すべて見る

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

CiNii Research
検索サービス
紙
連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
この本の所蔵を確認

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
タイトル: Distinguished dissertations
出版事項: Springer Verlag
出版地（国名コード）: uk
本文の言語コード: en
対象利用者: 一般
関連情報: Theorem proving with the real numbers
https://cir.nii.ac.jp/crid/1130000793715585664
Randomized algorithms : approximation, generation, and counting
https://cir.nii.ac.jp/crid/1130000794422066048
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
https://cir.nii.ac.jp/crid/1130000794480143744
Inheritance relationships for disciplined software construction
https://cir.nii.ac.jp/crid/1130000795606654976
Hardware evolution : automatic design of electronic circuits in reconfigurable hardware by Artificial Evolution
https://cir.nii.ac.jp/crid/1130000796430028288
Stochastic algorithms for visual tracking : probabilistic modelling and stochastic algorithms for visual localisation and tracking
https://cir.nii.ac.jp/crid/1130000796899873792
Accurate visual metrology from single and multiple uncalibrated images
https://cir.nii.ac.jp/crid/1130000798106687616
Automated theory formation in pure mathematics
https://cir.nii.ac.jp/crid/1130282269587923328
Large scale collaborative virtual environments
https://cir.nii.ac.jp/crid/1130282270546103680
Search and planning under incomplete information : a study using bridge card play
https://cir.nii.ac.jp/crid/1130282271141715584
Asynchronous system-on-chip interconnect
https://cir.nii.ac.jp/crid/1130282271161307520
User-developer cooperation in software development : building common ground and usable systems
https://cir.nii.ac.jp/crid/1130282271379834496
Architecture-independent loop parallelisation
https://cir.nii.ac.jp/crid/1130282271633921536
Image mosaicing and super-resolution
https://cir.nii.ac.jp/crid/1130282271777674240
Games and full abstraction for a functional metalanguage with recursive types
https://cir.nii.ac.jp/crid/1130282272249412096
Models of sharing graphs : a categorical semantics of let and letrec
https://cir.nii.ac.jp/crid/1130282273334387968
関連情報（URI）: https://ci.nii.ac.jp/ncid/BA37476806#entity
連携機関・データベース: 国立情報学研究所 : CiNii Research
提供元機関・データベース: CiNii Books
https://ci.nii.ac.jp/books
NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA37476806 : BA37476806