Sebanyak 1197 item atau buku ditemukan

Standar profesional akuntan publik

standar auditing, standar atestasi, standar jasa akuntansi dan review, standar jasa konsultasi, standar pengendalian mutu, aturan etika kompartemen akuntan publik : per 1 Januari 2001

Asal-usul nama-nama kapal perang TNI-AL.

History of the names of Indonesian warships.

Oleh Sang Hyang Narada dikatakan bahwa Gajah Sena baru patut mengaku
sebagai putera dewa, kalau dapat membelah bayi bungkus yang ada di tengah
hutan Winangsraya. Maka berangkatlah Gajah Sena ke hutan Winangsraya.

Field-Programmable Logic and Applications

13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Field-Programmable Logic and Applications, FPL 2003, held in Lisbon, Portugal in September 2003. The 90 revised full papers and 56 revised poster papers presented were carefully reviewed and selected from 216 submissions. The papers are organized in topical sections on technologies and trends, communications applications, high level design tools, reconfigurable architecture, cryptographic applications, multi-context FPGAs, low-power issues, run-time reconfiguration, compilation tools, asynchronous techniques, bio-related applications, codesign, reconfigurable fabrics, image processing applications, SAT techniques, application-specific architectures, DSP applications, dynamic reconfiguration, SoC architectures, emulation, cache design, arithmetic, bio-inspired design, SoC design, cellular applications, fault analysis, and network applications.

13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003,
Proceedings Peter Y.K. Cheung, Georg A. Constantinides Jose T. de Sousa. An
Algorithm Designer's Workbench for Platform FPGAs⋆ Sumit Mohanty and Viktor
K. Prasanna Electrical Engineering Systems, University of Southern California,
CA, USA, {smohanty ...

Logic Programming '87

Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987

This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.

CHASSIS, FUJITSU LIMITED 140, Miyamoto, Numazu, Shizuoka 410-03, Japan
ABSTRACT This paper is concerned with an algorithm for identifying an unknown
regular language from examples of its members and non-members. The
algorithm is based on the model inference algorithm given by Shapiro. In our
setting, however, a given first order language for describing a target logic
program has countably many unary predicate symbols: qo, qi, q%, . . .. On the
other hand, the oracle ...