دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings
دانلود کتاب STACS 90: هفتمین سمپوزیوم سالانه در مورد جنبه های نظری علوم کامپیوتر روون ، فرانسه ، 22-24 فوریه مجموعه مقالات
مشخصات کتاب
STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Eric Allender, Richard Beigel, Ulrich Hertrampf, Steven Homer (auth.), Christian Choffrut, Thomas Lengauer (eds.) سری: Lecture Notes in Computer Science 415 ISBN (شابک) : 3540522824, 9783540522829 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1990 تعداد صفحات: 318 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 56,000
کلمات کلیدی مربوط به کتاب STACS 90: هفتمین سمپوزیوم سالانه در مورد جنبه های نظری علوم کامپیوتر روون ، فرانسه ، 22-24 فوریه مجموعه مقالات: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب STACS 90: هفتمین سمپوزیوم سالانه در مورد جنبه های نظری علوم کامپیوتر روون ، فرانسه ، 22-24 فوریه مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب STACS 90: هفتمین سمپوزیوم سالانه در مورد جنبه های نظری علوم کامپیوتر روون ، فرانسه ، 22-24 فوریه مجموعه مقالات
سمپوزیوم جنبه‌های نظری علوم کامپیوتر به طور مشترک توسط گروه علاقه‌مندی ویژه برای ریاضیات کاربردی AFCET (انجمن Française de Cybernétique Economique et Technique) و گروه علاقه‌مند ویژه برای علوم کامپیوتر نظری GI (Gesellschaft für) برگزار می‌شود. به طور متناوب در فرانسه و آلمان برگزار می شود. این جلد شامل دو مقاله دعوت شده، در مورد روش های ترکیبی در علوم کامپیوتر، و پیچیدگی بهینه سازی محلی، و 24 مشارکت در جنبه های نظری علوم کامپیوتر است. برخی از سیستم‌های نرم‌افزاری ارائه شده‌اند که امکان بکارگیری تحقیقات نظری را برای تحقق ابزارهای نرم‌افزاری نشان می‌دهند.
توضیحاتی درمورد کتاب به خارجی
The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.
فهرست مطالب
A note on the almost-everywhere hierarchy for nondeterministic time....Pages 1-11
The ring of k -regular sequences....Pages 12-23
Minimal pairs and complete problems....Pages 24-36
Hiding instances in multioracle queries....Pages 37-48
Counting classes: Thresholds, parity, mods, and fewness....Pages 49-57
Playing games of incomplete information....Pages 58-69
Caterpillars and context-free languages....Pages 70-81
Semi-commutations and algebraic languages....Pages 82-94
Towards a process semantics in the logic programming style....Pages 95-108
Parallel computations on strings and arrays....Pages 109-125
Minimum vertex hulls for polyhedral domains....Pages 126-137
Combinatorial rewriting on traces....Pages 138-151
Kolmogorov complexity, restricted nondeterminism and generalized spectra....Pages 152-164
Relation-sorted algebraic specifications with built-in coercers: Basic notions and results....Pages 165-175
Computational power of one-way multihead finite automata....Pages 176-187
Updating almost complete trees or one level makes all the difference....Pages 188-194
Sorting the sums (x i +y j ) in O(n 2 ) comparisons....Pages 195-206
Efficient checking of computations....Pages 207-215
Hard promise problems and nonuniform complexity....Pages 216-226
On the construction of abstract voronoi diagrams....Pages 227-239
Approximation of convex figures by pairs of rectangles....Pages 240-249
Nonblocking graphs: Greedy algorithms to compute disjoint paths....Pages 250-262
Infinite trees and automaton definable relations over ω-words....Pages 263-277
Enumerative Combinatorics and Computer Science....Pages 278-284
Failures semantics based on interval semiwords is a congruence for refinement....Pages 285-297
The analysis of local search problems and their heuristics....Pages 298-311
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Advances in Computers, Vol. 77
دانلود کتاب Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings
دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency III
دانلود کتاب 2D Unity: Your First Game from Start to Finish
دانلود کتاب Theory of Quantum Computation, Communication and Cryptography: 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers (Lecture ... Computer Science and General Issues)
دانلود کتاب Computers and Aphasia: Special Issue of Aphasiology
دانلود کتاب Security Protocols XVI: 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
دانلود کتاب The Art and Science of Digital Compositing (The Morgan Kaufmann Series in Computer Graphics)
دانلود کتاب Principles of Computerized Tomographic Imaging
