FEEDBACK Smiley face

Your search returned 383 results. Subscribe to this search

|
301. SOFSEM 2008: Theory and Practice of Computer Science [electronic resource] :34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings /

by Geffert, Viliam [editor.] | Karhumäki, Juhani [editor.] | Bertoni, Alberto [editor.] | Preneel, Bart [editor.] | Návrat, Pavol [editor.] | Bieliková, Mária [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, 2008.Online access: Click here to access online Availability: No items available

302. Architecture of Computing Systems – ARCS 2008 [electronic resource] :21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings /

by Brinkschulte, Uwe [editor.] | Ungerer, Theo [editor.] | Hochberger, Christian [editor.] | Spallek, Rainer G [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, 2008.Online access: Click here to access online Availability: No items available

303. Euro-Par 2007 Workshops: Parallel Processing [electronic resource] :HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers /

by Bougé, Luc [editor.] | Forsell, Martti [editor.] | Träff, Jesper Larsson [editor.] | Streit, Achim [editor.] | Ziegler, Wolfgang [editor.] | Alexander, Michael [editor.] | Childs, Stephen [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, 2008.Online access: Click here to access online Availability: No items available

304. Foundations of Software Science and Computational Structures [electronic resource] :11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /

by Amadio, Roberto [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, 2008.Online access: Click here to access online Availability: No items available

305. Hybrid Systems: Computation and Control [electronic resource] :11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /

by Egerstedt, Magnus [editor.] | Mishra, Bud [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, 2008.Online access: Click here to access online Availability: No items available

306. Web Services and Formal Methods [electronic resource] :4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings /

by Dumas, Marlon [editor.] | Heckel, Reiko [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, 2008.Online access: Click here to access online Availability: No items available

307. Transactions on Computational Science I [electronic resource] /

by Gavrilova, Marina L [editor.] | Tan, C. J. 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, 2008.Online access: Click here to access online Availability: No items available

308. Formal Methods for Industrial Critical Systems [electronic resource] :12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

by Leue, Stefan [editor.] | Merino, Pedro [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, 2008.Online access: Click here to access online Availability: No items available

309. Balancing Agility and Formalism in Software Engineering [electronic resource] :Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers /

by Meyer, Bertrand [editor.] | Nawrocki, Jerzy R [editor.] | Walter, Bartosz [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 : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

310. The Common Component Modeling Example [electronic resource] :Comparing Software Component Models /

by Rausch, Andreas [editor.] | Reussner, Ralf [editor.] | Mirandola, Raffaela [editor.] | Plášil, František [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, 2008.Online access: Click here to access online Availability: No items available

311. Euro-Par 2008 – Parallel Processing [electronic resource] :14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings /

by Luque, Emilio [editor.] | Margalef, Tomàs [editor.] | Benítez, Domingo [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, 2008.Online access: Click here to access online Availability: No items available

312. Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] :5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /

by Fitzgerald, John S [editor.] | Haxthausen, Anne E [editor.] | Yenigun, Husnu [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, 2008.Online access: Click here to access online Availability: No items available

313. Formal Modeling and Analysis of Timed Systems [electronic resource] :6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /

by Cassez, Franck [editor.] | Jard, Claude [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, 2008.Online access: Click here to access online Availability: No items available

314. Graph Transformations [electronic resource] :4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings /

by Ehrig, Hartmut [editor.] | Heckel, Reiko [editor.] | Rozenberg, Grzegorz [editor.] | Taentzer, Gabriele [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, 2008.Online access: Click here to access online Availability: No items available

315. Computer Performance Engineering [electronic resource] :5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings /

by Thomas, Nigel [editor.] | Juiz, Carlos [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, 2008.Online access: Click here to access online Availability: No items available

316. Transactions on Computational Science II [electronic resource] /

by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Wang, Yingxu [editor.] | Yao, Yiyu [editor.] | Wang, Guoyin [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, 2008.Online access: Click here to access online Availability: No items available

317. Component-Based Software Engineering [electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /

by Chaudron, Michel R. V [editor.] | Szyperski, Clemens [editor.] | Reussner, Ralf [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, 2008.Online access: Click here to access online Availability: No items available

318. Central European Functional Programming School [electronic resource] :Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

by Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Soós, Anna [editor.] | Zsók, Viktória [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, 2008.Online access: Click here to access online Availability: No items available

319. Runtime Verification [electronic resource] :8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /

by Leucker, Martin [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 : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

320. High Performance Computing - HiPC 2008 [electronic resource] :15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings /

by Sadayappan, Ponnuswamy [editor.] | Parashar, Manish [editor.] | Badrinath, Ramamurthy [editor.] | Prasanna, Viktor K [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 : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in