Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 5856 dokumen yang sesuai dengan query
cover
cover
New York: John Wiley & Sons, 1966
571.833 TRE
Buku Teks SO  Universitas Indonesia Library
cover
"This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online computation, word equations, biologically motivated formal systems, controlled derivations, descriptional complexity, as well as 'classical' topics of automata and language theory, the articles presented span the range of the scientific work of Jürgen Dassow."
Berlin: Springer-Verlag, 2012
e20410178
eBooks  Universitas Indonesia Library
cover
Wivenhoe : Departement of Language and Linguistics University of Essex, 1983
401 FES
Buku Teks SO  Universitas Indonesia Library
cover
"Abraham, W. A linguistic approach to metaphor.--Coseriu, E. ?Taal en functionaliteit? bei FernaÌ?o de Oliveira.--Dik, S. C. Universal quantifiers in Dutch.--Droste, F. G. On saying.--Hamp, E. P. The Gothic rune name chozma.--Hartmann, P. Dimensionierung als wissenschaftliche Teilaufgabe in der Textlinguistik.--Hoenigswald, H. M. Schleicher?s Tree and its trunk.--Hospers, J. H. Some observations about semitics and general linguistics.--Levelt, W. J. M. What became of LAD?--Mates, B. On the semantics of proper names.--Mooij, J. J. A. On reference.--Parret, H. IdeÌ?ologie et seÌ?miologie chez Locke et Condillac : la question de l?autonomie du langage devant la penseÌ?e.--Perceival, W. K. On plagiarisms in the Minerva of Franciscus Sanctius.--Schultink, H. Output conditions in word formation.--Holk, A. G. F. van. Semiotic aspects of the interrogative.--Zwanenburg, W. AmbiguiÌ?teÌ? dans le lexique."
Lisse : Peter de Ridder Press, 1975
410 UTV
Buku Teks SO  Universitas Indonesia Library
cover
"This festschrift contains 20 papers that showcase the important scientific contributions of this remarkable man, describes the history of the field of parameterized complexity, and also reflects on other parts of Mike Fellows’s unique and broad range of interests, including his work on the popularization of discrete mathematics for young children.
"
Berlin: Springer, 2012
e 20406455
eBooks  Universitas Indonesia Library
cover
"The festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.
"
Berlin: Springer, 2012
e20406456
eBooks  Universitas Indonesia Library
cover
"This festschrift volume, published in honor of Bernd Krämer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions. Covering topics like Petri nets and theoretical computer science, software and service engineering, cloud computing, and e-learning, the articles presented span the range of the scientific work of Bernd Krämer."
Berlin: Springer-Verlag, 2012
e20409229
eBooks  Universitas Indonesia Library
cover
Antje Düsterhoft, editor
"This Festschrift, published in honor of Bernhard Thalheim on the occasion of his 60th birthday presents 20 articles by colleagues from all over the world with whom Bernhard Thalheim had cooperation in various respects; also included is a scientific biography contributed by the volume editors. The 20 contributions reflect the breadth and the depth of the work of Bernhard Thalheim in conceptual modeling and database theory during his scientific career spanning more than 35 years of active research. In particular, ten articles are focusing on topics like database dependency theory, object-oriented databases, triggers, abstract state machines, database and information systems design, web semantics, and business processes."
Berlin: [Springer-Verlag, ], 2012
e20409942
eBooks  Universitas Indonesia Library
cover
"This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related to Dexter Kozen's research. They deal with coalgebraic methods, congruence closure, the completeness of various programming logics, decision procedure for logics, alternation, algorithms and complexity, and programming languages and program analysis. "
Berlin : Springer-Verlag, 2012
e20410510
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>