Your search returned 3731 results.

Sort
Results
1801.
Einstein’s Enigma or Black Holes in My Bubble Bath [electronic resource] / by C. V. Vishveshwara. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : C. V. Vishveshwara, Bangalore, India, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QB843.B55 V57 2006.

1802.
Algorithmic Aspects in Information and Management [electronic resource] : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings / edited by Rudolf Fleischer, Jinhui Xu. by Series: Lecture Notes in Computer Science ; 5034
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.9.A43 F54 2008.

1803.
Innovative Internet Community Systems [electronic resource] : 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers / edited by Alain Bui, Marc Bui, Thomas Böhme, Herwig Unger. by Series: Lecture Notes in Computer Science ; 3908
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 B85 2006.

1804.
Event-Triggered and Time-Triggered Control Paradigms [electronic resource] / by Roman Obermaisser. by Series: Real-Time Systems Series, Event-Triggered and Time-Triggered Control Paradigms ; 22
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer e-books
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ217.7 O24 2005.

1805.
Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings / edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda. by Series: Lecture Notes in Computer Science ; 4045
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: QA90 B37 2006.

1806.
Task Models and Diagrams for User Interface Design [electronic resource] : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings / edited by Marco Winckler, Hilary Johnson, Philippe Palanque. by Series: Lecture Notes in Computer Science ; 4849
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.H85 W56 2007.

1807.
Variable-length Codes for Data Compression [electronic resource] / by David Salomon. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9 D33 S25 2007.

1808.
1809.
Logic Programming with Prolog [electronic resource] / by Max Bramer. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Max Bramer, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73 B73 2005.

1810.
Legal Programming [electronic resource] : Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond / by Brian Subirana, Malcolm Bain. by Series: Integrated Series in Information Systems ; 4
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: K3961 S82 2005.

1811.
1812.
Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino. by Series: Lecture Notes in Computer Science ; 4916
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.9.F67 L48 2008.

1813.
Shell Scripting Recipes [electronic resource] : A Problem-Solution Approach / by Chris F. A. Johnson. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Chris F. A. Johnson, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.O63 J64 2005.

1814.
Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Series: Lecture Notes in Computer Science ; 4746
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.F3 B66 2007.

1815.
Information Access through Search Engines and Digital Libraries [electronic resource] / edited by Maristella Agosti. by Series: The Information Retrieval Series ; 22
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: ZA3075 A38 2006 .

1816.
1817.
ASP.NET 1.1 Solutions Toolkit [electronic resource] / by Victor Garcia Aprea, Daniel Cazzulino, Rick Delorme, Robin Dewson, Fabio Claudio Ferracchiati, David Gottlieb, Matthew MacDonald, Saurabh Nandu. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Victor Garcia Aprea, Daniel Cazzulino, Rick Delorme, Robin Dewson, Fabio Claudio Ferracchiati, David Gottlieb, Matthew MacDonald, Saurabh Nandu, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 A67 2005.

1818.
1819.
Meshfree Methods for Partial Differential Equations III [electronic resource] / edited by Michael Griebel, Marc A. Schweitzer. by Series: Lecture Notes in Computational Science and Engineering ; 57
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA377 G75 2007.

1820.
Digital Enterprise Technology [electronic resource] : Perspectives and Future Challenges / edited by Pedro Filipe Cunha, Paul G. Maropoulos. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5415.32 C86 2007.

Pages

Powered by Koha