搜索替代词:
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
Aziz, Arnis
出版 2013
主题: ...Furniture design...
获取全文
Thesis
8
Aziz, Arnis
出版 2013
... and to surrounding. This research seeks study is to implement the criteria of sustainable design in street furniture...
获取全文
Thesis
9
出版 2014
书本目录: ... Prediction: A Hands-on Approach -- Annotating Functional RNAs in Genomes using Infernal -- Class-specific...
获取全文
电子 电子书
10
Thai, Seng Choong
出版 2013
主题: ...Underground pipelines - Design and construction...
获取全文
Thesis
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...
获取全文
电子 电子书