|
|
|
|
| LEADER |
03032nam a2200361 a 4500 |
| 001 |
c000164361 |
| 003 |
CARM |
| 005 |
19050220000000.0 |
| 008 |
920417s1992 gw a 100 0 eng |
| 010 |
|
|
|a 92011112
|
| 019 |
1 |
|
|a 9007510
|z 45176899
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387555536
|
| 020 |
|
|
|a 3540555536
|
| 035 |
|
|
|a (OCoLC)25788567
|5 LACONCORD2021
|
| 040 |
|
|
|a TOC
|b eng
|c TOC
|
| 050 |
|
0 |
|a QA75.5
|b .I76 1992
|
| 082 |
0 |
0 |
|a 004
|2 20
|
| 111 |
2 |
|
|a Israel Symposium on the Theory and Computing Systems,
|d (1992 :
|c Haifa, Israel)
|
| 245 |
1 |
0 |
|a Theory of computing and systems :
|b ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings /
|c D. Dolev, Z. Galil, M. Rodeh, eds.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1992.
|
| 300 |
|
|
|a viii, 220 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 601.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 505 |
0 |
|
|a Merging and Splitting Priority Queues and Deques in Parallel / Jingsen Chen -- Lower Bounds for the Complexity of Functions in a Realistic RAM Model / Nader H. Bshouty -- On Boolean Decision Trees with Faulty Nodes / Claire Kenyon and Valerie King -- Interval Graphs, Interval Orders and the Consistency of Temporal Events / Martin Charles Golumbic and Ron Shamir -- Higher Order Functions in First Order Theory / Andrei Voronkov -- Reduction Relations in Strict Applicative Languages / Walter Dosch -- Approximation Algorithms for Minimum Time Broadcast / Guy Kortsarz and David Peleg -- The Complexity of Reconfiguring Network Models / Yosi Ben-Asher, David Peleg and Assaf Schuster -- Optimal Mapping in Direct Mapped Cache Environments / Shmuel Gal, Yona Hollander and Alon Itai -- New Algorithms for Generalized Network Flows / Edith Cohen and Nimrod Megiddo -- Factoring Polynomials via Relation-Finding / Victor S. Miller.
|
| 505 |
8 |
|
|a New Resultant Inequalities and Complex Polynomial Factorization / Victor Pan -- Can Symmetric Toeplitz Solvers be Strongly Stable? / Elliot Linzer -- Bounds On Parallel Computation of Multivariate Polynomials / Ilan Sadeh and Amir Averbuch -- Time-Lapse Snapshots / Cynthia Dwork, Maurice Herlihy, Serge A. Plotkin and Orli Waarts -- Concurrent Timestamping Made Simple / Rainer Gawlick, Nancy Lynch and Nir Shavit -- Distributed Evaluation: A Tool for Constructing Distributed Detection Programs / Jean-Michel Helary and Michel Raynal -- Foundations of Asymptotical Theory of Determinate Compact Testing / Evgeny V. Luk-Zilberman -- Optimal K-Colouring and K-Nesting of Intervals / Irith Ben-Arroyo Hartman.
|
| 650 |
|
0 |
|a Electronic data processing
|v Congresses.
|
| 650 |
|
0 |
|a Electronic digital computers
|x Congresses.
|
| 700 |
1 |
|
|a Galil, Zvi.
|
| 700 |
1 |
|
|a Dolev, D.
|q (Danny)
|
| 700 |
1 |
|
|a Rodeh, M.
|q (Michael)
|
| 852 |
8 |
|
|b CARM
|h A2:AM11F0
|i C05514
|p 0214108
|f BK
|
| 999 |
f |
f |
|i 58f92999-ede6-5381-81a2-34653c017288
|s d83d1cc4-7a55-5639-94da-c21a5e35a0a4
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05514
|f A2:AM11F0
|h Other scheme
|i book
|m 0214108
|