741. Materializing the web of linked data

by Spanos, Dimitrios-Emmanuel | Konstantinou, Nikolaos.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 025.0427 KON] (1).
742. Applications of social media and social network analysis

by Chawla, Nitesh V | Kazienko, Przemyslaw.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 004.6 KAZ] (1).
743. Personalized task recommendation in crowdsourcing systems

by Geiger, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham: Springer, 2015Availability: Items available for loan: [Call number: 004.019 GEI] (1).
744. Software design for resilient computer systems

by Kaegi-Trachsel, Thomas | Schagaev, Igor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2016Availability: Items available for loan: [Call number: 004.2 SCH] (1).
745. Geographic interpretations of the internet

by Kellerman, Aharon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2016Availability: Items available for loan: [Call number: 004.678 KEL] (1).
746. Quantum bits and quantum secrets : how quantum physics is revolutionizing codes and computers

by Morsch, Oliver.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Weinheim: Wiley-VCH, 2008Availability: Items available for loan: [Call number: 005.82 MOR] (1).
747. Management of Multimedia Networks and Services: 6th IFIP/IEEE International Conference, MMNS 2003 Belfast, Northern Ireland, UK, September 7-10, 2003: Proceedings

by Marshall, Alan | Agoulmine, Nazim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MAR] (1).
748. Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings

by Saraswat, Vijay A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
749. Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003

by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
750. Representations for genetic and evolutionary algorithms, 2ed.

by Rothlauf, Franz.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.31 ROT] (1).
751. Introduction to reliable distributed programming

by Rodrigues, Luis | Guerraoui, Rachid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 005.71276 GUE] (1).
752. Logical foundations for rule-based systems

by Ligeza, Antoni.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.33 LIG] (1).
753. Experimental research in evolutionary computation : the new experimentalism

by Bartz-Beielstein, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.3 BAR] (1).
754. Gene expression programming : mathematical modeling by an artificial intelligence

by Ferreira, Candida.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 572.865 FER] (1).
755. Interactive computation : the new paradigm

by Smolka, Scott A | Goldin, Dina Q | Wegner, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 004.6 GOL] (1).
756. Comprehensive mathematics for computer scientists 1

by Mazzola, Guerino | Milmeister, Gerard | Weissmann, Jody.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 511.3 MAZ] (1).
757. Multi-agent systems and applications III: 3rd International central and Eastern European conference on multi-agent systems. CEEMAS 2003 Prague, Czech Republic, June 16-18, 2003

by Marik, Vladimir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MAR] (1).
758. Programming constraint services : high-level programming of standard and new constraint services

by Schulte, Christian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.11 SCH] (1).
759. Software visualization : visualizing the structure, behaviour, and evolution of software

by Diehl, Stephan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin Springer 2007Availability: Items available for loan: [Call number: 005.118 DIE] (1).
760. Neural networks theory

by Galushkin, Alexander I.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 006.33 GAL] (1).

Powered by Koha