Suggested Topics within your search.
Suggested Topics within your search.
Congresses
115
Computer algorithms
105
Algorithms
82
Data processing
73
Computer programming
40
Parallel processing (Electronic computers)
31
Electronic data processing
23
Computer architecture
20
Computational complexity
18
Data structures (Computer science)
18
Mathematical models
16
Distributed processing
15
Electronic digital computers
15
Mathematical optimization
15
Graph theory
14
Mathematics
14
Computer science
13
Integrated circuits
13
Artificial intelligence
12
Very large scale integration
12
Parallel algorithms
11
Algebra
10
Digital techniques
10
Parallel programming (Computer science)
10
Combinatorial analysis
9
Design and construction
9
Rewriting systems (Computer science)
9
Database management
8
Error-correcting codes (Information theory)
8
Machine learning
8
-
401BookPublished 1994Table of Contents: “… -- Checking Algorithms for Pure Type Systems / L. S. van Benthem Jutting, James McKinna and Randy Pollack…”
-
402Bookby Wittig, RobTable of Contents: “…. 4. Learning to Write Algorithmically: The Novel Project -- Ch. 5. Sampling and Linking: IN.S.OMNIA…”
Published 1994
-
403BookPublished 1997Table of Contents: “… Constructive Algorithm for Neural Network Design with Application to Channel Equalization / C. Z. W. Hassell…”
-
404BookPublished 1995Table of Contents: “… with Simpler Models. Molecular Dynamics Algorithms. N- and V-Representability Problems in Classical Statistical…”
-
405BookPublished 1995Table of Contents: “…1. A Detailed Algorithm Testing Guards over Feature Trees / Andreas Podelski and Peter Van Roy -- 2…”
-
406BookPublished 1997Table of Contents: “…/Software Co-Synthesis Algorithms / Wayne Wolf -- 3. Prototyping and Emulation / Wolfgang Rosenstiel -- 4…”
-
407
-
408BookPublished 2001Table of Contents: “… Synthesizers; B. De Smedt, G. Gielen. 7. Nonlinear Symbolic Network Analysis: Algorithms and Applications to RF…”
Publisher description
Table of contents only
-
409BookPublished 1994Table of Contents: “…. Hart and Randy J. Read -- 4. The Genetic Algorithm and Protein Tertiary Structure Prediction / Scott M…”
-
410Bookby Romeyn, Mary, 1941-Table of Contents: “…. Special Problems. 16. Joining Studies. 17. Women and HIV. 18. What to Do: Algorithms for Care -- Pt. IV…”
Published 1998
-
411BookPublished 1999Table of Contents: “…/Software Co-Synthesis Algorithms / Wayne Wolf -- 7. Rapid Prototyping, Emulation and Hardware-Software Co…”
Publisher description
Table of contents only
-
412BookPublished 1992Table of Contents: “… of Voting Algorithms for N-Version Programming / J. L. Gersting, R. L. Nist, D. B. Roberts and R. L. Van…”
-
413Bookby Elmasri, RamezTable of Contents: “… Algorithms and Further Dependencies. Ch. 14. Overview of the Database Design Process -- Pt. V. System…”
Published 1994
-
414Conference Proceeding BookPublished 1992Table of Contents: “… and Michael Philippsen -- Register Allocation and Phase Ordering. A Quantitative Algorithm for Data Locality…”
-
415BookPublished 1993Table of Contents: “… Language Standard ML / John Ophel -- Generating an Algorithm for Executing Graphical Models / Jawahar…”
-
416Conference Proceeding BookPublished 1992Table of Contents: “… for Designing Abstract Narrowing Machines / Hendrik C. R. Lock -- Some Algorithms for Fast and Complete…”
-
417Conference Proceeding BookPublished 1998Table of Contents: “… Using Trimmed Bicubic Patches / J. Peters -- A G[superscript 2]-Subdivision Algorithm / H. Prautzsch…”
-
418BookPublished 1995Table of Contents: “…. General-Purpose Parallel Programming on the PRAM Model / L. Natvig -- 5. Parallel Algorithm Design…”
Publisher description
Table of contents
-
419Conference Proceeding BookPublished 1995Table of Contents: “… Distributed Query Optimisation Algorithm / H. Kim, S. Lee and H.-J. Kim -- Text Search Using Database Systems…”
-
420BookPublished 2001Table of Contents: “… Genetic Algorithms and Transportation Analysis: -- Review and Perspectives for Bus Network Optimization 21…”
Table of contents