|
|
|
|
Trustworthy Global Computing [electronic resource] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / edited by Ugo Montanari, Donald Sannella, Roberto Bruni. by Montanari, Ugo [editor.] | Sannella, Donald [editor.] | Bruni, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4661Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Scalable Uncertainty Management [electronic resource] : First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings / edited by Henri Prade, V. S. Subrahmanian. by Prade, Henri [editor.] | Subrahmanian, V. S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4772Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algebraic Informatics [electronic resource] : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers / edited by Symeon Bozapalidis, George Rahonis. by Bozapalidis, Symeon [editor.] | Rahonis, George [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4728Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings / edited by Franck Cappello, Thomas Herault, Jack Dongarra. by Cappello, Franck [editor.] | Herault, Thomas [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4757Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan. by Raskin, Jean-François [editor.] | Thiagarajan, P. S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4763Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Dershowitz, Nachum [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4790Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Conceptual Modeling - ER 2007 [electronic resource] : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings / edited by Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim. by Parent, Christine [editor.] | Schewe, Klaus-Dieter [editor.] | Storey, Veda C [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4801Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura. by Namjoshi, Kedar S [editor.] | Yoneda, Tomohiro [editor.] | Higashino, Teruo [editor.] | Okamura, Yoshio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4762Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4767Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Aided Systems Theory – EUROCAST 2007 [electronic resource] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. by Moreno Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4739Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra. by Aguzzoli, Stefano [editor.] | Ciabattoni, Agata [editor.] | Gerla, Brunella [editor.] | Manara, Corrado [editor.] | Marra, Vincenzo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4460Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings / edited by Adrian Paschke, Yevgen Biletskiy. by Paschke, Adrian [editor.] | Biletskiy, Yevgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4824Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Annotating, Extracting and Reasoning about Time and Events [electronic resource] : International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers / edited by Frank Schilder, Graham Katz, James Pustejovsky. by Schilder, Frank [editor.] | Katz, Graham [editor.] | Pustejovsky, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4795Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
The Semantic Web [electronic resource] : 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings / edited by Karl Aberer, Key-Sun Choi, Natasha Noy, Dean Allemang, Kyung-Il Lee, Lyndon Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, Philippe Cudré-Mauroux. by Aberer, Karl [editor.] | Choi, Key-Sun [editor.] | Noy, Natasha [editor.] | Allemang, Dean [editor.] | Lee, Kyung-Il [editor.] | Nixon, Lyndon [editor.] | Golbeck, Jennifer [editor.] | Mika, Peter [editor.] | Maynard, Diana [editor.] | Mizoguchi, Riichiro [editor.] | Schreiber, Guus [editor.] | Cudré-Mauroux, Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4825Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Žďárek. by Holub, Jan [editor.] | Žďárek, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4783Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie. by Butler, Michael [editor.] | Hinchey, Michael G [editor.] | Larrondo-Petrie, María M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4789Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring. by Backhouse, Roland [editor.] | Gibbons, Jeremy [editor.] | Hinze, Ralf [editor.] | Jeuring, Johan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4719Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
