Results
|
|
141.
|
|
|
|
142.
|
Advances in Power Electronics and Instrumentation Engineering [electronic resource] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath. by Series: Communications in Computer and Information Science ; 148
Material type:  Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
143.
|
|
|
|
144.
|
NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi. by Series: Lecture Notes in Computer Science ; 6617
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
145.
|
|
|
|
146.
|
Multidisciplinary Aspects of Time and Time Perception [electronic resource] : COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers / edited by Argiro Vatakis, Anna Esposito, Maria Giagkou, Fred Cummins, Georgios Papadelis. by Series: Lecture Notes in Computer Science ; 6789
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
147.
|
|
|
|
148.
|
Power Electronics and Instrumentation Engineering [electronic resource] : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan. by Series: Communications in Computer and Information Science ; 102
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
149.
|
|
|
|
150.
|
Software Language Engineering [electronic resource] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers / edited by Brian Malloy, Steffen Staab, Mark Brand. by Series: Lecture Notes in Computer Science ; 6563
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
151.
|
Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. by Series: Lecture Notes in Computer Science ; 6100
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
152.
|
|
|
|
153.
|
Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. by Series: Lecture Notes in Computer Science ; 6680
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
154.
|
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos. by Series: Lecture Notes in Computer Science ; 6619
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
155.
|
Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. by Series: Lecture Notes in Computer Science ; 6572
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
156.
|
|
|
|
157.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings / edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre. by Series: Lecture Notes in Computer Science ; 6814
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
158.
|
|
|
|
159.
|
|
|
|
160.
|
|