Your search returned 89 results.

Not what you expected? Check for suggestions
Sort
Results
61.
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III / edited by Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný. by
  • Blockeel, Hendrik [editor.]
  • Kersting, Kristian [editor.]
  • Nijssen, Siegfried [editor.]
  • Železný, Filip [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8190
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.

62.
Advances in Swarm Intelligence [electronic resource] : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Hongwei Mo. by
  • Tan, Ying [editor.]
  • Shi, Yuhui [editor.]
  • Mo, Hongwei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7928
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.

63.
Teoria degli Automi Finiti [electronic resource] / by Aldo de Luca, Flavio D’Alessandro. by
  • Luca, Aldo de [author.]
  • D’Alessandro, Flavio [author.]
  • SpringerLink (Online service)
Series: UNITEXT ; 68
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2013
Availability: No items available.

64.
Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / edited by Kamal Lodaya. by
  • Lodaya, Kamal [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7750
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.

65.
Magic Graphs [electronic resource] / by Alison M. Marr, W.D. Wallis. by
  • Marr, Alison M [author.]
  • Wallis, W.D [author.]
  • SpringerLink (Online service)
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Birkhäuser, 2013
Availability: No items available.

66.
Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov. by
  • Gerdt, Vladimir P [editor.]
  • Koepf, Wolfram [editor.]
  • Mayr, Ernst W [editor.]
  • Vorozhtsov, Evgenii V [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8136
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.

67.
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by
  • Baldoni, Roberto [editor.]
  • Nisse, Nicolas [editor.]
  • Steen, Maarten van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8304
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.

68.
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers / edited by Kazuo Iwama, Yasuhito Kawano, Mio Murao. by
  • Iwama, Kazuo [editor.]
  • Kawano, Yasuhito [editor.]
  • Murao, Mio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7582
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.

69.
Graph Drawing [electronic resource] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers / edited by Walter Didimo, Maurizio Patrignani. by
  • Didimo, Walter [editor.]
  • Patrignani, Maurizio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7704
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.

70.
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by
  • Albert, Elvira [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7844
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.

71.
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.

72.
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte. by
  • Schulte, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8124
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.

73.
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

74.
Numerical Analysis and Its Applications [electronic resource] : 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov. by
  • Dimov, Ivan [editor.]
  • Faragó, István [editor.]
  • Vulkov, Lubin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8236
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.

75.
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

76.
Discrete Geometry for Computer Imagery [electronic resource] : 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings / edited by Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Belen Medrano. by
  • Gonzalez-Diaz, Rocio [editor.]
  • Jimenez, Maria-Jose [editor.]
  • Medrano, Belen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7749
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.

77.
Computing and Combinatorics [electronic resource] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings / edited by Ding-Zhu Du, Guochuan Zhang. by
  • Du, Ding-Zhu [editor.]
  • Zhang, Guochuan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7936
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.

78.
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.

79.
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

80.
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

Pages