Refine your search

Your search returned 737 results.

Sort
Results
41.
Real-Time Object Uniform Design Methodology with UML [electronic resource] / edited by Bui Minh Duc. by
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.54 D83 2007.

42.
43.
44.
45.
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene. by Series: Lecture Notes in Computer Science ; 4019
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 J64 2006.

46.
47.
48.
49.
50.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings / edited by Ajoy K. Datta, Maria Gradinariu. by Series: Lecture Notes in Computer Science ; 4280
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.S54 D38 2006.

51.
52.
From Specification to Embedded Systems Application [electronic resource] / edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by Series: IFIP On-Line Library in Computer Science ; 184
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : International Federation for Information Processing, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.A65 R48 2005.

53.
54.
55.
Wireless Sensor Networks [electronic resource] : Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings / edited by Kay Römer, Holger Karl, Friedemann Mattern. by Series: Lecture Notes in Computer Science ; 3868
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: TK7872.D48 R66 2006.

56.
57.
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 Series: Lecture Notes in Computer Science ; 4228
Edition: 1a ed.
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.6 L54 2006.

58.
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings / edited by Thomas Kunz, S. S. Ravi. by Series: Lecture Notes in Computer Science ; 4104
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: TK5105.77 K86 2006.

59.
Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé. by Series: Lecture Notes in Computer Science ; 4634
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.6 N54 2007.

60.
System Level Design of Reconfigurable Systems-on-Chip [electronic resource] / edited by Nikolaos S. Voros, Konstantinos Masselos. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 V67 2005.

Pages

Powered by Koha