|
|
281.
|
Proceedings of the 1st International Workshop on High-Speed and Intercity Railways [electronic resource] : Volume 1 / edited by Yi-Qing Ni, Xiao-Wei Ye.
by Ni, Yi-Qing [editor.] | Ye, Xiao-Wei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
282.
|
Distributed Computing and Internet Technology [electronic resource] : 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings / edited by R. Ramanujam, Srini Ramaswamy.
by Ramanujam, R [editor.] | Ramaswamy, Srini [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
283.
|
Language and Automata Theory and Applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide.
by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
284.
|
Leveraging Technology for a Sustainable World [electronic resource] : Proceedings of the 19th CIRP Conference on Life Cycle Engineering, University of California at Berkeley, Berkeley, USA, May 23 - 25, 2012 / edited by David A. Dornfeld, Barbara S. Linke.
by Dornfeld, David A [editor.] | Linke, Barbara S [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
285.
|
Objects, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings / edited by Carlo A. Furia, Sebastian Nanz.
by Furia, Carlo A [editor.] | Nanz, Sebastian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
286.
|
Software Service and Application Engineering [electronic resource] : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday / edited by Maritta Heisel.
by Heisel, Maritta [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
287.
|
Progress in VLSI Design and Test [electronic resource] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay.
by Rahaman, Hafizur [editor.] | Chattopadhyay, Sanatan [editor.] | Chattopadhyay, Santanu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
288.
|
Design Thinking Research [electronic resource] : Measuring Performance in Context / edited by Hasso Plattner, Christoph Meinel, Larry Leifer.
by Plattner, Hasso [editor.] | Meinel, Christoph [editor.] | Leifer, Larry [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
289.
|
VLSI-SoC: Advanced Research for Systems on Chip [electronic resource] : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers / edited by Salvador Mir, Chi-Ying Tsui, Ricardo Reis, Oliver C. S. Choy.
by Mir, Salvador [editor.] | Tsui, Chi-Ying [editor.] | Reis, Ricardo [editor.] | Choy, Oliver C. S [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
290.
|
Arts and Technology [electronic resource] : Second International Conference, ArtsIT 2011, Esbjerg, Denmark, December 10-11, 2011, Revised Selected Papers / edited by Anthony L. Brooks.
by Brooks, Anthony L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
291.
|
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund.
by Chakraborty, Supratik [editor.] | Mukund, Madhavan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
292.
|
Principles and Practice of Constraint Programming [electronic resource] : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings / edited by Michela Milano.
by Milano, Michela [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
293.
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / edited by Frank Ortmeier, Peter Daniel.
by Ortmeier, Frank [editor.] | Daniel, Peter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
294.
|
Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
295.
|
Computer Aided Surgery [electronic resource] : 7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011, Proceedings / edited by Takeyoshi Dohi, Hongen Liao.
by Dohi, Takeyoshi [editor.] | Liao, Hongen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan, 2012Online access: Click here to access online Availability: No items available
|
|
|
296.
|
Theory and Practice of Computation [electronic resource] : Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez.
by Nishizaki, Shin-ya [editor.] | Numao, Masayuki [editor.] | Caro, Jaime [editor.] | Suarez, Merlin Teodosia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan, 2012Online access: Click here to access online Availability: No items available
|
|
|
297.
|
Advanced Methods, Techniques, and Applications in Modeling and Simulation [electronic resource] : Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings / edited by Jong-Hyun Kim, Kangsun Lee, Satoshi Tanaka, Soo-Hyun Park.
by Kim, Jong-Hyun [editor.] | Lee, Kangsun [editor.] | Tanaka, Satoshi [editor.] | Park, Soo-Hyun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
298.
|
Intelligent Textiles and Clothing for Ballistic and NBC Protection [electronic resource] : Technology at the Cutting Edge / edited by Paul Kiekens, Sundaresan Jayaraman.
by Kiekens, Paul [editor.] | Jayaraman, Sundaresan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available
|
|
|
299.
|
“The main Business of natural Philosophy” [electronic resource] : Isaac Newton’s Natural-Philosophical Methodology / by Steffen Ducheyne.
by Ducheyne, Steffen [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available
|
|
|
300.
|
Adiabatic Logic [electronic resource] : Future Trend and System Level Perspective / by Philip Teichmann.
by Teichmann, Philip [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available
|
