Refine your search

Your search returned 207 results.

1.
Compiling Esterel [electronic resource] / by Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry.

by Potop-Butucaru, Dumitru | Edwards, Stephen A | Berry, Gérard | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Boston, MA : Springer, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.C65 P67 2007 (1).

2.
A Programmer’s Introduction to C# 2.0 [electronic resource] / edited by Eric Gunnerson, Nick Wienholt.

by Gunnerson, Eric | Wienholt, Nick | SpringerLink (Online service).

Edition: Third Edition.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berkeley, CA : Eric Gunnerson and Nick Wienholt, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.73.C153 G86 2005 (1).

3.
Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach / by Marcus S. Fisher.

by Fisher, Marcus S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.V47 F57 2007 (1).

4.
Applied Parallel Computing. State of the Art in Scientific Computing [electronic resource] : 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers / edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski.

by Dongarra, Jack | Madsen, Kaj | Waśniewski, Jerzy | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.58 D66 2006 (1).

5.
Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics [electronic resource] / edited by Tarek Sobh, Khaled Elleithy, Ausif Mahmood, Mohammad A. Karim.

by Sobh, Tarek | Elleithy, Khaled | Mahmood, Ausif | Karim, Mohammad A | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer Science+Business Media B.V., 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7885.A1 S63 2008 (1).

6.
Building Online Communities with Drupal, phpBB, and WordPress [electronic resource] / by Robert T. Douglass, Mike Little, Jared W. Smith.

by Douglass, Robert T | Little, Mike | Smith, Jared W | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berkeley, CA : Robert T. Douglass, Mike Little, and Jared W. Smith, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.73.P47 D68 2006 (1).

7.
Interconnect-Centric Design for Advanced SoC and NoC [electronic resource] / edited by Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, Axel Jantsch.

by Nurmi, Jari | Tenhunen, Hannu | Isoaho, Jouni | Jantsch, Axel | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer Science + Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7874.53 N87 2005 (1).

8.
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III / edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo.

by Gavrilova, Marina | Gervasi, Osvaldo | Kumar, Vipin | Tan, C. J. Kenneth | Taniar, David | Laganá, Antonio | Mun, Youngsong | Choo, Hyunseung | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 G38 2006 (1).

9.
New Horizons of Parallel and Distributed Computing [electronic resource] / edited by Minyi Guo, Laurence Tianruo Yang.

by Guo, Minyi | Yang, Laurence Tianruo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.58 .N49 2005 (1).

10.
Real-Time Object Uniform Design Methodology with UML [electronic resource] / edited by Bui Minh Duc.

by Duc, Bui Minh | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.54 D83 2007 (1).

11.
Software Process Modeling [electronic resource] / edited by Silvia T. Acuña, Natalia Juristo.

by Acuña, Silvia T | Juristo, Natalia | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.D47 S6636 2005 (1).

12.
Euro-Par 2006: Parallel Processing [electronic resource] : Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers / edited by Wolfgang Lehner, Norbert Meyer, Achim Streit, Craig Stewart.

by Lehner, Wolfgang | Meyer, Norbert | Streit, Achim | Stewart, Craig | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A73 L44 2007 (1).

13.
Developing Ambient Intelligence [electronic resource] : Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07) / by Antonio Maña, Carsten Rudolph.

by Maña, Antonio | Rudolph, Carsten | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Paris : Springer-Verlag France, Paris, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A48 M36 2008 (1).

14.
Software Engineering Education in the Modern Age [electronic resource] : Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures / edited by Paola Inverardi, Mehdi Jazayeri.

by Inverardi, Paola | Jazayeri, Mehdi | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.758 I58 2006 (1).

15.
From Specification to Embedded Systems Application [electronic resource] / edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig.

by Rettberg, Achim | Zanella, Mauro C | Rammig, Franz J | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.A65 R48 2005 (1).

16.
System Level Design of Reconfigurable Systems-on-Chip [electronic resource] / edited by Nikolaos S. Voros, Konstantinos Masselos.

by Voros, Nikolaos S | Masselos, Konstantinos | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7895.E42 V67 2005 (1).

17.
Parsing Techniques [electronic resource] : A Practical Guide / by Dick Grune, Ceriel J. H. Jacobs.

by Grune, Dick | Jacobs, Ceriel J. H | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: New York, NY : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: P98.5.P38 G78 2005 (1).

18.
Systems and Virtualization Management. Standards and New Technologies [electronic resource] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold.

by Boursas, Latifa | Carlson, Mark | Hommel, Wolfgang | Sibilla, Michelle | Wold, Kes | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.V5 B68 2008 (1).

19.
Ingredients for Successful System Level Design Methodology [electronic resource] / by Hiren D. Patel, Sandeep K. Shukla.

by Patel, Hiren D | Shukla, Sandeep K | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.S88 P38 2008 (1).

20.
Software Architecture [electronic resource] : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings / edited by Ron Morrison, Dharini Balasubramaniam, Katrina Falkner.

by Morrison, Ron | Balasubramaniam, Dharini | Falkner, Katrina | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.751 M67 2008 (1).

Powered by Koha