Sebanyak 708 item atau buku ditemukan

Petunjuk teknis pelaksanaan gerakan nasional memasyarakatkan dan membudayakan kewirausahaan (GNMMK)

Instruksi Presiden Republik Indonesia nomor 4 tahun 1995

Women Writers Dramatized

A Calendar of Performances from Narrative Works Published in English to 1900

This volume, arranged alphabetically by original author, provides basic information about stage and screen productions based upon the novels of 40 women writers before 1900. Each entry includes the novel and its publication date, the published texts or dramatizations based upon the book, and the performances of the piece in live theater and film versions, including the location, dates, and playwright or screenwriter (if there was one). For some of the performances the author includes a brief annotation listing the actors and describing the production.

... FRANZ WAXMAN; ETAL 1937 BY MGM It/LALTIN 'S TVMO VIESAND VIDEO
GUIDE (1986), P. 278; ENSER, FILMED BOOKS AND PLAYS: 1928-1986, (1987)
, P. 564; CORELALL-MO VIEGUIDE 2 (CD-ROM) George Fitzinaurice directed
William Powell as Wolensky; Luise Rainer as Countess Muranova; Robert Young
as Grand Duke Peter; Maureen O'Sullivan as Maria; Frank Morgan as Col. Baron
Suroff; Emma Dunn as the Housekeeper; and Douglass Durnbrille as Komn; er'
al.

Developing the architecture of the workplace

Gensler, 1967-1997

This volume presents a body of work that has responded to the constant change and growth of the workplace over the last 30 years.

This volume presents a body of work that has responded to the constant change and growth of the workplace over the last 30 years.

Entity-Relationship Approach - ER '94. Business Modelling and Re-Engineering

13th International Conference on the Entity-Relationship Approach, Manchester, United Kingdom, December 13 - 16, 1994 Proceedings

This volume constitutes the proceedings of the 13th International Conference on the Entity-Relationship Approach, ER '94, held in Manchester, UK in December 1994. The ER '94 book is devoted to business modelling and re-engineering and provides a balanced view between research and practical experience. The 34 full revised papers presented are organized in sections on business process modelling, enterprise modelling, systems evolution, modelling integrity constraints, object-oriented databases, active databases, CASE, reverse engineering, information system modelling, schema coordination, and re-engineering.

This paper proposes to integrate constraint languages with the declarative
specifications of their integrity repair actions. We introduce a rather powerful,
predicate-based language for specifying integrity constraints, then we discuss the
semantics of repair actions as computations which react to constraint violations,
then we establish sufficient conditions for ensuring their termination, and finally
we show how repair actions can be integrated in the SQL2 standard and
implemented by ...

Peraturan Menteri Dalam Negeri no. 64 tahun 2013 tentang penerapan standar akuntansi pemerintahan berbasis akrual pada pemerintah daerah

dilengkapi PMK no. 214/PMK.05/2013 tentang bagan akun standar, PMK no. 213/PMK.05/2013 tentang sistem akuntasi dan pelaporan keuangan pemerintah pusat, PMK no. 219/PMK.05/2013 tentang kebijakan akuntansi pemerintah pusat

Regulations of Indonesian Minister of Home Affairs and Minister of Finance on local government accounting standard.

Regulations of Indonesian Minister of Home Affairs and Minister of Finance on local government accounting standard.

Randomization Methods in Algorithm Design

DIMACS Workshop, December 12-14, 1997

Field-Programmable Logic: Architectures, Synthesis and Applications

4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings

This volume contains the proceedings of the 4th International Workshop on Field-Programmable Logic and Applications (FPL '94), held in Prague, Czech Republic in September 1994. The growing importance of field-programmable devices is substantiated by the remarkably high number of 116 submissions for FPL '94; from them, the revised versions of 40 full papers and 24 high-quality poster presentations were accepted for inclusion in this volume. Among the topics treated are: testing, layout, synthesis tools, compilation research and CAD, trade-offs and experience, innovations and smart applications, FPGA-based computer architectures, high-level design, prototyping and ASIC emulators, commercial devices, new tools, CCMs and HW/SW co-design, modelers, educational experience, and novel architectures.

A special purpose processor originally designed for Monte-Carlo simulation
using Metropolis type algorithms has been reconfigured to allow the use of a new
improved class of Monte-Carlo algorithm without compromising the processor's
performance. 1 Introduction In Monte-Carlo simulations and digital signal
processing applications it has often proved advantageous to use specially
constructed processors in place of general purpose computers. SRAM-bascd
Field Programmable ...

Logic at Botik '89

Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky,
USSR, July 3-8, 1989, Proceedings Albert R. Meyer, Michael A. Taitslin. A
mathematical modeling of pure, recursive algorithms Yiannis. N. Moschovakis*
Department of Mathematics, UCLA ...

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 ...