-
Proceedings of the Scalable Parallel Libraries Conference , October 6-8, 1993, Mississippi State, Mississippi
Parallel processing (Electronic computers);Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1994
-
Proceedings of the Scalable High-Performance Computing Conference, May 23-25, 1994, Knoxville, Tennessee
Parallel processing (Electronic computers);Multiprocessors;Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1994
-
11th IEEE Workshop on Real-Time Operating Systems and Software, RTOSS '94 : proceedings, May 18-19, 1994, Seattle, Washington
Real-time data processing;Operating systems (Computers);Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1994
-
CONCUR '94: Concurrency Theory : 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
Computer logic;Computers;Programming languages (Electronic computers);Logics and Meanings of Programs;Computation by Abstract Devices;Programming Languages, Compilers, Interpreters
Jonsson, Bengt;Parrow, Joachim - Imprint: Springer 1994 1st ed. 1994.
-
Scientific computing with automatic result verification
Computer science;Electronic data processing;algorithme numérique;calcul scientifique;environnement logiciel;langage scientifique;science ingénieur;vérification automatique;Numerical analysis;Use of;Computers;sähkökirjat
Adams, Ernst;Kulisch, Ulrich - Academic Press 1993
-
Algorithms in invariant theory
Computer science;Combinatorics;Artificial intelligence;Algebra;Logic, Symbolic and mathematical;Geometry, algebraic;Mathematical Logic and Formal Languages;Symbolic and Algebraic Manipulation;Mathematical Logic and Foundations;Algebraic Geometry
Sturmfels, Bernd - Springer-Verlag 1993
-
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Logic design;Operating systems (Computers);Software engineering;Electronics;Logic, Symbolic and mathematical;Logics and Meanings of Programs;Operating Systems;Software Engineering/Programming and Operating Systems;Electronics and Microelectronics, Instrumentation;Mathematical Logic and Foundations
Bochmann, Gregor von;Probst, David K - Imprint: Springer 1993 1st ed. 1993.
-
Proceedings of WESCON '93 : 28-30 September 1993, San Francisco, CA, USA
Microprocessors;Microelectronics;Electronics
- Institute of Electrical and Electronics Engineers 1993
-
1993 Parallel Rendering Symposium : proceedings, San Jose, California, October 25-26, 1993
Parallel processing (Electronic computers);Computer graphics;Algorithms;Engineering & Applied Sciences;Computer Science
Crockett, Thomas - Association for Computing Machinery 1993
-
Proceedings of the fifth annual ACM Symposium on Parallel Algorithms and Architectures
Engineering & Applied Sciences;Computer Science
Snyder, Lawrence - ACM 1993
-
New frontiers: a workshop on future directions of massively parallel proceessing : proceedings, October 19, 1992, McLean, Virginia, The
Parallel processing (Electronic computers);Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1993
-
ASAP '93 : proceedings of International Conference on Applications Specific Array Processors : October 25-27 1993, Venice, Italy
Array processors;Signal processing
Dadda, Luigi;Wah, Benjamin - Institute of Electrical and Electronics Engineers 1993
-
Proceedings of the 1993 International Conference on Parallel Processing. : August 16-20, 1993 / Algorithms & applications : Volume III
Parallel processing (Electronic computers);Computer architecture
Hariri, Salim;Berra, P. Bruce - CRC Press 1993
-
Real-time systems : implementation of industrial computerised process automation
Process control;Real-time data processing;e-böcker
Halang, Wolfgang A;Sacha, Krzysztof M - World Scientific 1992
-
Computing the future : a broader agenda for computer science and engineering
Computer science;Engineering;Ingeniería;COMPUTERS;sähkökirjat
Hartmanis, Juris;Lin, Herbert - National Academy Press 1992
-
Frontiers '92, the Fourth Symposium on the Frontiers of Massive Parallel Computation, October 19-21, 1992, McLean, Virginia
Parallel processing (Electronic computers);Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1992
-
Heterogeneous Processing Workshop, 1992
Parallel processing (Electronic computers);Supercomputers;Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1992
-
CompEuro 1992 proceedings : computer systems and software engineering, May 4-8, 1992, the Netherlands
Computers;Software engineering;Engineering & Applied Sciences;Computer Science
- IEEE Computer Society Press 1992
-
Parle ’91 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
Computer science;Probability and Statistics in Computer Science;Math Applications in Computer Science;Processor Architectures
Aarts, Emile H.L;van Leeuwen, Jan;Rem, Martin - Imprint: Springer 1991 1st ed. 1991.
-
Past, present, parallel : a survey of available parallel computer systems
Parallel processing (Electronic computers)
Wilson, Greg;Trew, Arthur - Springer-Verlag 1991 1st ed. 1991.