Ditemukan 12 dokumen yang sesuai dengan query
Ginzburg, Abraham.
New York: Academic Press, 1968.
629.89 GIN a
Buku Teks Universitas Indonesia Library
Ahsan, Javed, author
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...
Berlin: [Springer, ], 2012
e20398323
eBooks Universitas Indonesia Library
Hartmanis, Juris, author
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,...
Philadelphia: Society for Industrial and Applied Mathematics, 1989
e20448473
eBooks Universitas Indonesia Library
Tremblay, Jean-Paul, 1938-, author
New York: McGraw-Hill, 1975
510.2 TRE d
Buku Teks Universitas Indonesia Library
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,...
Berlin: Springer-Verlag, 2012
e20410207
eBooks Universitas Indonesia Library
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...
Berlin: Springer-Verlag, 2012
e20410204
eBooks Universitas Indonesia Library
Domosi, Pal, author
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...
Philadelphia : Society for Industrial and Applied Mathematics, 2005
e20442985
eBooks Universitas Indonesia Library
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...
Singapore: Springer Nature, 2019
e20509422
eBooks Universitas Indonesia Library
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...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410277
eBooks Universitas Indonesia Library
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...
Switzerland: Springer Cham, 2019
e20502686
eBooks Universitas Indonesia Library
