Refine your search

Your search returned 243 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
Matrix-Analytic Methods in Stochastic Models [electronic resource] / edited by Guy Latouche, Vaidyanathan Ramaswami, Jay Sethuraman, Karl Sigman, Mark S. Squillante, David D. Yao. by
  • Latouche, Guy [editor.]
  • Ramaswami, Vaidyanathan [editor.]
  • Sethuraman, Jay [editor.]
  • Sigman, Karl [editor.]
  • Squillante, Mark S [editor.]
  • Yao, David D [editor.]
  • SpringerLink (Online service)
Series: Springer Proceedings in Mathematics & Statistics ; 27
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

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

Add to cart
83.
Search Theory [electronic resource] : A Game Theoretic Perspective / edited by Steve Alpern, Robbert Fokkink, Leszek Gąsieniec, Roy Lindelauf, V.S. Subrahmanian. by
  • Alpern, Steve [editor.]
  • Fokkink, Robbert [editor.]
  • Gąsieniec, Leszek [editor.]
  • Lindelauf, Roy [editor.]
  • Subrahmanian, V.S [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
84.
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
Online access:
Availability: No items available.

Add to cart
85.
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
Online access:
Availability: No items available.

Add to cart
86.
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
Online access:
Availability: No items available.

Add to cart
87.
Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa. by
  • Hasegawa, Masahito [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7941
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
Online access:
Availability: No items available.

Add to cart
88.
Uncertainty Quantification in Computational Fluid Dynamics [electronic resource] / edited by Hester Bijl, Didier Lucor, Siddhartha Mishra, Christoph Schwab. by
  • Bijl, Hester [editor.]
  • Lucor, Didier [editor.]
  • Mishra, Siddhartha [editor.]
  • Schwab, Christoph [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computational Science and Engineering ; 92
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
89.
Modeling and Simulation in Engineering, Economics, and Management [electronic resource] : International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings / edited by María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León. by
  • Fernández-Izquierdo, María Ángeles [editor.]
  • Muñoz-Torres, María Jesús [editor.]
  • León, Raúl [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 145
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
Online access:
Availability: No items available.

Add to cart
90.
Mathematical Methodologies in Pattern Recognition and Machine Learning [electronic resource] : Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012 / edited by Pedro Latorre Carmona, J. Salvador Sánchez, Ana L.N. Fred. by
  • Latorre Carmona, Pedro [editor.]
  • Sánchez, J. Salvador [editor.]
  • Fred, Ana L.N [editor.]
  • SpringerLink (Online service)
Series: Springer Proceedings in Mathematics & Statistics ; 30
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
91.
Hypergraph Theory [electronic resource] : An Introduction / by Alain Bretto. by
  • Bretto, Alain [author.]
  • SpringerLink (Online service)
Series: Mathematical Engineering
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
92.
Graphs, Networks and Algorithms [electronic resource] / by Dieter Jungnickel. by
  • Jungnickel, Dieter [author.]
  • SpringerLink (Online service)
Series: Algorithms and Computation in Mathematics ; 5
Edition: 4th ed. 2013.
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
Online access:
Availability: No items available.

Add to cart
93.
Web Information Retrieval [electronic resource] / by Stefano Ceri, Alessandro Bozzon, Marco Brambilla, Emanuele Della Valle, Piero Fraternali, Silvia Quarteroni. by
  • Ceri, Stefano [author.]
  • Bozzon, Alessandro [author.]
  • Brambilla, Marco [author.]
  • Della Valle, Emanuele [author.]
  • Fraternali, Piero [author.]
  • Quarteroni, Silvia [author.]
  • SpringerLink (Online service)
Series: Data-Centric Systems and Applications
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
Online access:
Availability: No items available.

Add to cart
94.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by
  • Colom, José-Manuel [editor.]
  • Desel, Jörg [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7927
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
Online access:
Availability: No items available.

Add to cart
95.
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
Online access:
Availability: No items available.

Add to cart
96.
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
Online access:
Availability: No items available.

Add to cart
97.
Analyzing Evolutionary Algorithms [electronic resource] : The Computer Science Perspective / by Thomas Jansen. by
  • Jansen, Thomas [author.]
  • SpringerLink (Online service)
Series: Natural Computing Series
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
Online access:
Availability: No items available.

Add to cart
98.
Transactions on Rough Sets XVI [electronic resource] / edited by James F. Peters, Andrzej Skowron, Sheela Ramanna, Zbigniew Suraj, Xin Wang. by
  • Peters, James F [editor.]
  • Skowron, Andrzej [editor.]
  • Ramanna, Sheela [editor.]
  • Suraj, Zbigniew [editor.]
  • Wang, Xin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7736
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
Online access:
Availability: No items available.

Add to cart
99.
No cover image available No cover image available
Probability and statistics with reliability, queuing, and computer science applications / Kishor Shridharbhai Trivedi. by
  • Trivedi, Kishor Shridharbhai
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Prentice-Hall of India ; Englewood Cliffs : Prentice-Hall International. , c1982
Availability: Items available for loan: Central Library, SUST (3)Call number: 519.2 TRP, ...

Place hold Add to cart
100.
Networks Against Time [electronic resource] : Supply Chain Analytics for Perishable Products / by Anna Nagurney, Min Yu, Amir H. Masoumi, Ladimer S. Nagurney. by
  • Nagurney, Anna [author.]
  • Yu, Min [author.]
  • Masoumi, Amir H [author.]
  • Nagurney, Ladimer S [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Optimization
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages