Search
Feedback
About UniCat 
Help
News
| Listing 1 - 5 of 5 |
Sort by
|
Book
Year: 1968 Publisher: London : MacDonald,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer programming. --- Ordinateurs --- Linear programming. --- Programmation linéaire. --- Recursive programming. --- Programmation récursive. --- Programmation.
Book
ISBN: 9061962005 Year: 1980 Publisher: Amsterdam
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Combinatory logic. --- Lambda calculus. --- Recursive programming. --- Logique mathématique --- Logique générale --- Logique combinatoire --- Lambda-calculus
ISBN: 2212089155 Year: 1996 Publisher: Paris : Eyrolles,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0201144506 9780201144505 Year: 1975 Publisher: Reading (Mass.): Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Mathematical logic --- Recursive programming --- Combinatory logic --- Programmation récursive --- Logique combinatoire --- 681.3*D1 --- 681.3*D22 --- Logic, Combinatory --- Logic, Symbolic and mathematical --- Nonclassical mathematical logic --- Linear programming --- Programming techniques--See also {681.3*E} --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Combinatory logic. --- Recursive programming. --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D1 Programming techniques--See also {681.3*E} --- Langages de programmation
ISBN: 0387074155 9780387074153 3540074155 9783540074151 3540379428 Year: 1975 Volume: 36 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic digital computers --- Recursive programming --- Computer programs --- Programmation des ordinateurs --- Programmation récursive --- Logiciels --- Programming --- Computer programming. --- Recursive programming. --- Computer programs. --- Programmation (Informatique) --- Programmation récursive. --- Logiciels. --- probleme decision. --- correction programme. --- schema recursion. --- schema programme. --- programmation structuree. --- programmation recursive. --- Programmation (Informatique). --- Probleme decision. --- Correction programme. --- Schema recursion. --- Schema programme. --- Programmation structuree. --- Programmation recursive. --- Programmation récursive --- #TCPW P3.0 --- 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*F0 --- 681.3*F31 --- Computerwetenschap--?*F0 --- Software engineering. --- Logic design. --- 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 --- Langages de programmation --- Logique
| Listing 1 - 5 of 5 |
Sort by
|