Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 163 | << page >> |
Sort by
|
ISBN: 0879441100 Year: 1974 Publisher: Ann Arbor, Mich. University of Michigan Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer. Automation --- Mathematical software: algorithm analysis certification and testing efficiency portability reliability and robustness verification --- 681.3*G4 Mathematical software: algorithm analysis certification and testing efficiency portability reliability and robustness verification --- 681.3*G4 --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification
ISBN: 0879441364 0879441372 Year: 1973 Publisher: Ann Arbor University of Michigan
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Mathematical statistics --- 681.3*G4 --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- THAID. --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- THAID (Computer program)
ISBN: 0471532312 9780471532316 Year: 1992 Publisher: New York, N.Y. Wiley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Numerical methods of optimisation --- Simulated annealing (Mathematics) --- 519.6 --- 681.3*G16 --- Algorithm, Annealing --- Algorithm, Probabilistic exchange --- Annealing, Monte Carlo --- Annealing, Simulated --- Annealing algorithm --- Cooling, Statistical --- Exchange algorithm, Probabilistic --- Hill climbing, Probabilistic --- Monte Carlo annealing --- Probabilistic exchange algorithm --- Probabilistic hill climbing --- Relaxation, Stochastic --- Statistical cooling --- Stochastic relaxation --- Combinatorial optimization --- Computational mathematics. Numerical analysis. Computer programming --- Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) --- Simulated annealing (Mathematics). --- 681.3*G16 Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) --- 519.6 Computational mathematics. Numerical analysis. Computer programming
ISBN: 0070510717 9780070510715 Year: 1987 Publisher: New York McGraw-Hill
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Computer architecture. Operating systems --- Algorithms --- Parallel computers --- Algorithmes --- Ordinateurs parallèles --- Programming --- Programmation --- Parallel programming (Computer science) --- Computer algorithms --- 681.3*G4 --- Computer programming --- Parallel processing (Electronic computers) --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- Computer algorithms. --- Parallel programming (Computer science). --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification
ISBN: 376433102X 9783764331023 9783764330460 3764330465 Year: 1982 Volume: 1 Publisher: Boston, Mass.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer algorithms --- Mathematical software: algorithm analysis certification and testing efficiency portability reliability and robustness verification --- 681.3*G4 Mathematical software: algorithm analysis certification and testing efficiency portability reliability and robustness verification --- Computer programming --- #WWIS:AGGR --- 519.6 --- 681.3*G4 --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Computational mathematics. Numerical analysis. Computer programming --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algorithms --- Programming --- Mathematical analysis --- Computer science --- Computer algorithms. --- Computer programming. --- Programmation des ordinateurs --- Algorithmes --- Electronic digital computers - Programming --- 510.5 --- 510.5 Algorithms. Computable functions --- Algorithms. Computable functions
ISBN: 3540194223 3540392645 Year: 1988 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book reflects the scientific program of the annual workshop on Graph-theoretic Concepts in Computer Science in 1987. The purpose of this conference is to be the "missing link" between theory and application of graphs in as many branches of computer science as a conference scheduled for three days without parallel sessions can permit. So the organizers of WG '87 addressed a selected group of people with a strong interest in theory and practice. The proceedings include latest results on "classical" graph-theoretic problems (including formal language theory applied to graphs) and how to apply those results to practical problems, e.g. data bases, layout of graph operating systems, software engineering, chemistry, and modelling with graphs.
Computer science --- Discrete mathematics --- 681.3*F0 --- Computerwetenschap--?*F0 --- Information theory. --- Mathematics. --- Computer software. --- Theory of Computation. --- Mathematics, general. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- Math --- Science --- Communication theory --- Communication --- Cybernetics --- Graphes, Théorie des --- Informatique
ISBN: 0122437500 9780122437502 Year: 1974 Publisher: London
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Numerical analysis --- -519.6 --- 681.3*G1 --- 681.3*G4 --- 681.3*G4 Mathematical software: algorithm analysis certification and testing efficiency portability reliability and robustness verification --- Mathematical software: algorithm analysis certification and testing efficiency portability reliability and robustness verification --- 681.3*G1 Numerical analysis --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- Computational mathematics. Numerical analysis. Computer programming --- Mathematical analysis --- Data processing --- -Congresses --- numerical analysis --- congresses --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 519.6 --- Data processing&delete& --- Congresses --- Programming --- Electronic data processing --- Congresses. --- Analyse numérique --- Informatique --- Congrès --- Analyse numérique. --- Programmation (mathématiques) --- Electronic data processing - Numerical analysis - Congresses --- Analyse numérique. --- Programmation (mathématiques)
Book
ISBN: 012587250X 132247074X 1483267008 9780125872508 Year: 1971 Publisher: New York
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Numerical analysis --- Mathematics --- Mathématiques --- Analyse numérique --- Data processing --- Congresses --- Informatique --- Congrès --- -Numerical analysis --- -519.6 --- 681.3*G4 --- Mathematical analysis --- Math --- Science --- -Congresses --- Computational mathematics. Numerical analysis. Computer programming --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- 519.6 --- Data processing&delete& --- Numerical analysis - Data processing - Congresses --- Mathematics - Data processing - Congresses
Book
ISBN: 0123786606 Year: 1978 Publisher: London Academic Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Numerical analysis --- Computer programs --- Congresses --- Data processing --- -Numerical analysis --- -519.6 --- 681.3*G1 --- 681.3*G4 --- Mathematical analysis --- -Congresses --- Computational mathematics. Numerical analysis. Computer programming --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- Congresses. --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 681.3*G1 Numerical analysis --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- 519.6 --- Computer programs&delete& --- Data processing&delete&
Book
ISBN: 0125872607 132256003X 1483267148 9780125872607 Year: 1977 Volume: 39 Publisher: New York, N.Y. Academic Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Numerical analysis --- Mathematics --- Data processing --- Congresses --- -Numerical analysis --- -519.6 --- 681.3*G4 --- Mathematical analysis --- Math --- Science --- -Congresses --- Computational mathematics. Numerical analysis. Computer programming --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 519.6 Computational mathematics. Numerical analysis. Computer programming --- 519.6 --- Data processing&delete& --- Numerical analysis - Data processing - Congresses --- Mathematics - Data processing - Congresses
| Listing 1 - 10 of 163 | << page >> |
Sort by
|