Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 11 | << page >> |
Sort by
|
ISBN: 3540700021 0387700021 4431700021 4431368175 9783540700029 9784431700029 9780387700021 Year: 1984 Volume: 163 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- 681.3*J2 --- 681.3*J6 --- Physical sciences and engineering (Computer applications) --- Computer-aided engineering: computer-aided design; CAD; computer-aided manufacturing; CAM --- 681.3*J6 Computer-aided engineering: computer-aided design; CAD; computer-aided manufacturing; CAM --- 681.3*J2 Physical sciences and engineering (Computer applications) --- Electronics. --- Software engineering. --- Electronics and Microelectronics, Instrumentation. --- Software Engineering. --- Computer software engineering --- Engineering --- Electrical engineering --- Physical sciences --- Parallel Computer --- Multiprocessor --- Image processing --- Super Computer --- Parallel Processing --- Lncs --- Vlsi --- Software engineering --- Parallelism --- Prolog (langage de programmation) --- Architecture
ISBN: 0444873341 Year: 1989 Publisher: Amsterdam North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Optical data processing --- -681.3*H23 --- 681.3*H24 --- Optical computing --- Visual data processing --- Bionics --- Electronic data processing --- Integrated optics --- Photonics --- Computers --- Congresses --- Languages: data description languages; DDL; data manupulation languages; DML;query languages; report writers (Database management) --- Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- Optical equipment --- Congresses. --- 681.3*H24 Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*H23 Languages: data description languages; DDL; data manupulation languages; DML;query languages; report writers (Database management) --- 681.3*H23
ISBN: 4431700099 0387700099 3540700099 9783540700098 9780387700090 9784431700098 Year: 1985 Publisher: Tokyo Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*I23 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)
Book
ISBN: 4431700110 Year: 1986 Publisher: Tokyo Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 3540701036 Year: 1992 Publisher: Tokyo New York Springer-Verlag
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 443170003X Year: 1984 Publisher: Tokyo Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 4431700498 Year: 1989 Publisher: Tokyo : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 3540169059 Year: 1987 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 2003 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 2003 Publisher: [Place of publication not identified] IEEE Computer Society Press
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
|