Results
|
981.
|
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by
- Libkin, Leonid [editor.]
- Kohlenbach, Ulrich [editor.]
- Queiroz, Ruy de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8071
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.
|
|
982.
|
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.
|
|
983.
|
Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings / edited by Frank Nielsen, Frédéric Barbaresco. by
- Nielsen, Frank [editor.]
- Barbaresco, Frédéric [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8085
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.
|
|
984.
|
Advances in Cryptology – CRYPTO 2013 [electronic resource] : 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I / edited by Ran Canetti, Juan A. Garay. by
- Canetti, Ran [editor.]
- Garay, Juan A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8042
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.
|
|
985.
|
Advances in Cryptology – CRYPTO 2013 [electronic resource] : 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II / edited by Ran Canetti, Juan A. Garay. by
- Canetti, Ran [editor.]
- Garay, Juan A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8043
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.
|
|
986.
|
Algorithms and Data Structures [electronic resource] : 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings / edited by Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack. by
- Dehne, Frank [editor.]
- Solis-Oba, Roberto [editor.]
- Sack, Jörg-Rüdiger [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8037
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.
|
|
987.
|
Fundamentals of Computation Theory [electronic resource] : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings / edited by Leszek Gąsieniec, Frank Wolter. by
- Gąsieniec, Leszek [editor.]
- Wolter, Frank [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8070
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.
|
|
988.
|
Algebra and Coalgebra in Computer Science [electronic resource] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / edited by Reiko Heckel, Stefan Milius. by
- Heckel, Reiko [editor.]
- Milius, Stefan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8089
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.
|
|
989.
|
Advances in Spatial and Temporal Databases [electronic resource] : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings / edited by Mario A. Nascimento, Timos Sellis, Reynold Cheng, Jörg Sander, Yu Zheng, Hans-Peter Kriegel, Matthias Renz, Christian Sengstock. by
- Nascimento, Mario A [editor.]
- Sellis, Timos [editor.]
- Cheng, Reynold [editor.]
- Sander, Jörg [editor.]
- Zheng, Yu [editor.]
- Kriegel, Hans-Peter [editor.]
- Renz, Matthias [editor.]
- Sengstock, Christian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8098
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.
|
|
990.
|
Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola. by
- Brodnik, Andrej [editor.]
- López-Ortiz, Alejandro [editor.]
- Raman, Venkatesh [editor.]
- Viola, Alfredo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8066
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.
|
|
991.
|
Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. by
- Chatterjee, Krishnendu [editor.]
- Sgall, Jirí [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8087
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.
|
|
992.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings / edited by Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, José D. P. Rolim. by
- Raghavendra, Prasad [editor.]
- Raskhodnikova, Sofya [editor.]
- Jansen, Klaus [editor.]
- Rolim, José D. P [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8096
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.
|
|
993.
|
|
|
994.
|
Algorithms in Bioinformatics [electronic resource] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Aaron Darling, Jens Stoye. by
- Darling, Aaron [editor.]
- Stoye, Jens [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8126
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.
|
|
995.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by
- Galmiche, Didier [editor.]
- Larchey-Wendling, Dominique [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8123
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.
|
|
996.
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by
- Cabalar, Pedro [editor.]
- Son, Tran Cao [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8148
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.
|
|
997.
|
|
|
998.
|
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. by
- Muntean, Traian [editor.]
- Poulakis, Dimitrios [editor.]
- Rolland, Robert [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8080
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.
|
|
999.
|
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by
- Ida, Tetsuo [editor.]
- Fleuriot, Jacques [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7993
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.
|
|
1000.
|
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
- Gupta, Ashutosh [editor.]
- Henzinger, Thomas A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
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.
|