Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 11 | << page >> |
Sort by
|
ISBN: 0387078045 3540078045 3540382151 Year: 1976 Volume: 44 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic data processing --- Computer architecture --- Database management --- Computer programming --- Informatique --- Ordinateurs --- Bases de données --- Programmation (Informatique) --- Congresses --- Congrès --- Architecture --- Gestion --- Bases de données --- Congrès --- 681.3*A0 --- 681.3*D20 --- 681.3*D24 --- Database management: security; integrity; protection--See also {?681.5*E5} --- Computer communication networks: data communications; OSI; security and protection --- Computerwetenschap--?*D20 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Computer. Automation --- 681.3*H2 --- 681.3 *C2 --- 681.3*A0 General --- General --- Information theory. --- Computer science. --- Theory of Computation. --- Computer Science, general. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Banques de données
Book
ISSN: 00056995 ISBN: 3769624858 Year: 1959 Publisher: München Bayerische Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1959 Publisher: München : Verlag der Bayerischen Akademie der Wissenschaften; in Kommission bei Beck,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Factors (Algebra). --- Numerical calculations. --- Functions.
Book
Year: 1959 Publisher: Munchen Verlag der Bayerischen Akademie der Wissenschaften
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1959 Publisher: München Verlag der Bayerischen Akademie der Wissenschaften
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540079947 0387079947 354037972X Year: 1976 Volume: 46 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- 681.3*A0 --- 681.3*D10 --- 681.3*D2 --- 681.3*D24 --- 681.3*D40 --- General --- Computerwetenschap--?*D10 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Operating systems: general --- Computer programming --- Programming languages (Electronic computers) --- Congresses. --- 681.3*D40 Operating systems: general --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*A0 General --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Programmation (Informatique) --- Langages de programmation --- Congresses --- Congrès --- Congrès --- Information theory. --- Computer science. --- Theory of Computation. --- Computer Science, general. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Langages de programmation.
Book
Year: 1965 Publisher: Stuttgart : Teubner,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1965 Publisher: Stuttgart Teubner
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1965 Publisher: Stuttgart Teubner
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1967 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 11 | << page >> |
Sort by
|