Your search returned 134 results.

Sort
Results
1.
Compiling Esterel [electronic resource] / by Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C65 P67 2007.

2.
The Safety of Systems [electronic resource] : Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 / edited by Felix Redmill, Tom Anderson. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T55.A1 S24 2007.

3.
Pro Service-Oriented Smart Clients with .NET 2.0 [electronic resource] / by Sayed Y. Hashimi, Scott J. Steffan. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Sayed Y. Hashimi and Scott J. Steffan, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 H37 2005.

4.
A Programmer’s Introduction to C# 2.0 [electronic resource] / edited by Eric Gunnerson, Nick Wienholt. by
Edition: Third Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Eric Gunnerson and Nick Wienholt, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.C153 G86 2005.

5.
Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach / by Marcus S. Fisher. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 F57 2007.

6.
Constituents of Modern System-safety Thinking [electronic resource] : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 / edited by Felix Redmill, Tom Anderson. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T55.A1 R43 2005.

7.
Building Online Communities with Drupal, phpBB, and WordPress [electronic resource] / by Robert T. Douglass, Mike Little, Jared W. Smith. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Robert T. Douglass, Mike Little, and Jared W. Smith, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.P47 D68 2006.

8.
New Horizons of Parallel and Distributed Computing [electronic resource] / edited by Minyi Guo, Laurence Tianruo Yang. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 .N49 2005.

9.
Software Process Modeling [electronic resource] / edited by Silvia T. Acuña, Natalia Juristo. by Series: International Series in Software Engineering ; 10
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 S6636 2005.

10.
Developing Ambient Intelligence [electronic resource] : Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07) / by Antonio Maña, Carsten Rudolph. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Paris : Springer-Verlag France, Paris, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A48 M36 2008.

11.
UML for SOC Design [electronic resource] / edited by Grant Martin, Wolfgang Müller. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 U45 2005.

12.
Parsing Techniques [electronic resource] : A Practical Guide / by Dick Grune, Ceriel J. H. Jacobs. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: P98.5.P38 G78 2005.

13.
E-Business @ Print [electronic resource] : Internet-Based Services and Processes / by Anne König. by Series: X.media.publishing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.32 .K66 2005.

14.
Pro Apache Ant [electronic resource] / by Matthew Moodie. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Matthew Moodie, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A63 M66 2006.

15.
AdvancED ActionScript Components [electronic resource] : Mastering the Flash Component Architecture / by Antonio Donatis. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Antonio De Donatis, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TR897.7 D66 2006.

16.
Automatic Quantum Computer Programming [electronic resource] : A Genetic Programming Approach / edited by Lee Spector. by Series: Genetic Programming ; 7
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.889 S64 2007.

17.
AutoCAD 2006 VBA [electronic resource] : A Programmer’s Reference / by Joe Sutphin. by
Edition: 2.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Joe Sutphin, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T385 S85 2005.

18.
Interoperability of Enterprise Software and Applications [electronic resource] / edited by Dimitri Konstantas, Jean-Paul Bourrières, Michel Léonard, Nacer Boudjlida. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 I68 2010.

19.
Requirements Engineering [electronic resource] / by Elizabeth Hull, Kenneth Jackson, Jeremy Dick. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Elizabeth Hull, Ken Jackson, Jeremy Dick, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA168 H85 2005.

20.
Innovation in Manufacturing Networks [electronic resource] : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008 / edited by Américo Azevedo. by Series: IFIP – The International Federation for Information Processing ; 266
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : International Federation for Information Processing, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TH438 I66 2005.

Pages

Powered by Koha