Your search returned 401 results.

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

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

23.
Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers / edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer.

by Anderson, James H | Prencipe, Giuseppe | Wattenhofer, Roger | 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.D5 A53 2006 (1).

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

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

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

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

28.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet.

by Barthe, Gilles | Grégoire, Benjamin | Huisman, Marieke | Lanet, Jean-Louis | 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: TK7895.S62 B37 2006 (1).

29.
Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski.

by Lirkov, Ivan | Margenov, Svetozar | Waśniewski, Jerzy | 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: Q183.9 L57 2008 (1).

30.
Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings / edited by David E. Lightfoot, Clemens Szyperski.

by Lightfoot, David E | Szyperski, Clemens | SpringerLink (Online service).

Edition: 1a ed.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.6 L54 2006 (1).

31.
Digital Watermarking [electronic resource] : Third International Workshop, IWDW 2004, Seoul, South Korea, October 30 - November 1, 2004, Revised Selected Papers / edited by Ingemar J. Cox, Ton Kalker, Heung-Kyu Lee.

by Cox, Ingemar J | Kalker, Ton | Lee, Heung-Kyu | SpringerLink (Online service).

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

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

33.
Information Networking. Advances in Data Communications and Wireless Networks [electronic resource] : International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers / edited by Ilyoung Chong, Kenji Kawahara.

by Chong, Ilyoung | Kawahara, Kenji | 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: TK5105.5 C66 2006 (1).

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

35.
Financial Cryptography and Data Security [electronic resource] : 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers / edited by Andrew S. Patrick, Moti Yung.

by Patrick, Andrew S | Yung, Moti | 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: HG1710 P38 2005 (1).

36.
Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / edited by Teruo Higashino.

by Higashino, Teruo | 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.9.D5 H54 2005 (1).

37.
Secure Data Management [electronic resource] : Second VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005. Proceedings / edited by Willem Jonker, Milan Petković.

by Jonker, Willem | Petković, Milan | 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.9.D314 J66 2005 (1).

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

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

40.
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