Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 301 dokumen yang sesuai dengan query
cover
Hausman, Alan, author
Singapore : Wadsworth and Cengage Learning, 2013
160 HAU l
Buku Teks  Universitas Indonesia Library
cover
Vingron, Shimon P., author
This book covers combinational circuits, latches, and asynchronous sequential circuits, reviewing orthodox and unorthodox approaches to circuit design, exploring the theory of latches and examining asynchronous circuits in tree specification...
Berlin: Springer, 2012
e20398515
eBooks  Universitas Indonesia Library
cover
[This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality, social, natural or ideal, and logical structures employed in describing or discovering it. Moreover, the book connects logical theory with more concrete issues of...
Dordrecht, Netherlands: [;Spinger Science, Springer], 2012
e20399618
eBooks  Universitas Indonesia Library
cover
Frans H. van Eemeren
The volume starts with three essays that provide stimulating theoretical perspectives on argumentation. Subsequently, some views are explained on the intriguing topics of ?dissensus? and ?deep disagreement?. After a discussion of three different approaches to the treatment of types of argumentation some classical themes from antique argumentation theory are revisited....
Dordrecht, Netherlands: Springer, 2012
e20401232
eBooks  Universitas Indonesia Library
cover
Jeroen Janssen, editor
We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. 2. Users of a programming language often want a rich language that is easy to model in. 3. A well-known technique...
Paris: Atlantis Press, 2012
e20406539
eBooks  Universitas Indonesia Library
cover
Franciso Duran, editor
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and...
Berlin: Springer, 2012
e20407300
eBooks  Universitas Indonesia Library
cover
Ben-Ari, Mordechai, author
Mathematical logic for computer science is a mathematics textbook with theorems and proofs. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student...
London: Springer, 2012
e20407627
eBooks  Universitas Indonesia Library
cover
Grayling, A. C.
Oxford: Blackwell Publishers, 1997
160 GRA i
Buku Teks  Universitas Indonesia Library
cover
F. Soesianto, author
Yogyakarta : Andi, 2005
511.3 SOE s
Buku Teks  Universitas Indonesia Library
cover
Kahane, Howard
Belmont, Calif: 1999
160KAHL001
Multimedia  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>