عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540138838
شابک
3540390871
شابک
9783540138839
شابک
9783540390879
شماره کتابشناسی ملی
شماره
b565933
عنوان و نام پديدآور
عنوان اصلي
Foundations of software technology and theoretical computer science :
نام عام مواد
[Book]
ساير اطلاعات عنواني
fourth conference, Bangalore, India, December 13-15, 1984 : proceedings
نام نخستين پديدآور
ed. by S.N. Maheshwari.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1984.
مشخصات ظاهری
نام خاص و کميت اثر
(IV, 468 pages) : illustrations
فروست
عنوان فروست
Lecture notes in computer science, 181.
یادداشتهای مربوط به مندرجات
متن يادداشت
Logic for knowledge representation --; Logical specification and implementation --; Process specification of logic programs --; Functional programming systems revisited --; Models and transformations for nondeterministic extensions of functional programming --; Degrees of non-determinism and concurrency: A Petri net view --; Proof rules for communication abstractions --; A distributed algorithm for detecting communication deadlocks --; On the existence and construction of robust communication protocols for unreliable channels --; Heuristic search approach to optimal routing in a distributed architecture --; Replacement in monotone Boolean networks: An algebraic perspective --; A new characterization of BPP --; Treating terminals as function values of time --; Logics of knowledge, games and dynamic logic --; Persistent first class procedures are enough --; Abstraction concepts for modeling screen oriented dialogue interfaces --; VLSI systems for design rule checks --; Bounds on the length of convex partitions of polygons --; On mapping cube graphs onto VLSI arrays --; A linear-time algorithm for determining the intersection type of two star polygons --; Eliminating cascading rollback in structured databases --; Recognition and top-down generation of?-acyclic database schemes --; Universal and representative instances using unmarked nulls --; On some computational problems related to data base coding --; Generic oracles --; Approximation algorithm for maximum independent set in planar traingle-free graphs --; Grid file algorithms: An analysis in the biased case --; On the mean weight balance factor of binary trees --; An efficient algorithm for random sampling without replacement --; Proof rules for communication abstractions.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programming -- Congresses.
موضوع مستند نشده
Computer programming.
موضوع مستند نشده
Computers -- Congresses.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
ed. by S.N. Maheshwari.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Mathai Joseph
مستند نام اشخاص تاييد نشده
Rudrapatna Shyamasundar
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
