Listing 1 - 10 of 21 | << page >> |
Sort by
|
Choose an application
Computer science --- 681.3*F0 --- Informatics --- Science --- Computerwetenschap--?*F0 --- Computer. Automation
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
681.3*B71 --- 681.3*B72 --- 681.3*C24 --- 681.3*D13 --- 681.3*D33 --- Types and design styles: algorithms implemented in hardware; gate arrays; inpput/output circuits; microprocessors and microcomputers; standard cells; VLSI; memory technologies (Integrated circuits) --- Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Concurrent programming --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D13 Concurrent programming --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*B72 Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- 681.3*B71 Types and design styles: algorithms implemented in hardware; gate arrays; inpput/output circuits; microprocessors and microcomputers; standard cells; VLSI; memory technologies (Integrated circuits)
Choose an application
681.3*B7 --- 681.3*C24 --- 681.3*D33 --- 681.3*F3 --- 681.3*F31 --- Integrated circuits (Hardware) --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Logics and meanings of programs (Theory of computation) --- 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*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} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*B7 Integrated circuits (Hardware)
Choose an application
Choose an application
Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems).
Programming --- Programming languages (Electronic computers) --- -Object-oriented programming (Computer science) --- -681.3*D20 --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Congresses --- Case studies --- Computerwetenschap--?*D20 --- Object-oriented programming languages --- 681.3*D20 --- Object-oriented languages (Computer program languages) --- OO languages (Computer program languages) --- OOLs (Computer program languages) --- OOP languages (Computer program languages) --- Object-oriented programming (Computer science) --- Object-oriented programming (Computer science) - Congressses. --- Programming languages (Electronic computers) - Congresses. --- Computer science. --- Software engineering. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Language pool --- Lotos
Choose an application
Computer science --- 681.3 *C2 --- 681.3*B1 --- 681.3*C1 --- 681.3*D4 --- 681.3*D41 --- Computer communication networks: data communications; OSI; security and protection --- Control structures and microprogramming--(hardware) --- Processor architectures (Computer systems organization) --- Operating systems--See also {681.3*C} --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*C1 Processor architectures (Computer systems organization) --- 681.3*B1 Control structures and microprogramming--(hardware) --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Software engineering. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Logics and Meanings of Programs. --- Models and Principles. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering
Listing 1 - 10 of 21 | << page >> |
Sort by
|