Your search returned 343 results.

1.
Deploying .NET Applications [electronic resource] : Learning MSBuild and ClickOnce / by Sayed Y. Hashimi, Sayed Ibrahim Hashimi.

by Hashimi, Sayed Y | Hashimi, Sayed Ibrahim | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berkeley, CA : Sayed Y. Hashimi, Sayed Ibrahim Hashimi, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.8885.A26 H37 2006 (1).

2.
ECOOP 2007 – Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings / edited by Erik Ernst.

by Ernst, Erik | SpringerLink (Online service).

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.64 E76 2007 (1).

3.
Digital VLSI Design with Verilog [electronic resource] : A Textbook from Silicon Valley Technical Institute / by John Williams.

by Williams, John | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : John Michael Williams, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7874.75 W55 2008 (1).

4.
Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings / edited by Pascal Hentenryck.

by Hentenryck, Pascal | 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.64 H46 2006 (1).

5.
Object-Oriented Technology. ECOOP 2006 Workshop Reader [electronic resource] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / edited by Mario Südholt, Charles Consel.

by Südholt, Mario | Consel, Charles | SpringerLink (Online service).

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.O35 S83 2007 (1).

6.
Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca.

by Börger, Egon | Butler, Michael | Bowen, Jonathan P | Boca, Paul | 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: QA267 B67 2008 (1).

7.
Object-Oriented Technology. ECOOP 2007 Workshop Reader [electronic resource] : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports / edited by Michael Cebulla.

by Cebulla, Michael | 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.9.O35 C43 2008 (1).

8.
Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / edited by Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer.

by Wirsing, Martin | Banâtre, Jean-Pierre | Hölzl, Matthias | Rauschmayer, Axel | 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.758 W57 2008 (1).

9.
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan.

by Cha, Sungdeok (Steve) | Choi, Jin-Young | Kim, Moonzoo | Lee, Insup | Viswanathan, Mahesh | 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.A96 C3 2008 (1).

10.
Middleware 2007 [electronic resource] : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings / edited by Renato Cerqueira, Roy H. Campbell.

by Cerqueira, Renato | Campbell, Roy H | SpringerLink (Online service).

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.76.M54 C47 2007 (1).

11.
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings / edited by Asaf Adi, Suzette Stoutenburg, Said Tabet.

by Adi, Asaf | Stoutenburg, Suzette | Tabet, Said | SpringerLink (Online service).

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

12.
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka Niemelä.

by Dahl, Véronica | Niemelä, Ilkka | 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.63 D34 2007 (1).

13.
Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.

by Bernardo, Marco | Degano, Pierpaolo | Zavattaro, Gianluigi | 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.9.F67 B47637 2008 (1).

14.
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings / edited by Kamal Lodaya, Meena Mahajan.

by Lodaya, Kamal | Mahajan, Meena | SpringerLink (Online service).

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

15.
Coordination, Organizations, Institutions, and Norms in Agent Systems III [electronic resource] : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers / edited by Jaime Simão Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega.

by Sichman, Jaime Simão | Padget, Julian | Ossowski, Sascha | Noriega, Pablo | 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.76.I58 S53 2008 (1).

16.
Implementation and Application of Functional Languages [electronic resource] : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers / edited by Olaf Chitil, Zoltán Horváth, Viktória Zsók.

by Chitil, Olaf | Horváth, Zoltán | Zsók, Viktória | 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.62 C58 2008 (1).

17.
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).

18.
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).

19.
Practical Rails Social Networking Sites [electronic resource] / by Alan Bradburne.

by Bradburne, Alan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berkeley, CA : Alan Bradburne, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.888 B73 2007 (1).

20.
Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings / edited by Luca Aceto, Anna Ingólfsdóttir.

by Aceto, Luca | Ingólfsdóttir, Anna | SpringerLink (Online service).

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

Powered by Koha