Refine your search

Your search returned 215 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Algorithms and Complexity [electronic resource] : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / edited by Paul G. Spirakis, Maria Serna. by
  • Spirakis, Paul G [editor.]
  • Serna, Maria [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7878
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

2.
Logical Foundations of Mathematics and Computational Complexity [electronic resource] : A Gentle Introduction / by Pavel Pudlák. by
  • Pudlák, Pavel [author.]
  • SpringerLink (Online service)
Series: Springer Monographs in Mathematics
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

3.
Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by
  • Chan, T-H. Hubert [editor.]
  • Lau, Lap Chi [editor.]
  • Trevisan, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7876
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

4.
Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis. by
  • Jurgensen, Helmut [editor.]
  • Reis, Rogério [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8031
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

5.
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg. by
  • Fomin, Fedor V [editor.]
  • Freivalds, Rūsiņš [editor.]
  • Kwiatkowska, Marta [editor.]
  • Peleg, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7966
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

6.
Fundamentals of Parameterized Complexity [electronic resource] / by Rodney G. Downey, Michael R. Fellows. by
  • Downey, Rodney G [author.]
  • Fellows, Michael R [author.]
  • SpringerLink (Online service)
Series: Texts in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

7.
Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I / edited by Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg. by
  • Fomin, Fedor V [editor.]
  • Freivalds, Rūsiņš [editor.]
  • Kwiatkowska, Marta [editor.]
  • Peleg, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7965
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

8.
WALCOM: Algorithms and Computation [electronic resource] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / edited by Subir Kumar Ghosh, Takeshi Tokuyama. by
  • Ghosh, Subir Kumar [editor.]
  • Tokuyama, Takeshi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7748
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

9.
Parameterized and Exact Computation [electronic resource] : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers / edited by Gregory Gutin, Stefan Szeider. by
  • Gutin, Gregory [editor.]
  • Szeider, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8246
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

10.
Structural Information and Communication Complexity [electronic resource] : 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers / edited by Thomas Moscibroda, Adele A. Rescigno. by
  • Moscibroda, Thomas [editor.]
  • Rescigno, Adele A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8179
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

11.
Guide to Programming and Algorithms Using R [electronic resource] / by Özgür Ergül. by
  • Ergül, Özgür [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

12.
Computer Science – Theory and Applications [electronic resource] : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur. by
  • Bulatov, Andrei A [editor.]
  • Shur, Arseny M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7913
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

13.
Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by
  • Järvisalo, Matti [editor.]
  • Van Gelder, Allen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7962
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

14.
Fundamentals of Discrete Math for Computer Science [electronic resource] : A Problem-Solving Primer / by Tom Jenkyns, Ben Stephenson. by
  • Jenkyns, Tom [author.]
  • Stephenson, Ben [author.]
  • SpringerLink (Online service)
Series: Undergraduate Topics in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

15.
Implementation and Application of Automata [electronic resource] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / edited by Stavros Konstantinidis. by
  • Konstantinidis, Stavros [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7982
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

16.
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by
  • Dediu, Adrian-Horia [editor.]
  • Martín-Vide, Carlos [editor.]
  • Truthe, Bianca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7810
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

17.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers / edited by Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk. by
  • Brandstädt, Andreas [editor.]
  • Jansen, Klaus [editor.]
  • Reischuk, Rüdiger [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8165
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

18.
Algorithms and Computation [electronic resource] : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings / edited by Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam. by
  • Cai, Leizhen [editor.]
  • Cheng, Siu-Wing [editor.]
  • Lam, Tak-Wah [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8283
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

19.
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by
  • Abdulla, Parosh Aziz [editor.]
  • Potapov, Igor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8169
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

20.
Web and Internet Economics [electronic resource] : 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings / edited by Yiling Chen, Nicole Immorlica. by
  • Chen, Yiling [editor.]
  • Immorlica, Nicole [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8289
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

Pages