|
|
1661.
|
Declarative Agent Languages and Technologies VII [electronic resource] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd.
by Baldoni, Matteo | Bentahar, Jamal | Riemsdijk, M. Birna | Lloyd, John | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1662.
|
Perspectives of Systems Informatics [electronic resource] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers / edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov.
by Pnueli, Amir | Virbitskaite, Irina | Voronkov, Andrei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1663.
|
Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings / edited by Manuel Carro, Ricardo Peña.
by Carro, Manuel | Peña, Ricardo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1664.
|
Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.
by Dams, Dennis | Hannemann, Ulrich | Steffen, Martin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1665.
|
High Performance Embedded Architectures and Compilers [electronic resource] : 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings / edited by Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell.
by Patt, Yale N | Foglia, Pierfrancesco | Duesterwald, Evelyn | Faraboschi, Paolo | Martorell, Xavier | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1666.
|
Arts and Technology [electronic resource] : First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009, Revised Selected Papers / edited by Fay Huang, Reen-Cheng Wang.
by Huang, Fay | Wang, Reen-Cheng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1667.
|
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [electronic resource] : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings / edited by Yanwen Wu, Qi Luo.
by Wu, Yanwen | Luo, Qi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1668.
|
Mathematical Methods for Curves and Surfaces [electronic resource] : 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers / edited by Morten Dæhlen, Michael Floater, Tom Lyche, Jean-Louis Merrien, Knut Mørken, Larry L. Schumaker.
by Dæhlen, Morten | Floater, Michael | Lyche, Tom | Merrien, Jean-Louis | Mørken, Knut | Schumaker, Larry L | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1669.
|
Fundamentals of Software Engineering [electronic resource] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.
by Arbab, Farhad | Sirjani, Marjan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1670.
|
Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings / edited by Tomasz Janowski, Hrushikesha Mohanty.
by Janowski, Tomasz | Mohanty, Hrushikesha | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1671.
|
Facets of Virtual Environments [electronic resource] : First International Conference, FaVE 2009, Berlin, Germany, July 27-29, 2009, Revised Selected Papers / edited by Fritz Lehmann-Grube, Jan Sablatnig.
by Lehmann-Grube, Fritz | Sablatnig, Jan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1672.
|
Human Error, Safety and Systems Development [electronic resource] : 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / edited by Philippe Palanque, Jean Vanderdonckt, Marco Winckler.
by Palanque, Philippe | Vanderdonckt, Jean | Winckler, Marco | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1673.
|
Human Work Interaction Design: Usability in Social, Cultural and Organizational Contexts [electronic resource] : Second IFIP WG 13.6 Conference, HWID 2009, Pune, India, October 7-8, 2009, Revised Selected Papers / edited by Dinesh Katre, Rikke Orngreen, Pradeep Yammiyavar, Torkil Clemmensen.
by Katre, Dinesh | Orngreen, Rikke | Yammiyavar, Pradeep | Clemmensen, Torkil | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1674.
|
Task Models and Diagrams for User Interface Design [electronic resource] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / edited by David England, Philippe Palanque, Jean Vanderdonckt, Peter J. Wild.
by England, David | Palanque, Philippe | Vanderdonckt, Jean | Wild, Peter J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1675.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers / edited by José Monteiro, René Leuken.
by Monteiro, José | Leuken, René | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1676.
|
Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves.
by Frappier, Marc | Glässer, Uwe | Khurshid, Sarfraz | Laleau, Régine | Reeves, Steve | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1677.
|
Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings / edited by Sebastian Link, Henri Prade.
by Link, Sebastian | Prade, Henri | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1678.
|
Musical Performance [electronic resource] : A Comprehensive Approach: Theory, Analytical Tools, and Case Studies / by Guerino Mazzola.
by Mazzola, Guerino | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1679.
|
Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems / by Gabriele Puppis.
by Puppis, Gabriele | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
1680.
|
Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers / edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer.
by Schmid, Ute | Kitzelmann, Emanuel | Plasmeijer, Rinus | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
