Cargando…
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 : Rome, Italy, 3-5 October 2007 /
"Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures deliver...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; Hackensack, NJ :
World Scientific,
©2007.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn646768662 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 071006s2007 si a ob 101 0 eng d | ||
| 040 | |a E7B |b eng |e pn |c E7B |d OCLCQ |d N$T |d UBY |d IDEBK |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d YDXCP |d OCL |d OCLCO |d OCLCQ |d LOA |d COCUF |d AGLDB |d MOR |d PIFAG |d OCLCQ |d U3W |d STF |d WRM |d OCLCQ |d VTS |d NRAMU |d INT |d VT2 |d OCLCQ |d WYU |d OCLCQ |d M8D |d HS0 |d UWK |d UKCRE |d VLY |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 262286062 |a 505142858 |a 961542097 |a 962595138 |a 968287183 |a 988518929 |a 991939011 |a 1037739908 |a 1038596672 |a 1045487451 |a 1055399245 |a 1066643377 |a 1081291814 |a 1107332598 |a 1109094743 |a 1110305304 |a 1153454293 |a 1162280519 |a 1224941741 |a 1227643954 | ||
| 020 | |a 9789812770998 |q (electronic bk.) | ||
| 020 | |a 9812770992 |q (electronic bk.) | ||
| 020 | |a 128191164X | ||
| 020 | |a 9781281911643 | ||
| 020 | |a 9786611911645 | ||
| 020 | |a 6611911642 | ||
| 020 | |z 9812770984 | ||
| 020 | |z 9789812770981 | ||
| 029 | 1 | |a AU@ |b 000051416946 | |
| 029 | 1 | |a DEBBG |b BV043152682 | |
| 029 | 1 | |a DEBSZ |b 422096458 | |
| 029 | 1 | |a NZ1 |b 13518432 | |
| 035 | |a (OCoLC)646768662 |z (OCoLC)262286062 |z (OCoLC)505142858 |z (OCoLC)961542097 |z (OCoLC)962595138 |z (OCoLC)968287183 |z (OCoLC)988518929 |z (OCoLC)991939011 |z (OCoLC)1037739908 |z (OCoLC)1038596672 |z (OCoLC)1045487451 |z (OCoLC)1055399245 |z (OCoLC)1066643377 |z (OCoLC)1081291814 |z (OCoLC)1107332598 |z (OCoLC)1109094743 |z (OCoLC)1110305304 |z (OCoLC)1153454293 |z (OCoLC)1162280519 |z (OCoLC)1224941741 |z (OCoLC)1227643954 | ||
| 050 | 4 | |a QA75.5 |b .I28 2007eb | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004 |2 22 |
| 049 | |a UAMI | ||
| 111 | 2 | |a Italian Conference on Theoretical Computer Science |n (10th : |d 2007 : |c Rome, Italy) | |
| 245 | 1 | 0 | |a Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 : |b Rome, Italy, 3-5 October 2007 / |c editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura. |
| 246 | 3 | |a Theoretical computer science | |
| 246 | 3 | |a ICTS'07 | |
| 260 | |a Singapore ; |a Hackensack, NJ : |b World Scientific, |c ©2007. | ||
| 300 | |a 1 online resource (xiii, 199 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 505 | 0 | |a pt. A. Invited talks. Clairvoyance and laziness for on line travelling agents / G. Ausiello. Proving the range property for Lambda theories and models / H. Barendregt. Can a proper Lambda-model have an R.E. equational theory? / C. Berline. Session centered calculi for service oriented computing / R. De Nicola. Symmetries in foundations / G. Longo -- pt. B. Regular contributions. On the approximability of dense Steiner tree problems / M. Hauptmann. Weak pattern matching in colored graphs: minimizing the number of connected components / R. Dondi, G. Fertin, and S. Vialette. Weak Markovian bisimilarity: abstracting from prioritized/weighted internal immediate actions / M. Bernardo and A. Aldini. Analyzing non-interference with respect to classes / D. Zanardini. Computing minimum directed feedback vertex set in O+(1.9977n) / I. Razgon. Seeing the trees and their branches in the network is hard / I.A. Kanj [and others]. Modeling fuzzy behaviours in concurrent systems / L. D'Errico and M. Loreti. A formal framework for compositional compilation / D. Ancona and E. Zucca. Type inference for polymorphic mehods in Java-like languages / D. Ancona, G. Lagorio and E. Zucca. Sorting streamed multisets / T. Gagie. An analysis of a simple algorithm for random derangements / D. Merlini, R. Sprugnoli, and M.C. Verri. The measure hypothesis and efficiency of polynomial time approximation schemes / M. Hauptmann. Dichotomy results for fixed point counting in boolean dynamical systems / S. Kosub and C.M. Homan. Definable sets in weak Presburger arithmetic / C. Choffrut and A. Frigeri. On definite proofs of knowledge in the bare public-key model / G. Di Crescenzo and I. Visconti. | |
| 520 | |a "Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures delivered. The subjects of this book range from logical and mathematical aspects of computing, design and analysis of algorithms, to semantics of programming languages." | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computer science |v Congresses. | |
| 650 | 0 | |a Computers |v Congresses. | |
| 650 | 6 | |a Informatique |v Congrès. | |
| 650 | 6 | |a Ordinateurs |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451 | |
| 650 | 7 | |a Computers. |2 fast |0 (OCoLC)fst00872776 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Italiano, Giuseppe F. | |
| 700 | 1 | |a Moggi, Eugenio. | |
| 700 | 1 | |a Laura, Luigi. | |
| 776 | 0 | 8 | |i Print version: |a Italian Conference on Theoretical Computer Science (10th : 2007 : Rome, Italy). |t Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07. |d Singapore ; Hackensack, NJ : World Scientific, ©2007 |z 9812770984 |z 9789812770981 |w (OCoLC)173808125 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235957 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10255735 | ||
| 938 | |a EBSCOhost |b EBSC |n 235957 | ||
| 938 | |a YBP Library Services |b YANK |n 2891940 | ||
| 994 | |a 92 |b IZTAP | ||