FEEDBACK Smiley face

Your search returned 383 results. Subscribe to this search

|
341. Algebraic Informatics [electronic resource] :Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /

by Bozapalidis, Symeon [editor.] | Rahonis, George [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, 2009.Online access: Click here to access online Availability: No items available

342. Formal Foundations of Reuse and Domain Engineering [electronic resource] :11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings /

by Edwards, Stephen H [editor.] | Kulczycki, Gregory [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, 2009.Online access: Click here to access online Availability: No items available

343. Frontiers of Combining Systems [electronic resource] :7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /

by Ghilardi, Silvio [editor.] | Sebastiani, 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 : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available

344. Formal Modeling and Analysis of Timed Systems [electronic resource] :7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /

by Ouaknine, Joël [editor.] | Vaandrager, Frits W [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, 2009.Online access: Click here to access online Availability: No items available

345. Advanced Functional Programming [electronic resource] :6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /

by Koopman, Pieter [editor.] | Plasmeijer, Rinus [editor.] | Swierstra, Doaitse [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, 2009.Online access: Click here to access online Availability: No items available

346. Runtime Verification [electronic resource] :9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

by Bensalem, Saddek [editor.] | Peled, Doron A [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, 2009.Online access: Click here to access online Availability: No items available

347. Conceptual Modeling - ER 2009 [electronic resource] :28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings /

by Laender, Alberto H. F [editor.] | Castano, Silvana [editor.] | Dayal, Umeshwar [editor.] | Casati, Fabio [editor.] | Oliveira, José Palazzo M. de [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, 2009.Online access: Click here to access online Availability: No items available

348. Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] /

by Jensen, Kurt [editor.] | Billington, Jonathan [editor.] | Koutny, Maciej [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, 2009.Online access: Click here to access online Availability: No items available

349. Teaching Formal Methods [electronic resource] :Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

by Gibbons, Jeremy [editor.] | Oliveira, José Nuno [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, 2009.Online access: Click here to access online Availability: No items available

350. Software Process and Product Measurement [electronic resource] :International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings /

by Abran, Alain [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Cuadrado-Gallego, Juan J [editor.] | Brunekreef, Jacob [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, 2009.Online access: Click here to access online Availability: No items available

351. Performance Evaluation and Benchmarking [electronic resource] :First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers /

by Nambiar, Raghunath [editor.] | Poess, Meikel [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, 2009.Online access: Click here to access online Availability: No items available

352. Middleware 2009 [electronic resource] :ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 – December 4, 2009. Proceedings /

by Bacon, Jean M [editor.] | Cooper, Brian F [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, 2009.Online access: Click here to access online Availability: No items available

353. Formal Methods: Foundations and Applications [electronic resource] :12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /

by Oliveira, Marcel Vinícius Medeiros [editor.] | Woodcock, Jim [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, 2009.Online access: Click here to access online Availability: No items available

354. Practical Aspects of Declarative Languages [electronic resource] :12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /

by Carro, Manuel [editor.] | Peña, Ricardo [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, 2010.Online access: Click here to access online Availability: No items available

355. High Performance Computing and Applications [electronic resource] :Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers /

by Zhang, Wu [editor.] | Chen, Zhangxin [editor.] | Douglas, Craig C [editor.] | Tong, Weiqin [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, 2010.Online access: Click here to access online Availability: No items available

356. Search Computing [electronic resource] :Challenges and Directions /

by Ceri, Stefano [editor.] | Brambilla, Marco [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, 2010.Online access: Click here to access online Availability: No items available

357. A 25-Year Perspective on Logic Programming [electronic resource] :Achievements of the Italian Association for Logic Programming, GULP /

by Dovier, Agostino [editor.] | Pontelli, Enrico [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, 2010.Online access: Click here to access online Availability: No items available

358. Algorithmic Aspects in Information and Management [electronic resource] :6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings /

by Chen, Bo [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, 2010.Online access: Click here to access online Availability: No items available

359. Methods and Tools of Parallel Programming Multicomputers [electronic resource] :Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers /

by Hsu, Ching-Hsien [editor.] | Malyshkin, Victor [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, 2010.Online access: Click here to access online Availability: No items available

360. Computer Science Logic [electronic resource] :24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /

by Dawar, Anuj [editor.] | Veith, Helmut [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, 2010.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