Automata, Languages and Programming 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings - neues Buch
1997, ISBN: 3540631658
1997 Kartoniert / Broschiert Mathematik / Informatik, Computer, Programmiersprachen, Compiler, Übersetzer (EDV), Netzwerk (elektronisch), COMPUTERS / Computer Science, Compiler und Über… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1997, ISBN: 3540631658
[EAN: 9783540631651], Gebraucht, sehr guter Zustand, [PU: Springer], COMPUTER & INTERNET / IT-AUSBILDUNG -BERUFE PROGRAMMIERUNG WEBDESIGN NATURWISSENSCHAFTEN TECHNIK HARDWARE PROGRAMMIERE… Mehr…
AbeBooks.de getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 3.50 Details... |
Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1997, ISBN: 9783540631651
Springer, 1997-07-24. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1997-07-24, 3
Biblio.co.uk |
Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1997, ISBN: 9783540631651
Springer, 1997-07-24. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1997-07-24, 3
Biblio.co.uk |
1997, ISBN: 9783540631651
24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1997
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
Automata, Languages and Programming 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings - neues Buch
1997, ISBN: 3540631658
1997 Kartoniert / Broschiert Mathematik / Informatik, Computer, Programmiersprachen, Compiler, Übersetzer (EDV), Netzwerk (elektronisch), COMPUTERS / Computer Science, Compiler und Über… Mehr…
1997, ISBN: 3540631658
[EAN: 9783540631651], Gebraucht, sehr guter Zustand, [PU: Springer], COMPUTER & INTERNET / IT-AUSBILDUNG -BERUFE PROGRAMMIERUNG WEBDESIGN NATURWISSENSCHAFTEN TECHNIK HARDWARE PROGRAMMIERE… Mehr…
Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1997
ISBN: 9783540631651
Springer, 1997-07-24. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1997-07-24, 3
Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1997, ISBN: 9783540631651
Springer, 1997-07-24. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1997-07-24, 3
1997, ISBN: 9783540631651
24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1997
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Automata, Languages and Programming
EAN (ISBN-13): 9783540631651
ISBN (ISBN-10): 3540631658
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1997
Herausgeber: Springer Berlin
Buch in der Datenbank seit 2007-04-10T17:54:31+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-31T10:32:28+02:00 (Zurich)
ISBN/EAN: 9783540631651
ISBN - alternative Schreibweisen:
3-540-63165-8, 978-3-540-63165-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: alberto roberto, marchetti, albert march, deg robert
Titel des Buches: proceedings the international colloquium language, automata languages and programming, lecture notes computer science automata, italy, bologna
Daten vom Verlag:
Autor/in: Pierpaolo Degano; Roberto Gorrieri; Alberto Marchetti-Spaccamela
Titel: Lecture Notes in Computer Science; Automata, Languages and Programming - 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
Verlag: Springer; Springer Berlin
864 Seiten
Erscheinungsjahr: 1997-06-18
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XXXII, 864 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algorithmen; Constraint; FlagShip; Formale Sprachen; Komplexität; Nebenläufigkeit; Partition; Programmsemantik; algorithms; calculus; complexity; computability; geometry; logic; sets; Theory of Computation; Programming Techniques; Compilers and Interpreters; Computer Communication Networks; Mathematics of Computing; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Netzwerk-Hardware; Mathematik für Informatiker; EA
Graphical calculi for interaction.- NP-completeness: A retrospective.- The LEDA platform for combinatorial and geometric computing.- The Wadge-Wagner hierarchy of ?-rational sets.- From chaotic iteration to constraint propagation.- DNA2DNA computations: A potential “killer app”?.- Tilings and quasiperiodicity.- Enumerative sequences of leaves in rational trees.- A completion algorithm for codes with bounded synchronization delay.- The expressibility of languages and relations by word equations.- Finite loops recognize exactly the regular open languages.- An abstract data type for real numbers.- Recursive computational depth.- Some bounds on the computational power of piecewise constant derivative systems (extended abstract).- Monadic simultaneous rigid E-unification and related problems.- Computability on the probability measures on the Borel sets of the unit interval.- Worst-case hardness suffices for derandomization: A new method for hardness-randomness trade-offs.- Results on resource-bounded measure.- Randomization and nondeterminism are comparable for ordered read-once branching programs.- Checking properties of polynomials.- Exact analysis of Dodgson elections: Lewis Carroll's 1876 voting system is complete for parallel access to NP.- Game theoretic analysis of call-by-value computation.- On modular properties of higher order extensional lambda calculi.- On explicit substitutions and names (extended abstract).- On the dynamics of sharing graphs.- Minimizing diameters of dynamic trees.- Improving spanning trees by upgrading nodes.- Dynamic algorithms for graphs of bounded treewidth.- The name discipline of uniform receptiveness (extended abstract).- On confluence in the ?-calculus.- A proof theoretical approach to communication.- Solving trace equations usinglexicographical normal forms.- Star-free picture expressions are strictly weaker than first-order logic.- An algebra-based method to associate rewards with EMPA terms.- A semantics preserving actor translation.- Periodic and non-periodic min-max equations.- Efficient parallel graph algorithms for coarse grained multicomputers and BSP.- Upper bound on the communication complexity of private information retrieval.- Computation paths logic: An expressive, yet elementary, process logic.- Model checking the full modal mu-calculus for infinite sequential processes.- Symbolic model checking for probabilistic processes.- On the concentration of the height of binary search trees.- An improved master theorem for divide-and-conquer recurrences.- Bisimulation for probabilistic transition systems: A coalgebraic approach.- Distributed processes and location failures.- Basic observables for processes.- Constrained bipartite edge coloring with applications to wavelength routing.- Colouring paths in directed symmetric trees with applications to WDM routing.- On-line routing in all-optical networks.- A complete characterization of the path layout construction problem for ATM networks with given hop count and load.- Efficiency of asynchronous systems and read arcs in petri nets.- Bisimulation equivalence is decidable for one-counter processes.- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations.- Axiomatizations for the perpetual loop in process algebra.- Discrete-time control for rectangular hybrid automata.- Maintaining minimum spanning trees in dynamic graphs.- Efficient splitting and merging algorithms for order decomposable problems.- Efficient array partitioning.- Constructive linear time algorithms for branchwidth.- The word matching problem is undecidable for finite special string-rewriting systems that are confluent.- The geometry of orthogonal reduction spaces.- The theory of vaccines.- The equivalence problem for deterministic pushdown automata is decidable.- On recognizable and rational formal power series in partially commuting variables.- On a conjecture of J. Shallit.- On characterizations of escrow encryption schemes.- Randomness-efficient non-interactive zero knowledge.- Approximation results for the optimum cost chromatic partition problem.- The minimum color sum of bipartite graphs.- A primal-dual approach to approximation of node-deletion problems for matroidal properties.- Independent sets in asteroidal triple-free graphs.- Refining and compressing abstract domains.- Labelled reductions, runtime errors, and operational subsumption.- A complete and efficiently computable topological classification of D-dimensional linear cellular automata over Z m .- Recognizability equals definability for partial k-paths.- Molecular computing, bounded nondeterminism, and efficient recursion.- Constructing big trees from short sequences.- Termination of constraint logic programs.- The expressive power of unique total stable model semantics.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387088600 Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17-21, 1978 (G. Ausiello)
< zum Archiv...