Your search returned 85 results.

Sort
Results
61.
62.
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Series: Monographs in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.54 .P64 2005.

63.
Accessible Access 2003 [electronic resource] / by Mark Whitehorn, Bill Marklyn. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Mark Whitehorn, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 W45 2005.

64.
65.
66.
67.
68.
69.
Fuzzy Modeling and Fuzzy Control [electronic resource] / by Huaguang Zhang, Derong Liu. by Series: Control Engineering
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: TJ217.5 Z43 2006.

70.
Architecting Dependable Systems V [electronic resource] / edited by Rogério Lemos, Felicita Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira. by Series: Lecture Notes in Computer Science ; 5135
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.A73 L46 2008.

71.
72.
73.
Itil® Version 3 at a Glance [electronic resource] : Information Quick Reference / by John O. Long. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HD30.2 L66 2008.

74.
Advances in Computation and Intelligence [electronic resource] : Third International Symposium, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / edited by Lishan Kang, Zhihua Cai, Xuesong Yan, Yong Liu. by Series: Lecture Notes in Computer Science ; 5370
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q335 K36 2008.

75.
Semantic Web: Concepts, Technologies and Applications [electronic resource] / by Karin Koogan Breitman, Marco Antonio Casanova, Walter Truszkowski. by Series: NASA Monographs in Systems and Software Engineering
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.88815 B74 2007.

76.
Form-Oriented Analysis [electronic resource] : A New Methodology to Model Form-Based Applications / by Dirk Draheim, Gerald Weber. 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: QA76.76.A65 A73 2005.

77.
ARIS Design Platform [electronic resource] : Advanced Process Modelling and Administration / by Rob Davis. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London Limited, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.4.A74 D38 2008.

78.
Introduction pratique aux bases de données relationnelles [electronic resource] / by Andreas Meier. by Series: Collection IRIS
Edition: Deuxième édition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Paris : Springer-Verlag France, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9,D32 M45 2006.

79.
Classification and Modeling with Linguistic Information Granules [electronic resource] : Advanced Approaches to Linguistic Data Mining / by Hisao Ishibuchi, Tomoharu Nakashima, Manabu Nii. by Series: Advanced Information Processing
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: P203 I84 2005 .

80.
Enterprise Ontology [electronic resource] : Theory and Methodology / by Jan L. G. Dietz. by
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: HD58.8 D54 2006.

Pages

Powered by Koha