Automated reasoning with analytic tableaux and related methods: 20th international conference, TABLEAUX 2011, Ber…
by Brünnler, Kai, Metcalfe, George, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX, Bern, Switzerland)
fromLecture Notes in Computer Science
Approximation, randomization, and combinatorial optimization: algorithms and techniques : 14th international wo…
by Goldberg, Leslie Ann, International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Princeton, N.J.), International Workshop on Randomization and Computation, RANDOM, Princeton, N.J.)
fromLecture Notes in Computer Science
Information processing in computer-assisted interventions: second international conference, IPCAI 2011, Berl…
by Yang, Guang-Zhong, Taylor, Russell H., International Conference on Information Processing in Computer-Assisted Interventions, IPCAI, Berlin, Germany)
fromLecture Notes in Computer Science
Medical image computing and computer-assisted intervention - MICCAI 2011: 14th international conference, Toronto, Canada, S…
by Martel, Anne, Fichtinger, Gabor, Peters, Terry, International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI, Toronto, Canada)
fromLecture Notes in Computer Science
Theoretical and mathematical foundations of computer science: second International Conference, ICTMF 2011, Sing…
by Zhou, Qihai, International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF, Singapore), International Conference on High Performance Networking, Computing, and Communication Systems, Singapore)
fromCommunications in computer and information science
This book is an introduction to the mathematical theory of design for articulated mechanical systems known as linkages. The focus is on sizing mechanical constraints that guide the movement of a workpiece, or end effector, of the system. The function of the device is prescribe…
