Results
|
|
141.
|
|
|
|
142.
|
|
|
|
143.
|
|
|
|
144.
|
Human-Computer Interaction – INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III / edited by Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler. by Series: Lecture Notes in Computer Science ; 6948
Material type:  Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
145.
|
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.
|
|
|
146.
|
Rule - Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings / edited by Frank Olken, Monica Palmirani, Davide Sottara. by Series: Lecture Notes in Computer Science ; 7018
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.
|
|
|
147.
|
Artificial Intelligence and Computational Intelligence [electronic resource] : Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / edited by Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang. by Series: Lecture Notes in Computer Science ; 7002
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.
|
|
|
148.
|
|
|
|
149.
|
|
|
|
150.
|
Rule-Based Reasoning, Programming, and Applications [electronic resource] : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. by Series: Lecture Notes in Computer Science ; 6826
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.
|
|
|
151.
|
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.
|
|
|
152.
|
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.
|
|
|
153.
|
|
|
|
154.
|
Communication Technologies for Vehicles [electronic resource] : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings / edited by Thomas Strang, Andreas Festag, Alexey Vinel, Rashid Mehmood, Cristina Rico Garcia, Matthias Röckl. by Series: Lecture Notes in Computer Science ; 6596
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
155.
|
Human-Computer Interaction – INTERACT 2011 [electronic resource] : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II / edited by Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler. by Series: Lecture Notes in Computer Science ; 6947
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
156.
|
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.
|
|
|
157.
|
|
|
|
158.
|
|
|
|
159.
|
Exploring Music Contents [electronic resource] : 7th International Symposium, CMMR 2010, Málaga, Spain, June 21-24, 2010. Revised Papers / edited by Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen. by Series: Lecture Notes in Computer Science ; 6684
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.
|
|
|
160.
|
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.
|