在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
methods creating » methods costing, methods getting, methods writing
methods decoding » methods recording, methods becoming, methods encoding
a live » a life
methods creating » methods costing, methods getting, methods writing
methods decoding » methods recording, methods becoming, methods encoding
a live » a life
1
出版 2005
书本目录:
“...Invited Talks -- Is Formal Verification Bound to Remain a Junior Partner of Simulation...”获取全文
电子
电子书
2
出版 2006
书本目录:
“... Formalisation -- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing -- System Design...”获取全文
电子
电子书
3
出版 2013
书本目录:
“... Studying of the Students Which Is Controlled by Distance with Web-Portal E-olimp -- A Template-Based Method...”获取全文
电子
电子书
4
书本目录:
“... and Realistic Budgeting -- Analysis Methods and Tools -- Part II: Development Architecture -- Creating...”
获取全文
获取全文
电子
电子书
5
出版 2014
书本目录:
“... Perspective -- Designing for Learning in Coupled Contexts -- Making the Right Connections: Implementing...”获取全文
电子
电子书
6
出版 2015
书本目录:
“... Phenotypic Profiling and Screening: Techniques, Experimental Design, and Data Assessment -- Surface Plasmon...”获取全文
电子
电子书
7
8
由 Aziz, Arnis
出版 2013
“... and to surrounding. This research seeks study is to implement the criteria of sustainable design in street furniture...”出版 2013
获取全文
Thesis
9
出版 2014
书本目录:
“... Prediction: A Hands-on Approach -- Annotating Functional RNAs in Genomes using Infernal -- Class-specific...”获取全文
电子
电子书
10
11
出版 2010
书本目录:
“...: Implications for Creating Knowledge -- The Design and Engineering of Mobile Data Services: Developing...”获取全文
电子
电子书
12
出版 2005
书本目录:
“... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...”获取全文
电子
电子书
13
出版 2007
书本目录:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”获取全文
电子
电子书
14
出版 2010
书本目录:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”获取全文
电子
电子书
15
出版 2010
书本目录:
“... and Implementation of Interactive Spaces for Information Interaction -- ViSE – A Virtual Smart Environment...”获取全文
电子
电子书
16
出版 2012
书本目录:
“... Decoding Method -- A Regular Group Quorum System of Degree A Note on Developing Optimal and Scalable...”获取全文
电子
电子书
17
出版 2006
书本目录:
“... of Collaboration-Based Designs -- A Location Servive for Pervasive Grids -- Extending an existing IDE to create non...”获取全文
电子
电子书
18
书本目录:
“...Preface -- Introduction -- Step 1. Inventory and Map Your Land. Task 1. Create a Basemap. Task 2...”
获取全文
获取全文
电子
电子书
19
出版 2010
书本目录:
“...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...”获取全文
电子
电子书
20
出版 2007
书本目录:
“...Ubiquitous Computing Frameworks -- An Efficient Method to Create Business Level Events Using...”获取全文
电子
电子书



