Hasil Pencarian  ::  Simpan CSV :: Kembali

Ginzburg, Abraham

New York: Academic Press, 1968.

629.89 GIN a

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF

Ahsan, Javed

" The purpose of this book is to present an up to date account of fuzzy ideals of a semiring. The book concentrates on theoretical aspects and consists of eleven chapters including three invited chapters. Among the invited chapters, two are devoted to applications of Semirings to automata theory, and one deals with some generalizations of semirings. ... "

Berlin: [Springer, ], 2012

e20398323

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak

" This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as ... "

Berlin: Springer-Verlag, 2012

e20410204

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak

" This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism), trade-offs between computational models and/or operations, succinctness of description of (finite) ... "

Berlin: Springer-Verlag, 2012

e20410207

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak

Hartmanis, Juris

" An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations. The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE. Definitions and results are uniformly extended to computationally simpler natural families of languages such as NL, P, and CSL ... "

Philadelphia: Society for Industrial and Applied Mathematics, 1989

e20448473

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak

Tremblay, Jean-Paul, 1938-

New York: McGraw-Hill, 1975

510.2 TRE d

Buku Teks SO  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF

Adrian-Horia Dediu, editor

" This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the ... "

Berlin: [;Springer-Verlag, Springer-Verlag], 2012

e20410277

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak

Domosi, Pal

" Algebraic Theory of Automata Networks investigates automata networks as algebraic structures and develops their theory in line with other algebraic theories, such as those of semigroups, groups, rings, and fields. The authors also investigate automata networks as products of automata, that is, as compositions of automata obtained by cascading without feedback or with feedback of various restricted types or, most generally, with the feedback dependencies controlled by an arbitrary directed graph. This self-contained book surveys ... "

Philadelphia : Society for Industrial and Applied Mathematics, 2005

e20442985

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak

" This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various approaches proposed for web service search and composition, highlighting input/output, parameter-based search, and selection of services based on both functional and non-functional parameters. In turn, ... "

Singapore: Springer Nature, 2019

e20509422

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak

" This book contains the Proceedings of the Second International Symposium on the Education in Mechanism and Machine Science (ISEMMS 2017), which was held in Madrid, Spain. The Symposium has established a stable framework for exchanging experience among researchers regarding mechanism and machine science, with special emphasis on New Learning Technologies and globalization. The papers cover topics such as mechanism and machine science in mechanical engineering curricula; mechanism and machine science in engineering programs: methodology; mechanism ... "

Switzerland: Springer Cham, 2019

e20502686

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak