Αποτελέσματα αναζήτησης - constructive computation programming computers circuits computer

1

Evolvable hardware /

Έκδοση 2006

Θέματα: “...Evolutionary programming (Computer science)....”

Βιβλίο

2

Anatomy of a silicon compiler /

Έκδοση 1992

Θέματα: “...Integrated circuits Design and construction Computer programs....”

Βιβλίο

3

Logic design with Pascal : computer-aided design techniques /

ανά Downs, Thomas, 1946- .
Έκδοση 1988

Θέματα: “...Logic circuits Design and construction Data processing....”

Βιβλίο

4

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /

Έκδοση 2007

Πίνακας περιεχομένων: “... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Έκδοση 2005

Πίνακας περιεχομένων: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Έκδοση 2008

Πίνακας περιεχομένων: “... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Digital logic simulation with CPLD programming /

ανά Waterman, Steve.
Έκδοση 2003

Θέματα: “...Logic circuits Design and construction Laboratory manuals....”

Βιβλίο

9

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Computer and Information Sciences II 26th International Symposium on Computer and Information Sciences /

Έκδοση 2012

Πίνακας περιεχομένων: “... by Adding a Backward Step -- Memory Resident Parallel Inverted Index Construction -- Dynamic Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Electrical Engineering and Applied Computing

Έκδοση 2011

Πίνακας περιεχομένων: “... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

Circuit design and analysis : featuring C routines /

ανά Rorabaugh, Britt.
Έκδοση 1992

Θέματα: “...C (Computer program language)....”

Βιβλίο

14

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings /

Έκδοση 2007

Πίνακας περιεχομένων: “... -- Compactness Properties for Stable Semantics of Logic Programs -- Uniform Circuits, & Boolean Proof Nets...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Έκδοση 2007

Πίνακας περιεχομένων: “... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Έκδοση 2007

Πίνακας περιεχομένων: “...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS 2005 /

Έκδοση 2006

Πίνακας περιεχομένων: “... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

Computer Science -- Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... for the Directed Hamiltonian Cycle Problem -- Balancing Bounded Treewidth Circuits -- Obtaining Online Ecological...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Computational Methods in Synthetic Biology

Έκδοση 2015

Πίνακας περιεχομένων: “... Displacement -- Programming Languages for Circuit Design -- Kappa Rule-Based Modelling in Synthetic Biology...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης