Listing 1 - 10 of 294 | << page >> |
Sort by
|
Choose an application
Choose an application
Object-oriented methods (Computer science) --- 681.3*D21 --- Object development methods (Computer science) --- Object orientation (Computer science) --- Object-oriented development (Computer science) --- Object technology (Computer science) --- 681.3*D21 Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- System design --- Object-oriented programming (Computer science) --- Object-oriented methods (Computer science).
Choose an application
Programming --- 681.3*A0 --- 681.3*D10 --- 681.3*D20 --- 681.3*D21 --- General --- Computerwetenschap--?*D10 --- Computerwetenschap--?*D20 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*A0 General --- Computer science. --- Computer Science, general. --- Informatics --- Science
Choose an application
Electronics --- Software engineering --- Génie logiciel --- Data processing --- -Software engineering --- 681.3*D21 --- Computer software engineering --- Engineering --- Electrical engineering --- Physical sciences --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Génie logiciel
Choose an application
681.3*D21 --- 681.3*D210 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Design: methodologies; representation (Software engineering) --- Conferences - Meetings --- 681.3*D210 Design: methodologies; representation (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Software engineering --- Ieee --- Acm
Choose an application
681.3*F42 --- 681.3*J5 --- 681.3*F31 --- 681.3*F32 --- 681.3*F43 --- 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} --- Geesteswetenschappen (computertoepassingen) --- 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} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 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*F42 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}
Choose an application
Computer-aided software engineering --- 681.3*D21 --- 681.3*D210 --- CASE (Computer science) --- Software engineering --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Design: methodologies; representation (Software engineering) --- 681.3*D210 Design: methodologies; representation (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31}
Choose an application
Z (Computer program language) --- Computer software --- Formal methods (Computer science) --- Development --- 681.3*D21 --- Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 Requirements/specifications: languages methodologies tools (Software engineering)--See also {681.3*D31} --- Development. --- Z (Computer program language). --- Formal methods (Computer science). --- Programming --- Computer software - Development
Choose an application
681.3*F32 --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31}
Choose an application
Algebra --- Data structures (Computer science) --- Structures de données (Informatique) --- 681.3*F32 --- 681.3*F43 --- Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Formal languages: algebraic language theory classes defined by grammars or automata or by resource-bounded automata operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory classes defined by grammars or automata or by resource-bounded automata operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Programming --- Computer science --- Data structures (Computer science). --- Algebra. --- Software engineering --- Specification
Listing 1 - 10 of 294 | << page >> |
Sort by
|