Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings
ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusias...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
601 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Theory of computing and systems, ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992, proceedings, D. Dolev, Z. Galil, M. Rodeh, eds, Berlin, Springer-Verlag, 1992, 1 vol. (VIII-220 p.), Lecture notes in computer science, 3-540-55553-6 • Theory of Computing and Systems, Texte imprimé, 9783662199367 |
| LEADER | 04198nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944673 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155197274 | ||
| 020 | |a 9783540472148 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Israel symposium on the theory of computing and systems |d (1992 |c :Haifa). | |
| 245 | 1 | 0 | |a Theory of computing and systems : |b ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings |c [edited by] D. Dolev, Z. Galil, M. Rodeh. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 601 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Merging and splitting priority queues and deques in parallel -- Lower bounds for the complexity of functions in a realistic RAM model -- On Boolean decision trees with faulty nodes -- Interval graphs, interval orders and the consistency of temporal events (extended abstract) -- Higher order functions in first order logics -- Reduction relations in strict applicative languages -- Approximation algorithms for minimum time broadcast -- The complexity of reconfiguring network models -- Optimal mapping in direct mapped cache environments -- New algorithms for generalized network flows -- Factoring polynomials via relation-finding -- New resultant inequalities and complex polynomial factorization -- Can symmetric Toeplitz solvers be strongly stable? -- Bounds on parallel computation of multivariate polynomials -- Time-lapse snapshots -- Concurrent Timestamping made simple -- Distributed evaluation: a tool for constructing distributed detection programs -- Foundations of asymptotical theory of Determinate Compact Testing -- Optimal k-colouring and k-nesting of intervals. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Ordinateurs |x Mémoires | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Dolev, Danny, |d 19..- |4 pbd | |
| 700 | 1 | |a Galil, Zvi, |d 1947- |4 pbd | |
| 700 | 1 | |a Rodeh, Michael, |d 19..- |4 pbd | |
| 776 | 0 | |0 023343540 |t Theory of computing and systems |o ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 |o proceedings |f D. Dolev, Z. Galil, M. Rodeh, eds |c Berlin |n Springer-Verlag |d 1992 |p 1 vol. (VIII-220 p.) |s Lecture notes in computer science |z 3-540-55553-6 | |
| 776 | 0 | |t Theory of Computing and Systems |b Texte imprimé |z 9783662199367 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0035160 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-LDGQV4LX-4 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747917523 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0035160 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750930098 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0035160 |z Accès INSA CVL | |
| 997 | |0 944673 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||