Your search returned 212 results.

Sort
Results
81.
System Analysis and Modeling: Language Profiles [electronic resource] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / edited by Reinhard Gotzhein, Rick Reed. by Series: Lecture Notes in Computer Science ; 4320
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5101.A1 G68 2006.

82.
Network Performance Analysis [electronic resource] : Using the J Programming Language / by Alan Holt. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 H68 2008.

83.
Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers / edited by Jean-Michel Bruel. by Series: Lecture Notes in Computer Science ; 3844
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 B78 2006.

84.
85.
Expert Spring MVC and Web Flow [electronic resource] / by Seth Ladd, Darren Davison, Steven Devijver, Colin Yates. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Seth Ladd, Darren Davison, Steven Devijver, and Colin Yates, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.J38 L33 2006.

86.
Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjørner. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 B56 2006.

87.
Reliable Software Technologies – Ada-Europe 2008 [electronic resource] : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / edited by Fabrice Kordon, Tullio Vardanega. by Series: Lecture Notes in Computer Science ; 5026
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.R44 K67 2008.

88.
Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna. by Series: Lecture Notes in Computer Science ; 4157
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F38 B88 2006.

89.
Middleware 2008 [electronic resource] : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings / edited by Valérie Issarny, Richard Schantz. by Series: Lecture Notes in Computer Science ; 5346
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.M54 I87 2008.

90.
91.
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. 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: QA76.6 M55 2006.

92.
Advanced Memory Optimization Techniques for Low-Power Embedded Processors [electronic resource] / by Manish Verma, Peter Marwedel. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.M4 V47 2007.

93.
94.
95.
Transactions on Aspect-Oriented Software Development III [electronic resource] / edited by Awais Rashid, Mehmet Aksit. by Series: Lecture Notes in Computer Science ; 4620
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 R37 2007.

96.
Pro Apache Beehive [electronic resource] / by Kunal Mittal, Srinivas Kanchanavally. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Kunal Mittal and Srinivas Kanchanavally, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A63 M58 2005.

97.
Automatic Program Development [electronic resource] : A Tribute to Robert Paige / edited by Olivier Danvy, Harry Mairson, Fritz Henglein, Alberto Pettorossi. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA402.5 D36 2008.

98.
Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design / by Dines Bjøner. by Series: Texts in Theoretical Computer Science An EATC Series
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 B56 2006.

99.
100.
Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers / edited by Jörg P. Müller, Franco Zambonelli. by Series: Lecture Notes in Computer Science ; 3950
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 M85 2006.

Pages

Powered by Koha