Welcome to Central Library, SUST

Your search returned 633 results.

Not what you expected? Check for suggestions
Sort
Results
121.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by
  • Piterman, Nir [editor.]
  • Smolka, Scott A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7795
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.

122.
Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / edited by Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil. by
  • Csuhaj-Varjú, Erzsébet [editor.]
  • Gheorghe, Marian [editor.]
  • Rozenberg, Grzegorz [editor.]
  • Salomaa, Arto [editor.]
  • Vaszil, György [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7762
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.

123.
System Analysis and Modeling: Theory and Practice [electronic resource] : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers / edited by Øystein Haugen, Rick Reed, Reinhard Gotzhein. by
  • Haugen, Øystein [editor.]
  • Reed, Rick [editor.]
  • Gotzhein, Reinhard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7744
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.

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

125.
Emerging Trends in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 29 – June 1, 2012, Revised Selected Papers / edited by Takashi Washio, Jun Luo. by
  • Washio, Takashi [editor.]
  • Luo, Jun [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7769
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.

126.
Computer Performance Engineering [electronic resource] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / edited by Mirco Tribastone, Stephen Gilmore. by
  • Tribastone, Mirco [editor.]
  • Gilmore, Stephen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7587
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.

127.
Data Traffic Monitoring and Analysis [electronic resource] : From Measurement, Classification, and Anomaly Detection to Quality of Experience / edited by Ernst Biersack, Christian Callegari, Maja Matijasevic. by
  • Biersack, Ernst [editor.]
  • Callegari, Christian [editor.]
  • Matijasevic, Maja [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7754
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.

128.
Applied Parallel and Scientific Computing [electronic resource] : 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers / edited by Pekka Manninen, Per Öster. by
  • Manninen, Pekka [editor.]
  • Öster, Per [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7782
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.

129.
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings / edited by Philip Brisk, José Gabriel de Figueiredo Coutinho, Pedro C. Diniz. by
  • Brisk, Philip [editor.]
  • Figueiredo Coutinho, José Gabriel de [editor.]
  • Diniz, Pedro C [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7806
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.

130.
Transactions on Computational Collective Intelligence IX [electronic resource] / edited by Ngoc Thanh Nguyen. by
  • Nguyen, Ngoc Thanh [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7770
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.

131.
Information and Communication Technology [electronic resource] : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings / edited by Khabib Mustofa, Erich J. Neuhold, A Min Tjoa, Edgar Weippl, Ilsun You. by
  • Mustofa, Khabib [editor.]
  • Neuhold, Erich J [editor.]
  • Tjoa, A Min [editor.]
  • Weippl, Edgar [editor.]
  • You, Ilsun [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7804
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.

132.
Graphics Recognition. New Trends and Challenges [electronic resource] : 9th International Workshop, GREC 2011, Seoul, Korea, September 15-16, 2011, Revised Selected Papers / edited by Young-Bin Kwon, Jean-Marc Ogier. by
  • Kwon, Young-Bin [editor.]
  • Ogier, Jean-Marc [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7423
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.

133.
Principles of Security and Trust [electronic resource] : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by David Basin, John C. Mitchell. by
  • Basin, David [editor.]
  • Mitchell, John C [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7796
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.

134.
Information Theory, Combinatorics, and Search Theory [electronic resource] : In Memory of Rudolf Ahlswede / edited by Harout Aydinian, Ferdinando Cicalese, Christian Deppe. by
  • Aydinian, Harout [editor.]
  • Cicalese, Ferdinando [editor.]
  • Deppe, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7777
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.

135.
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad. by
  • Clarke, Dave [editor.]
  • Noble, James [editor.]
  • Wrigstad, Tobias [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7850
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.

136.
Euro-Par 2012: Parallel Processing Workshops [electronic resource] : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers / edited by Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Mario Cannataro, Alexandru Costan, Marco Danelutto, Frédéric Desprez, Bettina Krammer, Julio Sahuquillo, Stephen L. Scott, Josef Weidendorfer. by
  • Caragiannis, Ioannis [editor.]
  • Alexander, Michael [editor.]
  • Badia, Rosa Maria [editor.]
  • Cannataro, Mario [editor.]
  • Costan, Alexandru [editor.]
  • Danelutto, Marco [editor.]
  • Desprez, Frédéric [editor.]
  • Krammer, Bettina [editor.]
  • Sahuquillo, Julio [editor.]
  • Scott, Stephen L [editor.]
  • Weidendorfer, Josef [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7640
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.

137.
Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Penousal Machado, James McDermott, Adrian Carballal. by
  • Machado, Penousal [editor.]
  • McDermott, James [editor.]
  • Carballal, Adrian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7834
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.

138.
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [electronic resource] : Third International Workshop, STACOM 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young. by
  • Camara, Oscar [editor.]
  • Mansi, Tommaso [editor.]
  • Pop, Mihaela [editor.]
  • Rhode, Kawal [editor.]
  • Sermesant, Maxime [editor.]
  • Young, Alistair [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7746
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.

139.
Transactions on Aspect-Oriented Software Development X [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter. by
  • Leavens, Gary T [editor.]
  • Chiba, Shigeru [editor.]
  • Tanter, Éric [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7800
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.

140.
Advances in Information Retrieval [electronic resource] : 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings / edited by Pavel Serdyukov, Pavel Braslavski, Sergei O. Kuznetsov, Jaap Kamps, Stefan Rüger, Eugene Agichtein, Ilya Segalovich, Emine Yilmaz. by
  • Serdyukov, Pavel [editor.]
  • Braslavski, Pavel [editor.]
  • Kuznetsov, Sergei O [editor.]
  • Kamps, Jaap [editor.]
  • Rüger, Stefan [editor.]
  • Agichtein, Eugene [editor.]
  • Segalovich, Ilya [editor.]
  • Yilmaz, Emine [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7814
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