Refine your search

Your search returned 748 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
281.
End-User Development [electronic resource] : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings / edited by Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles. by
  • Dittrich, Yvonne [editor.]
  • Burnett, Margaret [editor.]
  • Mørch, Anders [editor.]
  • Redmiles, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7897
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
282.
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
  • Sharygina, Natasha [editor.]
  • Veith, Helmut [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
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
283.
Measuring SIP Proxy Server Performance [electronic resource] / by Sureshkumar V. Subramanian, Rudra Dutta. by
  • Subramanian, Sureshkumar V [author.]
  • Dutta, Rudra [author.]
  • SpringerLink (Online service)
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
284.
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Du Bois, Phil Trinder. by
  • Bois, André Rauber Du [editor.]
  • Trinder, Phil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8129
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
285.
Multicore Systems On-Chip: Practical Software/Hardware Design [electronic resource] : 2nd Edition / by Abderazek Ben Abdallah. by
  • Ben Abdallah, Abderazek [author.]
  • SpringerLink (Online service)
Series: Atlantis Ambient and Pervasive Intelligence ; 7
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
Online access:
Availability: No items available.

Add to cart
286.
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
  • Brat, Guillaume [editor.]
  • Rungta, Neha [editor.]
  • Venet, Arnaud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
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
287.
Information Systems Development [electronic resource] : Reflections, Challenges and New Directions / edited by Rob Pooley, Jennifer Coady, Christoph Schneider, Henry Linger, Chris Barry, Michael Lang. by
  • Pooley, Rob [editor.]
  • Coady, Jennifer [editor.]
  • Schneider, Christoph [editor.]
  • Linger, Henry [editor.]
  • Barry, Chris [editor.]
  • Lang, Michael [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
288.
MATLAB® and Design Recipes for Earth Sciences [electronic resource] : How to Collect, Process and Present Geoscientific Information / by Martin Trauth, Elisabeth Sillmann. by
  • Trauth, Martin [author.]
  • Sillmann, Elisabeth [author.]
  • SpringerLink (Online service)
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
289.
Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky. by
  • Bernardo, Marco [editor.]
  • Vink, Erik de [editor.]
  • Pierro, Alessandra Di [editor.]
  • Wiklicky, Herbert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7938
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
290.
Enterprise, Business-Process and Information Systems Modeling [electronic resource] : 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings / edited by Selmin Nurcan, Henderik A. Proper, Pnina Soffer, John Krogstie, Rainer Schmidt, Terry Halpin, Ilia Bider. by
  • Nurcan, Selmin [editor.]
  • Proper, Henderik A [editor.]
  • Soffer, Pnina [editor.]
  • Krogstie, John [editor.]
  • Schmidt, Rainer [editor.]
  • Halpin, Terry [editor.]
  • Bider, Ilia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 147
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
291.
Computer Performance Optimization [electronic resource] : Systems - Applications - Processes / by Wolfgang W. Osterhage. by
  • Osterhage, Wolfgang W [author.]
  • SpringerLink (Online service)
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
292.
Beginning Android C++ game development / Bruce Sutherland. by
  • Sutherland, Bruce
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Appress. c2015
Online access:
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.265 SUB.

Place hold Add to cart
293.
CONCUR 2013 – Concurrency Theory [electronic resource] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / edited by Pedro R. D’Argenio, Hernán Melgratti. by
  • D’Argenio, Pedro R [editor.]
  • Melgratti, Hernán [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8052
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
294.
Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday / Gregor Engels ... [et al.] (eds.). by
  • Lewerentz Claus
  • Scafer, Wilhelm
  • Schurr, Andy
  • Westfechtel, Bernhard
Series:
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New york : Springer, 2010
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1028 GRA, ...

Place hold Add to cart
295.
Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen. by
  • Wu, Chenggang [editor.]
  • Cohen, Albert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8299
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
296.
Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. by
  • Machado, Ricardo J [editor.]
  • Maciel, Rita Suzana P [editor.]
  • Rubin, Julia [editor.]
  • Botterweck, Goetz [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7706
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
297.
Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II / edited by Rocco Aversa, Joanna Kołodziej, Jun Zhang, Flora Amato, Giancarlo Fortino. by
  • Aversa, Rocco [editor.]
  • Kołodziej, Joanna [editor.]
  • Zhang, Jun [editor.]
  • Amato, Flora [editor.]
  • Fortino, Giancarlo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8286
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
298.
Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I / edited by Joanna Kołodziej, Beniamino Di Martino, Domenico Talia, Kaiqi Xiong. by
  • Kołodziej, Joanna [editor.]
  • Martino, Beniamino Di [editor.]
  • Talia, Domenico [editor.]
  • Xiong, Kaiqi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8285
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
299.
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen. by
  • Pacino, Dario [editor.]
  • Voß, Stefan [editor.]
  • Jensen, Rune Møller [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8197
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
300.
Intelligent Technologies and Engineering Systems [electronic resource] / edited by Jengnan Juang, Yi-Cheng Huang. by
  • Juang, Jengnan [editor.]
  • Huang, Yi-Cheng [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 234
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