Results
|
|
61.
|
Logic, Language, and Computation [electronic resource] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter. by
- Bezhanishvili, Guram [editor.]
- Löbner, Sebastian [editor.]
- Marra, Vincenzo [editor.]
- Richter, Frank [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7758
Source: Springer eBooks
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
62.
|
|
|
|
63.
|
|
|
|
64.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by
- Beyer, Dirk [editor.]
- Boreale, Michele [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7892
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
65.
|
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by
- Morrill, Glyn [editor.]
- Nederhof, Mark-Jan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8036
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
66.
|
|
|
|
67.
|
|
|
|
68.
|
|
|
|
69.
|
Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann. by
- Jain, Sanjay [editor.]
- Munos, Rémi [editor.]
- Stephan, Frank [editor.]
- Zeugmann, Thomas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8139
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
70.
|
|
|
|
71.
|
|
|
|
72.
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by
- Grossi, Davide [editor.]
- Roy, Olivier [editor.]
- Huang, Huaxin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
73.
|
Modeling and Using Context [electronic resource] : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings / edited by Patrick Brézillon, Patrick Blackburn, Richard Dapoigny. by
- Brézillon, Patrick [editor.]
- Blackburn, Patrick [editor.]
- Dapoigny, Richard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8175
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
74.
|
System Modeling and Optimization [electronic resource] : 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers / edited by Dietmar Hömberg, Fredi Tröltzsch. by
- Hömberg, Dietmar [editor.]
- Tröltzsch, Fredi [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 391
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
75.
|
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba [electronic resource] : Lashkar-e-Taiba / by V.S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian, John P. Dickerson. by
- Subrahmanian, V.S [author.]
- Mannes, Aaron [author.]
- Sliva, Amy [author.]
- Shakarian, Jana [author.]
- Dickerson, John P [author.]
- SpringerLink (Online service)
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.
|
|
|
76.
|
|
|
|
77.
|
|
|
|
78.
|
Unconventional Computation and Natural Computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca. by
- Mauri, Giancarlo [editor.]
- Dennunzio, Alberto [editor.]
- Manzoni, Luca [editor.]
- Porreca, Antonio E [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7956
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
79.
|
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by
- Pecheur, Charles [editor.]
- Dierkes, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8187
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
80.
|
|
