Refine your search

Your search returned 106 results.

|
1.
Protocol Engineering [Recurso electrónico] / by Hartmut König.

by König, Hartmut.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

2.
Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahão.

by Å{uC119}zak, Dominik | Kim, Tai-hoon | Kiumi, Akingbehin | Jiang, Tao | Verner, June | Abrahão, Silvia | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available

3.
Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett.

by Kim, Tai-hoon | Fang, Wai-Chi | Lee, Changhoon | Arnett, Kirk P | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available

4.
Software and Network Engineering [Recurso electrónico] / edited by Roger Lee.

by Lee, Roger.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

5.
Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Haeng-Kon Kim, Muhammad Khurram Khan, Akingbehin Kiumi, Wai-chi Fang, Dominik Å{uC119}zak.

by Kim, Tai-hoon | Kim, Haeng-Kon | Khan, Muhammad Khurram | Kiumi, Akingbehin | Fang, Wai-chi | Å{uC119}zak, Dominik | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available

6.
Fundamentals of Software Engineering [Recurso electrónico] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.

by Arbab, Farhad | Sirjani, Marjan.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

7.
Engineering Secure Software and Systems [Recurso electrónico] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings / edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato.

by Barthe, Gilles | Livshits, Benjamin | Scandariato, Riccardo.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

8.
Software Engineering Education in the Modern Age [Recurso electrónico] / Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures edite

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

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

9.
Formal Methods for Model-Driven Engineering [Recurso electrónico] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio.

by Bernardo, Marco | Cortellessa, Vittorio | Pierantonio, Alfonso.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

10.
Advanced Software Engineering: Expanding the Frontiers of Software Technology [Recurso electrónico] : IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile / edited by Sergio F. Ochoa, Gruia-Catalin Roman.

by Ochoa, Sergio F | Roman, Gruia-Catalin | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available

11.
Model-Driven Development of Advanced User Interfaces [Recurso electrónico] / edited by Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke.

by Hussmann, Heinrich | Meixner, Gerrit | Zuehlke, Detlef | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available

12.
Open Source Development, Adoption and Innovation [Recurso electrónico] : IFIP Working Group 2.13 on Open Source Software, June 11â€{u1D2C} 2007, Limerick, Ireland / edited by Joseph Feller, Brian Fitzgerald, Walt Scacchi, Alberto Sillitti.

by Feller, Joseph | Fitzgerald, Brian | Scacchi, Walt | Sillitti, Alberto | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2007Online access: Texto completo Availability: No items available

13.
Software Architecture [Recurso electrónico] : First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings / edited by Flavio Oquendo.

by Oquendo, Flavio | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

14.
Software Process Improvement [Recurso electrónico] : 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Juan Cuadrago Gallego, Ricardo Rejas Muslera, Kari Smolander, Richard Messnarz.

by Oâ€{u3BEE}nor, Rory V | Baddoo, Nathan | Cuadrago Gallego, Juan | Rejas Muslera, Ricardo | Smolander, Kari | Messnarz, Richard | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available

15.
Open Source Ecosystems: Diverse Communities Interacting [Recurso electrónico] : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, SkÃœvde, Sweden, June 3-6, 2009. Proceedings / edited by Cornelia Boldyreff, Kevin Crowston, BjÃœrn Lundell, Anthony I. Wasserman.

by Boldyreff, Cornelia | Crowston, Kevin | Lundell, BjÃœrn | Wasserman, Anthony I | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available

16.
Coordination Models and Languages [Recurso electrónico] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / edited by Marjan Sirjani.

by Sirjani, Marjan.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

17.
Formal Techniques for Networked and Distributed Systems [Recurso electrónico] : FORTE 2001 IFIP TC6/WG6.1 â€{u0CB1}st International Conference on Formal Techniques for Networked and Distributed Systems August 28â€{u3C6C} 2001, Cheju Island, Korea / edited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee.

by Kim, Myungchul | Chin, Byoungmoon | Kang, Sungwon | Lee, Danhyung | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Kluwer Academic Publishers, 2002Online access: Texto completo Availability: No items available

18.
High Performance Computing for Computational Science - VECPAR 2004 [Recurso electrónico] / 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers edited by Michel Daydé, Jack Dongarra, Vincente He

by Daydé, Michel | Dongarra, Jack | Hernández, Vincente | Palma, José M.L.M | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

19.
New Developments in Distributed Applications and Interoperable Systems [Recurso electrónico] : IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17â€Ṭ 2001, Kraków, Poland / edited by Krzysztof ZieliÅ{u3AE9}, Kurt Geihs, Aleksander Laurentowski.

by ZieliÅ{u3AE9}, Krzysztof | Geihs, Kurt | Laurentowski, Aleksander | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Kluwer Academic Publishers, 2002Online access: Texto completo Availability: No items available

20.
VLSI-SoC: Advanced Topics on Systems on a Chip [Recurso electrónico] : A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA / edited by Paul Hasler, Vincent Mooney, Ricardo Reis.

by Hasler, Paul | Mooney, Vincent | Reis, Ricardo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer-Verlag US, 2009Online access: Texto completo Availability: No items available

Powered by Koha