|
|
|
Categories and Types in Logic, Language, and Physics [electronic resource] : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott.
by Casadio, Claudia [editor.] | Coecke, Bob [editor.] | Moortgat, Michael [editor.] | Scott, Philip [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Declarative Programming and Knowledge Management [electronic resource] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / edited by Michael Hanus, Ricardo Rocha.
by Hanus, Michael [editor.] | Rocha, Ricardo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Spacecraft Operations [electronic resource] / edited by Thomas Uhlig, Florian Sellmaier, Michael Schmidhuber.
by Uhlig, Thomas [editor.] | Sellmaier, Florian [editor.] | Schmidhuber, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Brain Informatics and Health [electronic resource] : International Conference, BIH 2016, Omaha, NE, USA, October 13-16, 2016 Proceedings / edited by Giorgio A. Ascoli, Michael Hawrylycz, Hesham Ali, Deepak Khazanchi, Yong Shi.
by Ascoli, Giorgio A [editor.] | Hawrylycz, Michael [editor.] | Ali, Hesham [editor.] | Khazanchi, Deepak [editor.] | Shi, Yong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Modelling and Management of Engineering Processes [electronic resource] : Proceedings of the 3rd International Conference 2013 / edited by Michael Schabacker, Kilian Gericke, Nikoletta Sz�elig, S�andor Vajna.
by Schabacker, Michael [editor.] | Gericke, Kilian [editor.] | Sz�elig, Nikoletta [editor.] | Vajna, S�andor [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff.
by Cossentino, Massimo [editor.] | Fallah Seghrouchni, Amal El [editor.] | Winikoff, Michael [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Evolutionary Paths Towards the Mobility Patterns of the Future [electronic resource] / edited by Michael H�ulsmann, Dirk Fornahl.
by H�ulsmann, Michael [editor.] | Fornahl, Dirk [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Methods of Fatigue Assessment [electronic resource] / by Dieter Radaj, Michael Vormwald.
by Radaj, Dieter [author.] | Vormwald, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Situation Awareness with Systems of Systems [electronic resource] / edited by Pi�erre van de Laar, Jan Tretmans, Michael Borth.
by van de Laar, Pi�erre [editor.] | Tretmans, Jan [editor.] | Borth, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Optimum Cooling of Data Centers [electronic resource] : Application of Risk Assessment and Mitigation Techniques / by Jun Dai, Michael M. Ohadi, Diganta Das, Michael G. Pecht.
by Dai, Jun [author.] | Ohadi, Michael M [author.] | Das, Diganta [author.] | Pecht, Michael G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Soft Computing in Data Science [electronic resource] : Second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016, Proceedings / edited by Michael W. Berry, Azlinah Hj. Mohamed, Bee Wah Yap.
by Berry, Michael W [editor.] | Hj. Mohamed, Azlinah [editor.] | Yap, Bee Wah [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Enabling Manufacturing Competitiveness and Economic Sustainability [electronic resource] : Proceedings of the 5th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV 2013), Munich, Germany, October 6th-9th, 2013 / edited by Michael F. Zaeh.
by Zaeh, Michael F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Information Systems Development [electronic resource] : Reflections, Challenges and New Directions / edited by Rob Pooley, Jennifer Coady, Christoph Schneider, Henry Linger, Chris Barry, Michael Lang.
by Pooley, Rob [editor.] | Coady, Jennifer [editor.] | Schneider, Christoph [editor.] | Linger, Henry [editor.] | Barry, Chris [editor.] | Lang, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Multiagent System Technologies [electronic resource] : 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014. Proceedings / edited by J�org P. M�uller, Michael Weyrich, Ana L. C. Bazzan.
by M�uller, J�org P [editor.] | Weyrich, Michael [editor.] | Bazzan, Ana L. C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
System-Level Design Methodologies for Telecommunication [electronic resource] / edited by Nicolas Sklavos, Michael H�ubner, Diana Goehringer, Paris Kitsos.
by Sklavos, Nicolas [editor.] | H�ubner, Michael [editor.] | Goehringer, Diana [editor.] | Kitsos, Paris [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Risk Assessment and Risk-Driven Testing [electronic resource] : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers / edited by Fredrik Seehusen, Michael Felderer, J�urgen Gro�mann, Marc-Florian Wendland.
by Seehusen, Fredrik [editor.] | Felderer, Michael [editor.] | Gro�mann, J�urgen [editor.] | Wendland, Marc-Florian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Stochastic Evolutions of Dynamic Traffic Flow [electronic resource] : Modeling and Applications / by Xiqun (Michael) Chen, Li Li, Qixin Shi.
by Chen, Xiqun (Michael) [author.] | Li, Li [author.] | Shi, Qixin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings / edited by G. Alan Wang, Xiaolong Zheng, Michael Chau, Hsinchun Chen.
by Wang, G. Alan [editor.] | Zheng, Xiaolong [editor.] | Chau, Michael [editor.] | Chen, Hsinchun [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Topics in Modal Analysis & Testing, Volume 10 [electronic resource] : Proceedings of the 34th IMAC, A Conference and Exposition on Structural Dynamics 2016 / edited by Michael Mains.
by Mains, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
