Winter Simulation Conference
Operations Research
Operational Research '72
Optimization Techniques
Proceedings of the Princeton Symposium on Mathematical Programming
Proceddings of the Fifth International Conference on Operational Research
25th Annual Simulation Symposium
5. Symposium Simulationstechnik
The Proceedings of the 1994 Summer Computer Simulation Conference
Filtering and Control of Random Processes
Global Modelling
Trends in Mathematical Optimization
Infinite Programming
Optimization and Optimal Control
Bonn Workshop on Combinatorial Optimization
Developments in Operations Research
Towards Global Optimization
Functional Analysis and Optimization
Semi-infinite Programmierung
5th IFIP Conference on Optimization Techniques Part I
Mathematical Programming
Recent Advances in Optimization Techniques
Mathematical Programming Study 22
Optimal Estimation in Approximation Theory
Large-Scale Linear Programming
Large Sparse Sets of Linear Equations
Optimal Control of Partial Differential Equations
Combinatorial Optimization
Dynamic Programming and its Applications
Numerische Methoden bei Optimierungsaufgaben
Design and Implementation of Optimization Software
Boundary Control and Boundary Variation
Stochastic Processes in Underwater Acoustics
Parle '91 Parallel Architectures and Languages Europe
Computers: Extending the Human Resource
Science, Technology and Society
Computers and Crisis
International Computing Symposium 1977
Computing 85
ESPRIT '87
Systems Architecture
SIGUCCS User Services Conference XIX
CHI '92
AFIPS Conference Proceedings
Compas '85
Informatik auf dem Weg zum Anwender
Rechnerstrukturen und Betriebsprogrammierung
The Challenge of Information Technology
EURO-ARCH '93
SEARCC 76
Information Processing 1965
Information Processing 89
Proceedings of the Nineteenth Hawaii International Conference on System Sciences 1986
Proceedings of the Twenty-Seventh Annual Hawaii International Conference on System Sciences
Automatisierungstechnik '90
Fifth Annual Symposium on UIST
Human-Computer Interaction - INTERACT '84
Human-Computer Interaction
Kognitive Aspekte der Mensch-Computer-Interaktion
Human-Computer Interaction - INTERACT '90
Organisation und Betrieb von Informationssystemen
Ergonomics of Hybrid Automated Systems II
Informatik und Psychologie
Betrieb von DV-Systemen in der Zukunft
Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing
Theoretical Aspects of Computer Software
Complexity of Sequential and Parallel Numerical Algorithms
34th Annual Symposium on Foundations of Computer Science (FOCS '93)
Theoretical Foundations of Programming Methodology
A Conference on Theoretical Computer Science
Les Arbres en Algebre et en Programmation
Advances in Cryptology
Structure in Complexity Theory
Complexity of Computer Computations
Eighth Annual IEEE Symposium on Logic in Computer Science
Logic Programming
Control Flow and Data Flow: Concepts of Distributed Programming
Constructive Methods in Computing Science
1976 ACM Symposium on Symbolic and Algebraic Computation
Symbolic and Algebraic Computation by Computers
Semantics for Concurrency
COMPSAC 93
Transformation de Programmes
Zweite Fachtagung über Programmiersprachen
EURO-DAC '93
Algorithmic Languages
Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Programming Languages
Proceedings of the 1992 ACM Conference on LISP and Functional Programming
Formal Description of Programming Concepts - II
Wissenschaftliches Rechnen und Programmiersprachen
Command Language Directions
Integrated Office Systems - Burotics
Command Languages
ASST '87
Compiler Compilers
Compiler Compilers and High Speed Compilation
Second International Conference on Databases ICOD-2
Foundations of Data Organization
Datenbanksysteme in Büro, Technik und Wissenschaft
The ANSI/SPARC DBMS Model
Very Large Data Bases
Datenbank Systeme
Datenbanktechnologie
Improving Database Usability and Responsiveness
Data Base Management Systems
Proceedings of the Seventeenth International Conference on Very Large Data Bases
Data Base Architecture
Distributed Data Bases
Architecture and Models in Data Base Management Systems
Modelling in Data Base Management Systems
Fifth Annual Computer Security Applications Conference
Security and Privacy
Modelling and Optimization in the Service of Man
The State of Art
Optimierung bei graphentheoretischen und ganzzahligen Problemen
Volume I: Parallel Architectures and Algorithms
Needs, Challenges and Limitations
How Computers Are Shaping Our Future
A Broad Perspective of Current Developments
Achievements and Impact
Looking for Answers
Stiking a Balance
Standard-Software
Architektur von Rechnersystemen
Software
Wissensbasierte Systeme, Moderne Methoden der digitalen Regelung, Offene Kommunikation, Intelligente Sensorsysteme
Mehrdimensionale Signale und Bildverarbeitung
Einsatz großer, verteilter und intelligenter Datenbanken
Proceedings
Proceedings of the Sixth IFORS International Conference on Operational Research
Proceedings of the 8th IFIP Conference on Optimization Techniques
Proceedings of the E.N.S.T.-C.N.E.T. Colloquium
Proceedings of the IFIP-WG 7/1 Working Conference
4th French-German Conference on Optimization
Proceedings, Cambridge, United Kingdom, 1984
Proceedings of a Conference Held at Oberwolfach
Annals of Discrete Mathematics
Proceedings of the Third Annual Israel Conference on Operations Research
Proceedings of a Workshop at the University of Cagliary
Proceedings of a Workshop
Proceedings of an Advanced Seminar Conducted by the Mathematics Research Center
Proccedings of the Symposium on Recent Advances in Optimization Techniques
A Publication of the Mathematical Programming Society
Proceedings of an International Symposium on Optimal Estimation in Approximation Theory
Proceedings of a IIASA Workshop
Proceedings of the Oxford Conference of the Institute of Mathematics and Its Applications
Proceedings of the IFIP WG 7.2 International Conference
Proceedings of the International Congress on Mathematical Programming
Lectures given at the Summer School in Combinatorial Optimization
Proceedings of the International Conference on Dynamic Programming and Its Applications
Vortragsauszüge der Tagung über numerische Methoden bei Optimierungsaufgaben
Proceedings of the NATO Advanced Study Institute on Design and Implementation of Optimization Software
Proceedings of the IFIP WG 7.2 Conference
1983 Annual Conference
Proceedings of the International Colloquium
Proceedings of the International Computing Symposium 1977
Proceedings of the Eighth International Computing Symposium
Proceedings of the Fourth Annual ESPRIT Conference
Proceedings of the Sixth ACM European Regional Conference
Conference Proceedings
GI - 20. Jahrestagung Proceedings
Proceedings of the forty-first FID Congress
Proceedings of the IFIP Regional Conference
Proceedings of the IFIP Congress 65
Proceedings of the IFIP 11th World Computer Congress
Proceedings of the ACM Symposium on User Interface Software and Technology
Proceedings of the IFIP Conference
4th International Conference, EWHCI '94
Proceedings of the IFIP TC 13 Third International Conference on Human-Computer Interaction
9. GI Fachgespräch über Rechenzentren
Proceedings of the Second International Conference on Human Aspects of Advanced Manufacturing and Hybrid Automation
5. GI-Fachgespräch über Rechenzentren
International Symposium TACS '94
Proceedings of a Symposium on Sequential and Parallel Numerical Algorithms
Lecture Notes of an International Summer School
Troisieme Colloque de Lille
Proceedings of a Workshop on the Theory and Application of Cryptographic Techniques
Proceedings of a Symposium on the Complexity of Computer Computations
Proceedings of the Fourth International Conference on Logic Programming
Proceedings of the Fifth International Conference and Symposium
Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science
Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation
Proceedings of the International BCS-FACS Workshop
Proceedings of the International Symposium on Algorithmic Languages
Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts
Proceedings of the IFIP TC 2.7 Working Conference on Command Language Directions
Proceedings of the IFIP TC-6 International Workshop of Integrated Office Systems - Burotics
Proceedings of the IFIP International Working Conference on Command Languages
Proceedings of the International Conference on Foundations of Data Organization
Proceedings of the Second SHARE Working Conference on Data Base Management Systems
Proceedings of the Second International Conference on Databases
Proceedings of the SHARE Working Conference on Data Base Management Systems
Proceedings of the IFIP Working Conference on Data Base Architecture
Proceedings of the Second International Symposium on Distributed Data Bases
Proceedings of the IFIP Working Conference on Modelling in Data Base Management Systems
Proceedings of the First Five Symposia 1980-1984
Proceedings of the 6th, 7th, & 8th Symposia 1985-1987
Lecture Notes in Computer Science
Lecture Notes in Control and Information Sciences
International Series of Numerical Mathematics
Lecture Notes in Economics and Mathematical Systems
Mathematics Studies
VDI Berichte 855
Informatik Fachberichte
Schriftenreihe der Österreichischen Computer Gesellschaft Band 15
NATO Advanced Study Institutes Series C - Mathematical and Physical Sciences
The IBM Research Symposia Series
NATO ASI Series F: Computer and System Sciences
NATO ASI Series: Advanced Science Institutes Series
Series in Computer Science
Workshops in Computing
Berichte des German Chapter of the ACM
The British Computer Society Workshop Series
Informatik aktuell