|
|
2181.
|
The Design of Cloud Workflow Systems [electronic resource] / by Xiao Liu, Dong Yuan, Gaofeng Zhang, Wenhao Li, Dahai Cao, Qiang He, Jinjun Chen, Yun Yang.
by Liu, Xiao [author.] | Yuan, Dong [author.] | Zhang, Gaofeng [author.] | Li, Wenhao [author.] | Cao, Dahai [author.] | He, Qiang [author.] | Chen, Jinjun [author.] | Yang, Yun [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2012Online access: Click here to access online Availability: No items available
|
|
|
2182.
|
MATLAB for Psychologists [electronic resource] / by Mauro Borgo, Alessandro Soranzo, Massimo Grassi.
by Borgo, Mauro [author.] | Soranzo, Alessandro [author.] | Grassi, Massimo [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2183.
|
Scalable Parallel Programming Applied to H.264/AVC Decoding [electronic resource] / by Ben Juurlink, Mauricio Alvarez-Mesa, Chi Ching Chi, Arnaldo Azevedo, Cor Meenderinck, Alex Ramirez.
by Juurlink, Ben [author.] | Alvarez-Mesa, Mauricio [author.] | Chi, Chi Ching [author.] | Azevedo, Arnaldo [author.] | Meenderinck, Cor [author.] | Ramirez, Alex [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2184.
|
Applied Ontology Engineering in Cloud Services, Networks and Management Systems [electronic resource] / by J. Martín Serrano Orozco.
by Serrano Orozco, J. Martín [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2012Online access: Click here to access online Availability: No items available
|
|
|
2185.
|
Modern Compiler Design [electronic resource] / by Dick Grune, Kees van Reeuwijk, Henri E. Bal, Ceriel J.H. Jacobs, Koen Langendoen.
by Grune, Dick [author.] | van Reeuwijk, Kees [author.] | Bal, Henri E [author.] | Jacobs, Ceriel J.H [author.] | Langendoen, Koen [author.] | SpringerLink (Online service). Edition: 2nd ed. 2012.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
2186.
|
The Cinderella.2 Manual [electronic resource] : Working with The Interactive Geometry Software / by Jürgen Richter-Gebert, Ulrich H. Kortenkamp.
by Richter-Gebert, Jürgen [author.] | Kortenkamp, Ulrich H [author.] | 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
|
|
|
2187.
|
Operational Semantics and Verification of Security Protocols [electronic resource] / by Cas Cremers, Sjouke Mauw.
by Cremers, Cas [author.] | Mauw, Sjouke [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2188.
|
Foundations of Algebraic Specification and Formal Software Development [electronic resource] / by Donald Sannella, Andrzej Tarlecki.
by Sannella, Donald [author.] | Tarlecki, Andrzej [author.] | 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
|
|
|
2189.
|
Compiler Design [electronic resource] : Analysis and Transformation / by Helmut Seidl, Reinhard Wilhelm, Sebastian Hack.
by Seidl, Helmut [author.] | Wilhelm, Reinhard [author.] | Hack, Sebastian [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2190.
|
The NCL Natural Constraint Language [electronic resource] / by Jianyang Zhou.
by Zhou, Jianyang [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2191.
|
Electronique Appliquée, Electromécanique sous Simscape & SimPowerSystems (Matlab/Simulink) [electronic resource] / by Mohand Mokhtari, Nadia Martaj.
by Mokhtari, Mohand [author.] | Martaj, Nadia [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2192.
|
Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / edited by Ana Lucia Varbanescu, Anca Molnos, Rob Nieuwpoort.
by Varbanescu, Ana Lucia [editor.] | Molnos, Anca [editor.] | Nieuwpoort, Rob [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
|
|
|
2193.
|
Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, 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, 2012Online access: Click here to access online Availability: No items available
|
|
|
2194.
|
SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers / edited by Iulian Ober, Ileana Ober.
by Ober, Iulian [editor.] | Ober, Ileana [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
|
|
|
2195.
|
Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers / edited by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue.
by Aichernig, Bernhard K [editor.] | Boer, Frank S [editor.] | Bonsangue, Marcello M [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
|
|
|
2196.
|
Soft Computing Methods for Microwave and Millimeter-Wave Design Problems [electronic resource] / by Narendra Chauhan, Machavaram Kartikeyan, Ankush Mittal.
by Chauhan, Narendra [author.] | Kartikeyan, Machavaram [author.] | Mittal, Ankush [author.] | 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
|
|
|
2197.
|
Programming with Multiple Precision [electronic resource] / by Elena Nikolaevskaya, Alexandr Khimich, Tamara Chistyakova.
by Nikolaevskaya, Elena [author.] | Khimich, Alexandr [author.] | Chistyakova, Tamara [author.] | 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
|
|
|
2198.
|
Distributed Computing and Networking [electronic resource] : 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings / edited by Luciano Bononi, Ajoy K. Datta, Stéphane Devismes, Archan Misra.
by Bononi, Luciano [editor.] | Datta, Ajoy K [editor.] | Devismes, Stéphane [editor.] | Misra, Archan [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
|
|
|
2199.
|
Advances in Multimedia, Software Engineering and Computing Vol.2 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China / edited by David Jin, Sally Lin.
by Jin, David [editor.] | Lin, Sally [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
|
|
|
2200.
|
Advances in Multimedia, Software Engineering and Computing Vol.1 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China / edited by David Jin, Sally Lin.
by Jin, David [editor.] | Lin, Sally [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
|
