Results
|
|
1541.
|
|
|
|
1542.
|
|
|
|
1543.
|
|
|
|
1544.
|
Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. by Series: Lecture Notes in Computer Science ; 6618
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
1545.
|
|
|
|
1546.
|
|
|
|
1547.
|
Modelling Foundations and Applications [electronic resource] : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings / edited by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige. by Series: Lecture Notes in Computer Science ; 6698
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
1548.
|
|
|
|
1549.
|
|
|
|
1550.
|
|
|
|
1551.
|
Trust and Trustworthy Computing [electronic resource] : 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011. Proceedings / edited by Jonathan M. McCune, Boris Balacheff, Adrian Perrig, Ahmad-Reza Sadeghi, Angela Sasse, Yolanta Beres. by Series: Lecture Notes in Computer Science ; 6740
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
1552.
|
|
|
|
1553.
|
|
|
|
1554.
|
|
|
|
1555.
|
|
|
|
1556.
|
|
|
|
1557.
|
|
|
|
1558.
|
|
|
|
1559.
|
Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings / edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel. by Series: Lecture Notes in Computer Science ; 6807
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
1560.
|
|