Welcome to Central Library, SUST

Your search returned 633 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
241.
Information Processing in Computer-Assisted Interventions [electronic resource] : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings / edited by Dean Barratt, Stéphane Cotin, Gabor Fichtinger, Pierre Jannin, Nassir Navab. by
  • Barratt, Dean [editor.]
  • Cotin, Stéphane [editor.]
  • Fichtinger, Gabor [editor.]
  • Jannin, Pierre [editor.]
  • Navab, Nassir [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7915
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
242.
Automated Deduction – CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / edited by Maria Paola Bonacina. by
  • Bonacina, Maria Paola [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7898
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
243.
Recent Trends in Applied Artificial Intelligence [electronic resource] : 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings / edited by Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur. by
  • Ali, Moonis [editor.]
  • Bosse, Tibor [editor.]
  • Hindriks, Koen V [editor.]
  • Hoogendoorn, Mark [editor.]
  • Jonker, Catholijn M [editor.]
  • Treur, Jan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7906
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
244.
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by
  • Beyer, Dirk [editor.]
  • Boreale, Michele [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7892
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
245.
Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. by
  • Keller, Hubert B [editor.]
  • Plödereder, Erhard [editor.]
  • Dencker, Peter [editor.]
  • Klenk, Herbert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7896
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
246.
Business Process Models. Change Management [electronic resource] / by Christian Gerth. by
  • Gerth, Christian [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7849
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
247.
Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by
  • Rutkowski, Leszek [editor.]
  • Korytkowski, Marcin [editor.]
  • Scherer, Rafał [editor.]
  • Tadeusiewicz, Ryszard [editor.]
  • Zadeh, Lotfi A [editor.]
  • Zurada, Jacek M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7895
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
248.
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
  • Johnsen, Einar Broch [editor.]
  • Petre, Luigia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
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
249.
Post-Quantum Cryptography [electronic resource] : 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings / edited by Philippe Gaborit. by
  • Gaborit, Philippe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7932
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
250.
Natural and Artificial Computation in Engineering and Medical Applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix de la Paz López, Fco. Javier Toledo Moreo. by
  • Ferrández Vicente, José Manuel [editor.]
  • Álvarez Sánchez, José Ramón [editor.]
  • Paz López, Félix de la [editor.]
  • Toledo Moreo, Fco. Javier [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7931
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
251.
Pattern Recognition and Image Analysis [electronic resource] : 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings / edited by João M. Sanches, Luisa Micó, Jaime S. Cardoso. by
  • Sanches, João M [editor.]
  • Micó, Luisa [editor.]
  • Cardoso, Jaime S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7887
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
252.
Network and System Security [electronic resource] : 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings / edited by Javier Lopez, Xinyi Huang, Ravi Sandhu. by
  • Lopez, Javier [editor.]
  • Huang, Xinyi [editor.]
  • Sandhu, Ravi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7873
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
253.
Language Processing and Intelligent Information Systems [electronic resource] : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings / edited by Mieczysław A. Kłopotek, Jacek Koronacki, Małgorzata Marciniak, Agnieszka Mykowiecka, Sławomir T. Wierzchoń. by
  • Kłopotek, Mieczysław A [editor.]
  • Koronacki, Jacek [editor.]
  • Marciniak, Małgorzata [editor.]
  • Mykowiecka, Agnieszka [editor.]
  • Wierzchoń, Sławomir T [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7912
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
254.
Natural and Artificial Models in Computation and Biology [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I / edited by José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix de la Paz López, Fco. Javier Toledo Moreo. by
  • Ferrández Vicente, José Manuel [editor.]
  • Álvarez Sánchez, José Ramón [editor.]
  • Paz López, Félix de la [editor.]
  • Toledo Moreo, Fco. Javier [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7930
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
255.
Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by
  • Rutkowski, Leszek [editor.]
  • Korytkowski, Marcin [editor.]
  • Scherer, Rafał [editor.]
  • Tadeusiewicz, Ryszard [editor.]
  • Zadeh, Lotfi A [editor.]
  • Zurada, Jacek M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7894
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
256.
Benchmarking Peer-to-Peer Systems [electronic resource] : Understanding Quality of Service in Large-Scale Distributed Systems / edited by Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe. by
  • Effelsberg, Wolfgang [editor.]
  • Steinmetz, Ralf [editor.]
  • Strufe, Thorsten [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7847
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
257.
Transactions on Pattern Languages of Programming III [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford. by
  • Noble, James [editor.]
  • Johnson, Ralph [editor.]
  • Zdun, Uwe [editor.]
  • Wallingford, Eugene [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7840
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
258.
Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I / edited by Ignacio Rojas, Gonzalo Joya, Joan Gabestany. by
  • Rojas, Ignacio [editor.]
  • Joya, Gonzalo [editor.]
  • Gabestany, Joan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7902
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
259.
Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Joan Cabestany. by
  • Rojas, Ignacio [editor.]
  • Joya, Gonzalo [editor.]
  • Cabestany, Joan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7903
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
260.
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
Pages