Nantilus
Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully se...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) ; 8087 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | 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 |
| Sujets : | |
| Documents associés : | Autre format:
Mathematical Foundations of Computer Science 2013 Autre format: Mathematical Foundations of Computer Science 2013 |
| LEADER | 05097clm a2200757 4500 | ||
|---|---|---|---|
| 001 | PPN172429293 | ||
| 003 | http://www.sudoc.fr/172429293 | ||
| 005 | 20241001155400.0 | ||
| 010 | |a 978-3-642-40313-2 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-40313-2 |2 DOI |
| 035 | |a (OCoLC)869041574 | ||
| 035 | |a Springer978-3-642-40313-2 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-40313-2 | ||
| 035 | |a Springer-11645-978-3-642-40313-2 | ||
| 100 | |a 20131018f20 k |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a y z 100yy | ||
| 106 | |a s | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Mathematical Foundations of Computer Science 2013 |e 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings |f edited by Krishnendu Chatterjee, Jirí Sgall. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d [20..] | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 8087 | |
| 330 | |a This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence. | ||
| 359 | 1 | |a Alternation Trading Proofs and Their Limitations -- Bin Packing Games with Selfish Items -- A Constructive Proof of the Topological Kruskal Theorem -- Prior-Free Auctions of Digital Goods -- Clustering on k-Edge-Colored Graphs -- How to Pack Your Items When You Have to Buy Your Knapsack.-Computing Behavioral Distances, Compositionally -- Rewriting Guarded Negation Queries -- Parity Games and Propositional Proofs -- Bringing Order to Special Cases of Klee s Measure Problem -- Learning Reductions to Sparse Sets -- Probabilistic Automata with Isolated Cut-Points -- On Stochastic Games with Multiple Objectives -- Paradigms for Parameterized Enumeration -- Noninterference with Local Policies -- Ordering Metro Lines by Block Crossings -- Meta-kernelization with Structural Parameters -- Polynomial Threshold Functions and Boolean Threshold Circuits -- Detecting Regularities on Grammar-Compressed Strings -- An Unusual Temporal Logic. | |
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 8087 | |
| 452 | | | |t Mathematical Foundations of Computer Science 2013 |y 9783642403125 | |
| 452 | | | |t Mathematical Foundations of Computer Science 2013 |y 9783642403149 | |
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Algorithm Analysis and Problem Complexity | |
| 610 | 2 | |a Numeric Computing | |
| 610 | 2 | |a Data Structures | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Math Applications in Computer Science | |
| 610 | 2 | |a Discrete Mathematics in Computer Science | |
| 610 | 1 | |a Algorithms | |
| 610 | 2 | |a Numerical Analysis | |
| 610 | 2 | |a Data Science | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 610 | 2 | |a Mathematical Applications in Computer Science | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1 |v 23 | ||
| 680 | |a QA76.9.A43 | ||
| 700 | 1 | |3 PPN268471096 |a Chatterjee |b Krishnendu |4 651 | |
| 701 | 1 | |a Sgall |b Jirí |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20230502 |g AACR2 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-40313-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-40313-2 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-8DNSDPKN-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:83086119X |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-40313-2 | |
| 915 | |5 441099901:83086119X |b SPRING13-01098 | ||
| 930 | |5 441099901:83086119X |b 441099901 |j g | ||
| 991 | |5 441099901:83086119X |a Exemplaire créé en masse par ITEM le 30-09-2024 16:16 | ||
| 997 | |a NUM |b SPRING13-01098 |d NUMpivo |e EM |s d | ||
| 998 | |a 978943 | ||