Refine your search

Your search returned 761 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
Supervisory Control of Concurrent Systems [electronic resource] : A Petri Net Structural Approach / by Marian V. Iordache, Panos J. Antsaklis. by Series: Systems and Control: Foundations & Applications
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ222 I57 2006.

Place hold Add to cart
42.
43.
Affective Computing and Intelligent Interaction / editores Ana Paiva, Rui Prada, Rosalind W. Picard. by Series: Lecture notes in computer science ; 4738
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Availability: Items available for loan: Biblioteca del Posgrado en Ingeniería Eléctrica (1)Call number: QA76.9.H85 I58 2007.

Place hold Add to cart
44.
Embedded Systems Specification and Design Languages [electronic resource] : Selected contributions from FDL’07 / edited by Eugenio Villar. by Series: Lecture Notes in Electrical Engineering ; 10
Edition: 1a ed.
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: TK7885.7 V55 2008.

Place hold Add to cart
45.
Analog-Baseband Architectures And Circuits For Multistandard And Lowvoltage Wireless Transceivers [electronic resource] / by Pui-In Mak, Seng-Pan U, Rui Paulo Martins. by Series: Analog Circuits and Signal Processing
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874 M34 2007.

Place hold Add to cart
46.
DNA Computing [electronic resource] : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers / edited by Claudio Ferretti, Giancarlo Mauri, Claudio Zandron. by Series: Lecture Notes in Computer Science ; 3384
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.887 F47 2005.

Place hold Add to cart
47.
Handbook of Geometric Computing [electronic resource] : Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics / by Eduardo Bayro Corrochano. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA448.D38 C67 2005.

Place hold Add to cart
48.
Ad Hoc Networking Towards Seamless Communications [electronic resource] / by Liljana Gavrilovska, Ramjee Prasad. by Series: Signals and Communication Technology
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5103.2 G38 2006.

Place hold Add to cart
49.
Recent Advances in Intrusion Detection [electronic resource] : 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings / edited by Christopher Kruegel, Richard Lippmann, Andrew Clark. by Series: Lecture Notes in Computer Science ; 4637
Edition: 1a ed.
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.9.A25 K78 2007.

Place hold Add to cart
50.
Pervasive Computing [electronic resource] : Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings / edited by Hans -W. Gellersen, Roy Want, Albrecht Schmidt. by Series: Lecture Notes in Computer Science ; 3468
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.59 G45 2005.

Place hold Add to cart
51.
Management of Multimedia Networks and Services [electronic resource] : 8th International Conference on Management of Multimedia Networks and Services, MMNS 2005, Barcelona, Spain, October 24-26, 2005. Proceedings / edited by Jordi Dalmau Royo, Go Hasegawa. by Series: Lecture Notes in Computer Science ; 3754
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.15 D35 2005.

Place hold Add to cart
52.
Recent Advances in Intrusion Detection [electronic resource] : 9th International Symposium, RAID 2006 Hamburg, Germany, September 20-22, 2006 Proceedings / edited by Diego Zamboni, Christopher Kruegel. by Series: Lecture Notes in Computer Science ; 4219
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.9.A25 Z36 2006.

Place hold Add to cart
53.
Networked Embedded Sensing and Control [electronic resource] : Workshop NESC’05: University of Notre Dame, USA October 2005 Proceedings / edited by Panos J. Antsaklis, Paulo Tabuada. by Series: Lecture Notes in Control and Information Science ; 331 | Lecture Notes in Control and Information Science ; 331
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: TK7895.A58 2006.

Place hold Add to cart
54.
Dynamic Analysis of Petri Net-Based Discrete Systems [electronic resource] / by Andrei Karatkevich. by Series: Lecture Notes in Control and Information Sciences ; 356
Edition: 1a ed.
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: TJ223.M53 2007.

Place hold Add to cart
55.
DNA Computing [electronic resource] : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers / edited by Chengde Mao, Takashi Yokomori. by Series: Lecture Notes in Computer Science ; 4287
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.887 M36 2006.

Place hold Add to cart
56.
57.
58.
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. by Series: Lecture Notes in Computer Science ; 4383
Edition: 1a ed.
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.V47 B56 2007.

Place hold Add to cart
59.
Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / edited by Karen Yorav. by Series: Lecture Notes in Computer Science ; 4899
Edition: 1a ed.
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.V47 y67 2008.

Place hold Add to cart
60.
Foundations and Applications of Sensor Management [electronic resource] / edited by Alfred O. Hero, David A. Castañón, Douglas Cochran, Keith Kastella. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5102.92 H47 2008.

Place hold Add to cart
Pages

Powered by Koha