You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
A obra busca apresentar a complexidade de algoritmos, métodos e problemas com ênfase em conceitos e seu emprego em análise e projeto. Entre outros tópicos, são trabalhadas as ideias de complexidade pessimista e de complexidade média, e de comparações de comportamento assintótico. O livro também se propõe a analisar as limitações dos problemas em relação à complexidade dos algoritmos que os resolvem e define as principais classes de problemas- P, NP e NP-completa.
Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation; -Logic, Semantics, Specification and Verification. This volume contains 45 original and significant contributions addressing these foundational questions, as well as 4 papers by outstanding invited speakers. These papers were presented at the 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), which was held in conjunction with the 17th World Computer Congress, sponsored by the International Federation for Information Processing (IFIP), and which convened in Montréal, Québec, Canada in August 2002.
This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Computer Aided Systems Theory, EUROCAST 2005, held in Las Palmas de Gran Canaria, Spain in February 2005. The 83 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on formal approaches in modelling, intelligent information systems, information applications components, cryptography and spectral analysis, computer vision, biocomputing, intelligent vehicular systems, robotic soccer, robotics and control.
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80’s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) that will provide for a complete picture of the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the ?rst CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scienti?c and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the ?r...
This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: – formal methods; – distributed systems; – object-based technology. Such a convergence is representative of recent advances in the ?eld of distribut...
Este livro apresenta os principais conceitos da matemática discreta, explicados e exemplificados essencialmente por meio de exercícios. O conteúdo é rigoroso cientificamente e, ao mesmo tempo, acessível aos alunos de graduação, por ser simples e didático. É complemento do livro Matemática discreta para computação e informática.
Este livro apresenta conceitos da matemática discreta, explicados e exemplificados por meio de exercícios. É o complemento do livro 'Matemática discreta para computação e informática'.