FEEDBACK Smiley face

Your search returned 37 results. Subscribe to this search

|
21. Theory and Applications of Satisfiability Testing [electronic resource] :8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /

by Bacchus, Fahiem [editor.] | Walsh, Toby [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, 2005.Online access: Click here to access online Availability: No items available

22. Global Computing [electronic resource] :IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers /

by Priami, Corrado [editor.] | Quaglia, Paola [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, 2005.Online access: Click here to access online Availability: No items available

23. Engineering Self-Organising Systems [electronic resource] :Methodologies and Applications /

by Brueckner, Sven A [editor.] | Marzo Serugendo, Giovanna Di [editor.] | Karageorgos, Anthony [editor.] | Nagpal, Radhika [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, 2005.Online access: Click here to access online Availability: No items available

24. Compiler Construction [electronic resource] :15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings /

by Mycroft, Alan [editor.] | Zeller, Andreas [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, 2006.Online access: Click here to access online Availability: No items available

25. Engineering Self-Organising Systems [electronic resource] :Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers /

by Brueckner, Sven A [editor.] | Marzo Serugendo, Giovanna Di [editor.] | Hales, David [editor.] | Zambonelli, Franco [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, 2006.Online access: Click here to access online Availability: No items available

26. Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] :9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings /

by Biere, Armin [editor.] | Gomes, Carla 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, 2006.Online access: Click here to access online Availability: No items available

27. Ubiquitous Intelligence and Computing [electronic resource] :Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings /

by Ma, Jianhua [editor.] | Jin, Hai [editor.] | Yang, Laurence T [editor.] | Tsai, Jeffrey J.-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, 2006.Online access: Click here to access online Availability: No items available

28. Engineering Self-Organising Systems [electronic resource] :4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /

by Brueckner, Sven A [editor.] | Hassas, Salima [editor.] | Jelasity, Márk [editor.] | Yamins, Daniel [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, 2007.Online access: Click here to access online Availability: No items available

29. Theory and Applications of Satisfiability Testing – SAT 2007 [electronic resource] :10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings /

by Marques-Silva, João [editor.] | Sakallah, Karem 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, 2007.Online access: Click here to access online Availability: No items available

30. Ambient Intelligence [electronic resource] :European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings /

by Schiele, Bernt [editor.] | Dey, Anind K [editor.] | Gellersen, Hans [editor.] | Ruyter, Boris de [editor.] | Tscheligi, Manfred [editor.] | Wichert, Reiner [editor.] | Aarts, Emile [editor.] | Buchmann, Alejandro [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, 2007.Online access: Click here to access online Availability: No items available

31. Verified Software: Theories, Tools, Experiments [electronic resource] :First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

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

32. Theory and Applications of Satisfiability Testing – SAT 2008 [electronic resource] :11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /

by Kleine Büning, Hans [editor.] | Zhao, Xishun [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

33. Organized Adaption in Multi-Agent Systems [electronic resource] :First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers /

by Vouros, George [editor.] | Artikis, Alexander [editor.] | Stathis, Kostas [editor.] | Pitt, Jeremy [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

34. Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] :12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /

by Kullmann, Oliver [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

35. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] :5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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, 2012.Online access: Click here to access online Availability: No items available

36. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] :5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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, 2012.Online access: Click here to access online Availability: No items available

37. Brain-Inspired Computing [electronic resource] :Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers /

by Amunts, Katrin [editor.] | Grandinetti, Lucio [editor.] | Lippert, Thomas [editor.] | Petkov, Nicolai [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.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