1
יצא לאור 2007
תוכן הענינים: ... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
תוכן הענינים: ..., Sets and Logical Connectives -- Sequences and Bit-Strings -- Modulo Computation -- Geometric Sums...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים: ... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים: ... Ad Hoc Network -- A Semantic and Adaptive Context Model for Ubiquitous Computing -- Research...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2006
תוכן הענינים: ... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים: ... Neural Network -- Towards an Integrated Semantic Framework for Neurological Multidimensional Data...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2013
תוכן הענינים: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2013
תוכן הענינים: ... Circuits Design Education Based On Virtual Verification Panel -- Extending LR Parsing to Implement...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים: ... Replacement for Heterogeneous Systems -- Synthesis of Reo Circuits for Implementation of Component-Connector...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2007
תוכן הענינים: ...High Performance Implementation of an FPGA-Based Sequential DT-CNN -- HANNA: A Tool for Hardware...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים: ... Assignment for Grid Computing -- Implementation of a Heuristic Network Bandwidth Measurement for Grid...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2006
תוכן הענינים: ... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
תוכן הענינים: ... -- Efficient Symbolic Analysis for Concurrent Programs -- Translation Validation of High-Level Synthesis...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2015
תוכן הענינים: ... Subspaces Revisited -- Leakage-Resilient Circuits Revisited – Optimal Number of Computing Components Without...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2012
תוכן הענינים: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2008
תוכן הענינים: ... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2013
תוכן הענינים: ...Wireless Sphygmomanometer with Data Encryption -- Design and Implementation of Multimedia Social...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
תוכן הענינים: ...Introduction -- IEC 61499 in a Nutshell -- Introduction to Synchronous Programming Using Esterel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
מאת Mohammad, Karimadini
יצא לאור 2006
...Simplifying of implementation of linear state feedback fuzzy controllers is investigated through...
קבל טקסט מלא
Thesis