1
מאת Jukna, Stasys., Jukna, Stasys.
יצא לאור 2012
תוכן הענינים: ...Part I Basics -- Part II Communication Complexity -- Part III Circuit Complexity -- Part IV Bounded...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
נושאים: ...SaberBASIC (Computer program language)...
Thesis ספר
3
4
יצא לאור 2013
תוכן הענינים: ... .-Characterizing neural circuitry with programmed human neurons.- Direct conversion of fibroblasts to neuronal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים: ... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2013
תוכן הענינים: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים: ... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
מאת Mintz, Mike., Mintz, Mike., Ekendahl, Robert.
יצא לאור 2007
תוכן הענינים: ... -- A Layered Approach -- An Open-Source Environment with SystemVerilog -- Teal Basics -- Truss: A...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2006
תוכן הענינים: ... -- Towards Practical Computable Functions on Context-Free Languages -- The Extended Probabilistic Powerdomain...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
תוכן הענינים: ... -- Disjunctive Normal Form -- Hardware -- Digital Gates and Circuits -- Some Basic Circuits -- Clocked Circuits...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
מאת Spear, Chris., Spear, Chris.
יצא לאור 2006
תוכן הענינים: ...Verification Guidelines -- Data Types -- Procedural Statements and Routines -- Basic OOP...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
מאת Spear, Chris., Spear, Chris.
יצא לאור 2008
תוכן הענינים: ... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
תוכן הענינים: ... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
מאת Grout, Ian A., Grout, Ian A.
יצא לאור 2006
תוכן הענינים: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים: ... Evolutionary Computation: Application of an EA to Controller Design -- MEPIDS: Multi-Expression Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2006
תוכן הענינים: ... Applications -- Post-Fabrication Clock-Timing Adjustment Using Genetic Algorithms -- Bio-Inspired Computing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
מאת Ahlswede, Rudolf., Ahlswede, Rudolf.
יצא לאור 2015
תוכן הענינים: ....Algorithms for Computing Channel Capacities and Rate-distortion Functions -- 3.Shannon’s Model for Continuous...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
מאת Ahlswede, Rudolf., Ahlswede, Rudolf.
יצא לאור 2014
תוכן הענינים: ....Coding Theorems and Converses for the DMC -- 6.Towards Capacity Functions -- 7.Error Bounds -- Part III...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני