بدائل البحث:
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
بواسطة Langer, Arthur M., Langer, Arthur M.
منشور في 2012
جدول المحتويات: ... 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...
احصل على النص الكامل
أطروحة
8
بواسطة Aziz, Arnis
منشور في 2013
... and to surrounding. This research seeks study is to implement the criteria of sustainable design in street furniture...
احصل على النص الكامل
أطروحة
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...
احصل على النص الكامل
أطروحة
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
بواسطة Apfelbaum, Steven I., Apfelbaum, Steven I., Haney, Alan.
منشور في 2012
جدول المحتويات: ...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...
احصل على النص الكامل
الكتروني كتاب الكتروني