Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Burroughs B5700 (Computer) --- Burroughs B6700 (Computer) --- Programming --- -Burroughs B6700 (Computer) --- -#TCPW P4.0 --- #TCPW P4.3 --- 681.3*C0 --- 681.3*C51 --- 681.3*D41 --- 681.3*D42 --- Computerwetenschap--?*C0 --- Large and medium (mainframe) computers: super (very large) computers (Computer system implementation) --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- Storage management: allocation/deallocation strategies; distributed memories;main memory; secondary storage devices; segmentation; storage hierarchies; swapping; virtual memory (Operating systems) --- Programming. --- 681.3*D42 Storage management: allocation/deallocation strategies; distributed memories;main memory; secondary storage devices; segmentation; storage hierarchies; swapping; virtual memory (Operating systems) --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*C51 Large and medium (mainframe) computers: super (very large) computers (Computer system implementation) --- #TCPW P4.0

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume constitutes the proceedings of the First International Workshop on - operative Buildings (CoBuild’98) – Integrating Information, Organization, and Ar chitecture, held in Darmstadt, Germany, on February 25–26, 1998. The idea for this workshop and actually the term “cooperative building” was created during the activi ties of initiating the consortium “Workspaces of the Future” for conducting an inter disciplinary R&D program in cooperation with partners from industry. We discovered that there was no appropriate forum to present research at the intersection of informa tion technology, organizational innovation, and architecture. The theme “Integrating information, organization, and architecture” reflects the challenges resulting from current and future developments in these three areas. In the future, work and cooperation in organizations will be characterized by a degree of dynamics, flexibility, and mobility that will go far beyond many of today's develop ments and examples. The introduction of information and communication technology has already changed processes and contents of work significantly. However, the de sign of work environments, especially physical work spaces as offices and buildings, remained almost unchanged. It is time to reflect these developments in the design of equally dynamic, flexible, and mobile work environments. The papers of this volume show that this is an interdisciplinary endeavor requiring a wide range of perspectives and the utilization of results from various areas of research and practice.

Electronic books. -- local. --- Information storage and retrieval systems -- Architecture -- Congresses. --- Office buildings -- Data processing -- Congresses. --- Virtual reality in architecture -- Congresses. --- Office buildings --- Virtual reality in architecture --- Information storage and retrieval systems --- Architecture --- Art, Architecture & Applied Arts --- Data processing --- Congresses --- Computer. Automation --- #TS:TCPW --- 681.3*D24 --- 681.3*F42 <063> --- 681.3*D31 --- 681.3*F31 --- 681.3*I22 --- 681.3*D1 <063> --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31}--Congressen --- Programming techniques--See also {681.3*E}--Congressen --- Computers. --- Computer science. --- Artificial intelligence. --- Ordinateurs --- Informatique --- Informatica. --- Collections. --- Information Technology --- Life Sciences --- Mathematical Sciences --- Computer Architecture, Languages and Compilers --- Software Engineering --- Biology --- Algorithms --- Applied Mathematics --- Artificial intelligence. Robotics. Simulation. Graphics --- Industrial psychology --- Software engineering --- Computer. Informatica. Automatisering --- Information Systems. --- User Interfaces and Human Computer Interaction. --- Computers and Society. --- Management of Computing and Information Systems. --- Informatics --- Science --- User interfaces (Computer systems). --- Computers and civilization. --- Management information systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Civilization and computers --- Civilization --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Communication systems --- Buildings, Office --- Office space --- Commercial buildings --- Industrial buildings --- Office buildings - Data processing - Congresses --- Virtual reality in architecture - Congresses --- Information storage and retrieval systems - Architecture - Congresses