|
|
2321.
|
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller.
by Hawblitzel, Chris [editor.] | Miller, Dale [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
|
|
|
2322.
|
Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter.
by Leavens, Gary T [editor.] | Chiba, Shigeru [editor.] | Haupt, Michael [editor.] | Ostermann, Klaus [editor.] | Wohlstadter, Eric [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
|
|
|
2323.
|
Testbeds and Research Infrastructure. Development of Networks and Communities [electronic resource] : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers / edited by Thanasis Korakis, Michael Zink, Maximilian Ott.
by Korakis, Thanasis [editor.] | Zink, Michael [editor.] | Ott, Maximilian [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
|
|
|
2324.
|
Network and Parallel Computing [electronic resource] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings / edited by James J. Park, Albert Zomaya, Sang-Soo Yeo, Sartaj Sahni.
by Park, James J [editor.] | Zomaya, Albert [editor.] | Yeo, Sang-Soo [editor.] | Sahni, Sartaj [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
|
|
|
2325.
|
Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky.
by Arbab, Farhad [editor.] | Ölveczky, Peter Csaba [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
|
|
|
2326.
|
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
|
|
|
2327.
|
Introduction to Programming Concepts with Case Studies in Python [electronic resource] / by Göktürk Üçoluk, Sinan Kalkan.
by Üçoluk, Göktürk [author.] | Kalkan, Sinan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
2328.
|
Using Microsoft Dynamics AX 2012 [electronic resource] / by Andreas Luszczak.
by Luszczak, Andreas [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag, 2012Online access: Click here to access online Availability: No items available
|
|
|
2329.
|
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes [electronic resource] / by Christian Storm.
by Storm, Christian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Vieweg+Teubner Verlag, 2012Online access: Click here to access online Availability: No items available
|
|
|
2330.
|
Computer, Informatics, Cybernetics and Applications [electronic resource] : Proceedings of the CICA 2011 / edited by Xingui He, Ertian Hua, Yun Lin, Xiaozhu Liu.
by He, Xingui [editor.] | Hua, Ertian [editor.] | Lin, Yun [editor.] | Liu, Xiaozhu [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
|
|
|
2331.
|
The Future of EU Agricultural Markets by AGMEMOD [electronic resource] / edited by Frédéric Chantreuil, Kevin Hanrahan, Myrna Leeuwen.
by Chantreuil, Frédéric [editor.] | Hanrahan, Kevin [editor.] | Leeuwen, Myrna [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
|
|
|
2332.
|
Computer Science and its Applications [electronic resource] : CSA 2012 / edited by Sang-Soo Yeo, Yi Pan, Yang Sun Lee, Hang Bae Chang.
by Yeo, Sang-Soo [editor.] | Pan, Yi [editor.] | Lee, Yang Sun [editor.] | Chang, Hang Bae [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
2333.
|
Code Generation with Templates [electronic resource] / by Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef.
by Arnoldus, Jeroen [author.] | van den Brand, Mark [author.] | Serebrenik, A [author.] | Brunekreef, J.J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available
|
|
|
2334.
|
Instruction Sequences for Computer Science [electronic resource] / by Jan A. Bergstra, Cornelis A. Middelburg.
by Bergstra, Jan A [author.] | Middelburg, Cornelis A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available
|
|
|
2335.
|
Encyclopedia of Parallel Computing [electronic resource] / edited by David Padua.
by Padua, David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
|
|
|
2336.
|
Migratory Interactive Applications for Ubiquitous Environments [electronic resource] / edited by Fabio Paternò.
by Paternò, Fabio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
2337.
|
Guide to Assembly Language [electronic resource] : A Concise Introduction / by James T. Streib.
by Streib, James T [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
2338.
|
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy.
by Alagar, V.S [author.] | Periyasamy, K [author.] | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
2339.
|
Guide to HTML, JavaScript and PHP [electronic resource] : For Scientists and Engineers / by David R. Brooks.
by Brooks, David R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
2340.
|
Introduction to Compiler Design [electronic resource] / by Torben Ægidius Mogensen.
by Mogensen, Torben Ægidius [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
