40,95 €
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
40,95 €
Als Download kaufen
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
20 °P sammeln
Andere Kunden interessierten sich auch für
![Functional and Constraint Logic Programming (eBook, PDF)]( "Functional and Constraint Logic Programming (eBook, PDF)")
Functional and Constraint Logic Programming (eBook, PDF)40,95 €![Computer Aided Verification (eBook, PDF)]( "Computer Aided Verification (eBook, PDF)")
Computer Aided Verification (eBook, PDF)40,95 €![Algorithms and Data Structures (eBook, PDF)]( "Algorithms and Data Structures (eBook, PDF)")
Algorithms and Data Structures (eBook, PDF)40,95 €![SOFSEM 2011: Theory and Practice of Computer Science (eBook, PDF)]( "SOFSEM 2011: Theory and Practice of Computer Science (eBook, PDF)")
SOFSEM 2011: Theory and Practice of Computer Science (eBook, PDF)40,95 €![Verification, Model Checking, and Abstract Interpretation (eBook, PDF)]( "Verification, Model Checking, and Abstract Interpretation (eBook, PDF)")
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)40,95 €![Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation (eBook, PDF)]( "Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation (eBook, PDF)")
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation (eBook, PDF)40,95 €![Theory and Practice of Algorithms in (Computer) Systems (eBook, PDF)]( "Theory and Practice of Algorithms in (Computer) Systems (eBook, PDF)")
Theory and Practice of Algorithms in (Computer) Systems (eBook, PDF)40,95 €
This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.
The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.