Sistem Informasi Pustaka

Fundamental Accounting

The book has been specifically designed to include all topics covered in first courses in accounting in higher education. In addition, it caters for the curriculum of professional bodies which examine
Selengkapnya...

Lacan's Four Fundamental Concepts of Psychoanalysis

An Introduction

Fundamental Approaches to Software Engineering

First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Fundamental Approaches to Software Engineering

7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings

Fundamental Use of the Michigan Terminal System

The Two Fundamental Problems of Ethics

Fundamental Concepts for the Software Quality Engineer

The little blue book on Zen of the Fundamental Realm

Advanced Zen

Advanced Zen, meditation themes, Zen poetry, transcendental meditation, Koans, a book in a Zen series following the introductory book titled "Zen Handbook

Basic logic; the fundamental principles of formal deductive reasoning

The Fundamental Questions of Philosophy (Routledge Revivals)

Fundamental Approaches to Software Engineering

Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

Fundamental Approaches to Software Engineering

8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Sebanyak 44165 item atau buku ditemukan

Previous 1..3204 3205 3206 3207 320832093210 3211 3212 3213..3681 Next

Fundamental Accounting

David Flynn, Carolina Koornhof,

The mathematical logic which underlies the accounting equation is such that
when any transaction is analysed and the entries are made, there will always be
one entry on the debit side of an account and another entry for an equal amount
on ...

Lacan's Four Fundamental Concepts of Psychoanalysis

An Introduction

The informal tone of these ten lectures by Roberto Harari reflects their original character as classes held at El Centro de Extension Psicoanalitica del Centro Cultural General, San Martin Buenos Aires. Destined for a wider audience than just the psychoanalytical camp, Harari's work presents the Lacanian endeavor without presupposition of specialized knowledge—and yet without conceding intellectual subtlety. Harari provides an introductory display of essential themes developed in Lacan's Four Fundamental Concepts of Psychoanalysis, and offers his own insightful reading of the text's central ideas. These ten classes, sparked by the crucial Seminar XI within the teaching of Lacan, reframe a wide range of questions in psychoanalysis for the professional in the field, scholars and students across disciplines, and interested lay readers. Harari is so at ease with Lacan's oeuvre that he can dismantle and rebuild its structure so that order and logic suddenly appear inherent to Lacan's way of thinking. The unconscious, transference, repetition, and the drive are here reintroduced, not only to do justice to Freud's insights, but also to link these concepts to the larger question of the complex relationships between psychoanalysis, religion, and science. Harari's didactic approach and his analytic style come together to bring us one step closer to understanding Lacan and one step closer to understanding ourselves.

Roberto Harari,

Prior to its "retrieval" by psychoanalysis, this issue had been treated prevalently
within the fields of literature and logic. Lewis Carroll holds a distinguished place
in this practice. Of course, not just for Alice in Wonderland and Alice Through the
...

Fundamental Approaches to Software Engineering

First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998. Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.

Egidio Astesiano,
Call Number : 005.1 EGI f

Completeness of many-sorted equational logic. Houston Journal of Mathematics,
38:173-198, 1985. [Gun92] C. Gunter. Semantics of Programming Languages.
MIT Press, 1992. [GH93] J. Guttag and J. Horning. Larch: Languages and Tools ...

Fundamental Approaches to Software Engineering

7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings

ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these act- ities are all well within its scope. Di?erent blends of theory and practice are r- resented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and theemphasisonsoftwareisnotintendedtobeexclusive.

Michel Wermelinger, Tiziana Margaria-Steffen,

Its model/specification consists of a visual presentation of these parts and
constituent features, and of their properties expressed in a natural-language style
notation based on an appropriate underlying logic (the variant of logic depends
on the ...

Fundamental Use of the Michigan Terminal System

Thomas J. Schriber,

The machine language program ... the so-called object program ... was then
tested by running it against test data made up for this purpose. After eliminating
various flaws [that might have been] found in the logic of the program, the
finalized ...

The Two Fundamental Problems of Ethics

Schopenhauer's two essays On the Freedom of the Will and On the Basis of Morals form his complete system of ethics. Their doctrines are here presented in more accessible, self-contained form than in his larger work, and in a new translation, introduced by Christopher Janaway, that preserves Schopenhauer's style in modern English.

Arthur Schopenhauer, David Cartwright,

That is the syllogistic reasoning of this supreme philosopher and reformer of logic
, to whom unfortunately, no one has explained, that from the mere affirmative no
conclusion can be drawn in the second figure.1 In all seriousness, however, ...

Fundamental Concepts for the Software Quality Engineer

This volume contains reprints of 22 articles published in the last five volumes of Software quality professional. The contributors propose an inclusive model for the cost of software quality, a method for scheduling the work required to develop software products, an analytical approach to software metrics management, and a framework for testing the usability of security sensitive systems. Other topics include rule-based design reviews, the problem of over- committing to customers, optimizing software inspections with statistical quality techniques, and software measurement using SCM.

Taz Daughtrey, Sue Carroll,

Once on a German Air Traffic Control project carried out in Sweden, I saw the
signatures of seven managers approving the detailed logic of the air traffic
management: 40,000 pages of logic design (the next stage was the programming
).

The little blue book on Zen of the Fundamental Realm

Advanced Zen

Advanced Zen, meditation themes, Zen poetry, transcendental meditation, Koans, a book in a Zen series following the introductory book titled "Zen Handbook

Pete Jalesh,

Sometimes whatseems illogical acquires an infra-logic qualitythat induces
themind to discoverasense behind what looks asa simple distortion of logic. The
semblance of the koan storywith a possible interpretation that could be known is
less ...

Basic logic; the fundamental principles of formal deductive reasoning

Raymond Joseph McCall,

Wolff was responsible for many errors, but none worse to the logician than his
merger and confusion of material and formal logic (which had been clearly
distinguished by Aristotle in the Prior Analytics and Posterior Analytics), and his
attempt, ...

The Fundamental Questions of Philosophy (Routledge Revivals)

First Published in 1951, this outline work on the theory of knowledge and metaphysics is intended both for university students who have recently started on the subject and for any who, without having the advantage of studying it at university, wish by private reading to acquire a general idea of its nature. The book deals with all the main questions arising within the field in so far as they can be stated and discussed profitably and simply. The topics discussed include the place of reason in knowledge and life, the possibility of knowledge beyond sense-experience, the theory of perception, the relation of body and mind, alleged philosophical implications of recent scientific doctrines, the problem of evil and the existence of God.

Alfred C Ewing,

We need not suppose either that the fundamental ideas of logic and ethics are
innate or that they are derivable from sense~experience or ordinary introspection
. The fundamental characteristics or relations of ethics are apprehended in
valuing ...

Fundamental Approaches to Software Engineering

Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Jean-Pierre Finance,

A conservative look at operational semantics with variable binding. Information
and Computation, 146(1):24–54, 1998. 99, 102, 103, 107 H. Ganzinger and U.
Waldmann. Termination proofs of well-moded logic programs via conditional
rewrite ...

Fundamental Approaches to Software Engineering

8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.

Maura Cerioli,

TRIO is a metric temporal logic for modeling and analysis of time-critical systems,
and has been used in a number of industrial projects. Its advanced modular
features are useful in writing specifications of complex systems. Our framework ...

Previous 1..3204 3205 3206 3207 320832093210 3211 3212 3213..3681 Next