Your search returned 3613 results. Subscribe to this search

Not what you expected? Check for suggestions
|
241. Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Rastislav Bodik.

by Bodik, Rastislav [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

Place hold Log in to add tags. Add to cart
242. Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Mooly Sagiv.

by Sagiv, Mooly [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

243. Computer Safety, Reliability, and Security [electronic resource] : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings / edited by Rune Winther, Bjørn Axel Gran, Gustav Dahll.

by Winther, Rune [editor.] | Gran, Bjørn Axel [editor.] | Dahll, Gustav [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

244. Security in Pervasive Computing [electronic resource] : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings / edited by Dieter Hutter, Markus Ullmann.

by Hutter, Dieter [editor.] | Ullmann, Markus [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

245. Coordination Models and Languages [electronic resource] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings / edited by Jean-Marie Jacquet, Gian Pietro Picco.

by Jacquet, Jean-Marie [editor.] | Picco, Gian Pietro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

246. ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider.

by Treharne, Helen [editor.] | King, Steve [editor.] | Henson, Martin [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

247. Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Heinrich Rust.

by Rust, Heinrich [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

248. Scientific Applications of Grid Computing [electronic resource] : First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers / edited by Pilar Herrero, Mar�a S. P�rez, V�ctor Robles.

by Herrero, Pilar [editor.] | P�rez, Mar�a S [editor.] | Robles, V�ctor [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

249. Self-star Properties in Complex Information Systems [electronic resource] : Conceptual and Practical Foundations / edited by Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen.

by Babaoglu, Ozalp [editor.] | Jelasity, Márk [editor.] | Montresor, Alberto [editor.] | Fetzer, Christof [editor.] | Leonardi, Stefano [editor.] | Moorsel, Aad van [editor.] | Steen, Maarten van [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

250. NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings / edited by Raouf Boutaba, Kevin Almeroth, Ramon Puigjaner, Sherman Shen, James P. Black.

by Boutaba, Raouf [editor.] | Almeroth, Kevin [editor.] | Puigjaner, Ramon [editor.] | Shen, Sherman [editor.] | Black, James P [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

251. Service Availability [electronic resource] : Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers / edited by Miroslaw Malek, Edgar Nett, Neeraj Suri.

by Malek, Miroslaw [editor.] | Nett, Edgar [editor.] | Suri, Neeraj [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

252. Dependable Computing - EDCC 5 [electronic resource] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings / edited by Mario Dal Cin, Mohamed Kaâniche, András Pataricza.

by Cin, Mario Dal [editor.] | Kaâniche, Mohamed [editor.] | Pataricza, András [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

253. Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo.

by Bernardo, Marco [editor.] | Bogliolo, Alessandro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

254. Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings / edited by Dominique Borrione, Wolfgang Paul.

by Borrione, Dominique [editor.] | Paul, Wolfgang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

255. Scenarios: Models, Transformations and Tools [electronic resource] : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers / edited by Stefan Leue, Tarja Johanna Systä.

by Leue, Stefan [editor.] | Systä, Tarja Johanna [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

256. Advances in Grid Computing - EGC 2005 [electronic resource] : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / edited by Peter M. A. Sloot, Alfons G. Hoekstra, Thierry Priol, Alexander Reinefeld, Marian Bubak.

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Priol, Thierry [editor.] | Reinefeld, Alexander [editor.] | Bubak, Marian [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

257. Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner.

by Broy, Manfred [editor.] | Jonsson, Bengt [editor.] | Katoen, Joost-Pieter [editor.] | Leucker, Martin [editor.] | Pretschner, Alexander [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

258. Rapid Integration of Software Engineering Techniques [electronic resource] : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers / edited by Nicolas Guelfi.

by Guelfi, Nicolas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

259. Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part I / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan.

by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [editor.] | Kumar, Vipin [editor.] | Laganà, Antonio [editor.] | Lee, Heow Pueh [editor.] | Mun, Youngsong [editor.] | Taniar, David [editor.] | Tan, Chih Jeng Kenneth [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

260. Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan.

by Gervasi, Osvaldo [editor.] | Gavrilova, Marina L [editor.] | Kumar, Vipin [editor.] | Laganà, Antonio [editor.] | Lee, Heow Pueh [editor.] | Mun, Youngsong [editor.] | Taniar, David [editor.] | Tan, Chih Jeng Kenneth [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

Copyright © 2019 Bangalore University, Bangalore. All Rights Reserved.
You are Visitor No.
Web Counter

Powered by Koha