Your search returned 1094 results. Subscribe to this search

|
Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li.

by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt.

by Fontaine, Pascal [editor.] | Ringeissen, Christophe [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Transactional Memory. Foundations, Algorithms, Tools, and Applications [electronic resource] : COST Action Euro-TM IC1001 / edited by Rachid Guerraoui, Paolo Romano.

by Guerraoui, Rachid [editor.] | Romano, Paolo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Design Concepts for a Virtualizable Embedded MPSoC Architecture [electronic resource] : Enabling Virtualization in Embedded Multi-Processor Systems / by Alexander Biedermann.

by Biedermann, Alexander [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available

Information Systems: Methods, Models, and Applications [electronic resource] : 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers / edited by Heinrich C. Mayr, Christian Kop, Stephen Liddle, Athula Ginige.

by Mayr, Heinrich C [editor.] | Kop, Christian [editor.] | Liddle, Stephen [editor.] | Ginige, Athula [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Lean Software Development in Action [electronic resource] / by Andrea Janes, Giancarlo Succi.

by Janes, Andrea [author.] | Succi, Giancarlo [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Graph and Model Transformation [electronic resource] : General Framework and Applications / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann.

by Ehrig, Hartmut [author.] | Ermel, Claudia [author.] | Golas, Ulrike [author.] | Hermann, Frank [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Functional and Logic Programming [electronic resource] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / edited by Michael Codish, Eijiro Sumii.

by Codish, Michael [editor.] | Sumii, Eijiro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Hybrid Soft Computing Approaches [electronic resource] : Research and Applications / edited by Siddhartha Bhattacharyya, Paramartha Dutta, Susanta Chakraborty.

by Bhattacharyya, Siddhartha [editor.] | Dutta, Paramartha [editor.] | Chakraborty, Susanta [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New Delhi : Springer India : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Mobile Communication and Power Engineering [electronic resource] : Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers / edited by Vinu V Das, Yogesh Chaba.

by Das, Vinu V [editor.] | Chaba, Yogesh [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Collaborative Design for Embedded Systems [electronic resource] : Co-modelling and Co-simulation / edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef.

by Fitzgerald, John [editor.] | Larsen, Peter Gorm [editor.] | Verhoef, Marcel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Complete Symbolic Simulation of SystemC Models [electronic resource] : Efficient Formal Verification of Finite Non-Terminating Programs / by Vladimir Herdt.

by Herdt, Vladimir [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available

Biometrics in the New World [electronic resource] : The Cloud, Mobile Technology and Pervasive Identity / by Julian Ashbourn.

by Ashbourn, Julian [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Enterprise Interoperability [electronic resource] : 6th International IFIP Working Conference, IWEI 2015, N�imes, France, May 28-29, 2015, Proceedings / edited by Marten van Sinderen, Vincent Chapurlat.

by van Sinderen, Marten [editor.] | Chapurlat, Vincent [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Design, User Experience, and Usability: Technological Contexts [electronic resource] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III / edited by Aaron Marcus.

by Marcus, Aaron [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Swarm, Evolutionary, and Memetic Computing [electronic resource] : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das.

by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Agent-Oriented Software Engineering [electronic resource] : Reflections on Architectures, Methodologies, Languages, and Frameworks / edited by Onn Shehory, Arnon Sturm.

by Shehory, Onn [editor.] | Sturm, Arnon [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Evaluation of Novel Approaches to Software Engineering [electronic resource] : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe.

by Maciaszek, Leszek A [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Meta-Programming and Model-Driven Meta-Program Development [electronic resource] : Principles, Processes and Techniques / by Vytautas Štuikys, Robertas Damaševičius.

by Štuikys, Vytautas [author.] | Damaševičius, Robertas [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Early Software Reliability Prediction [electronic resource] : A Fuzzy Logic Approach / by Ajeet Kumar Pandey, Neeraj Kumar Goyal.

by Pandey, Ajeet Kumar [author.] | Goyal, Neeraj Kumar [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: India : Springer India : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available