|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger. by Stoelinga, Mariëlle [editor.] | Pinger, Ralf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7437Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / edited by Ricardo Peña, Marko Eekelen, Olha Shkaravska. by Peña, Ricardo [editor.] | Eekelen, Marko [editor.] | Shkaravska, Olha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7177Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Multidisciplinary Research and Practice for Information Systems [electronic resource] : IFIP WG 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012. Proceedings / edited by Gerald Quirchmayr, Josef Basl, Ilsun You, Lida Xu, Edgar Weippl. by Quirchmayr, Gerald [editor.] | Basl, Josef [editor.] | You, Ilsun [editor.] | Xu, Lida [editor.] | Weippl, Edgar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7465Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings / edited by Anupam Gupta, Klaus Jansen, José Rolim, Rocco Servedio. by Gupta, Anupam [editor.] | Jansen, Klaus [editor.] | Rolim, José [editor.] | Servedio, Rocco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7408Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Autonomous Robotics [electronic resource] : Joint Proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012 / edited by Guido Herrmann, Matthew Studley, Martin Pearson, Andrew Conn, Chris Melhuish, Mark Witkowski, Jong-Hwan Kim, Prahlad Vadakkepat. by Herrmann, Guido [editor.] | Studley, Matthew [editor.] | Pearson, Martin [editor.] | Conn, Andrew [editor.] | Melhuish, Chris [editor.] | Witkowski, Mark [editor.] | Kim, Jong-Hwan [editor.] | Vadakkepat, Prahlad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7429Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Knowledge Management and Acquisition for Intelligent Systems [electronic resource] : 12th Pacific Rim Knowledge Acquisition Workshop, PKAW 2012, Kuching, Malaysia, September 5-6, 2012. Proceedings / edited by Deborah Richards, Byeong Ho Kang. by Richards, Deborah [editor.] | Kang, Byeong Ho [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7457Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Data Warehousing and Knowledge Discovery [electronic resource] : 14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012. Proceedings / edited by Alfredo Cuzzocrea, Umeshwar Dayal. by Cuzzocrea, Alfredo [editor.] | Dayal, Umeshwar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7448Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings / edited by Branislav Rovan, Vladimiro Sassone, Peter Widmayer. by Rovan, Branislav [editor.] | Sassone, Vladimiro [editor.] | Widmayer, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7464Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part II / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou. by Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Tjoa, A Min [editor.] | Zhou, Xiaofang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7447Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou. by Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Tjoa, A Min [editor.] | Zhou, Xiaofang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7446Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
ICT as Key Technology against Global Warming [electronic resource] : Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings / edited by Axel Auweter, Dieter Kranzlmüller, Amirreza Tahamtan, A Min Tjoa. by Auweter, Axel [editor.] | Kranzlmüller, Dieter [editor.] | Tahamtan, Amirreza [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7453Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7467Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Controlled Natural Language [electronic resource] : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings / edited by Tobias Kuhn, Norbert E. Fuchs. by Kuhn, Tobias [editor.] | Fuchs, Norbert E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7427Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic, Language, Information and Computation [electronic resource] : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / edited by Luke Ong, Ruy Queiroz. by Ong, Luke [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7456Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Topics in Performance Evaluation, Measurement and Characterization [electronic resource] : Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by Nambiar, Raghunath [editor.] | Poess, Meikel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7144Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Augmented Environments for Computer-Assisted Interventions [electronic resource] : 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011, Revised Selected Papers / edited by Cristian A. Linte, John T. Moore, Elvis C. S. Chen, David R. Holmes. by Linte, Cristian A [editor.] | Moore, John T [editor.] | Chen, Elvis C. S [editor.] | Holmes, David R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7264Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2012 [electronic resource] : 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings / edited by Hujun Yin, José A. F. Costa, Guilherme Barreto. by Yin, Hujun [editor.] | Costa, José A. F [editor.] | Barreto, Guilherme [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7435Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Convergence and Hybrid Information Technology [electronic resource] : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings / edited by Geuk Lee, Daniel Howard, Jeong Jin Kang, Dominik Ślęzak. by Lee, Geuk [editor.] | Howard, Daniel [editor.] | Kang, Jeong Jin [editor.] | Ślęzak, Dominik [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7425Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Swarm Intelligence [electronic resource] : 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings / edited by Marco Dorigo, Mauro Birattari, Christian Blum, Anders Lyhne Christensen, Andries P. Engelbrecht, Roderich Groß, Thomas Stützle. by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Blum, Christian [editor.] | Christensen, Anders Lyhne [editor.] | Engelbrecht, Andries P [editor.] | Groß, Roderich [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7461Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|