Your search returned 678 results.

Not what you expected? Check for suggestions
Sort
Results
Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / Armin Biere, Amir Nahir, Tanja Vos (eds.).

by International Haifa Verification Conference (8th : 2012 : Haifa, Israel) | Biere, Armin [editor.] | Nahir, Amir [editor.] | Vos, Tanja [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7857. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer, [2013]Copyright date: ©2013Other title: HVC 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in neural networks - ISNN 2013 : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings. Part II / Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.).

by International Symposium on Neural Networks (10th : 2013 : Dalian Shi, China) | Guo, Chengan | Hou, Zeng-Guang | Zeng, Zhigang (Professor).

Series: Serienbezeichnung | Lecture notes in computer science ; 7952. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: ISNN 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in neural networks - ISNN 2013 : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings. Part I / Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.).

by International Symposium on Neural Networks (10th : 2013 : Dalian Shi, China) | Guo, Chengan | Hou, Zeng-Guang | Zeng, Zhigang (Professor).

Series: Serienbezeichnung | Lecture notes in computer science ; 7951. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: ISNN 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pattern recognition in bioinformatics : 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings / Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan van Laarhoven (eds.).

by PRIB (Meeting) (8th : 2013 : Nice, France) | Ngom, Alioune (Ph. D.) [editor.] | Formenti, Enrico, 1968- [editor.] | Hao, J.-K. (Jin-Kao) [editor.] | Zhao, Xing-Ming [editor.] | Laarhoven, Twan van [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in bioinformatics ; ; 7986. | LNCS sublibrary. SL 8, Bioinformatics.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Other title: PRIB 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Symbolic and quantitative approaches to reasoning with uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, the Netherlands, July 8-10, 2013. Proceedings / Linda C. van der Gaag (eds.).

by European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (12th : 2013 : Utrecht, Netherlands) | Gaag, Linda van der, 1959- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7958. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: ECSQARU 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theory, practice, and applications of rules on the web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / Leora Morgenstern, Petros Stefaneas, Franc̜ois Lévy, Adam Wyner, Adrian Paschke (eds.).

by RuleML (Symposium : Rule-based modeling) (7th : 2013 : Seattle, Wash.) | Morgenstern, Leora [editor.] | Stefaneas, Petros [editor.] | Lévy, Franc̜ois [editor.] | Wyner, Adam [editor.] | Paschke, Adrian [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8035. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: RuleML 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Human-computer interaction : applications and services : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part II / Masaaki Kurosu (ed.).

by International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.) | Kurosu, Masaaki, 1948- [edt].

Series: Serienbezeichnung | Lecture notes in computer science ; 8005. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Wireless algorithms, systems, and applications : 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings / Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, Kai Xing (eds.).

by WASA (Conference) (8th : 2013 : Zhangjiajie Shi, China) | Ren, Kui [editor.] | Liu, Xue [editor.] | Liang, Weifa [editor.] | Xu, Ming [editor.] | Jia, Xiaohua [editor.] | Xing, Kai [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7992. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: WASA 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Transactions on computational science XIX : special issue on computer graphics / Marina L. Gavrilova, C.J. Kenneth Tan, Anton Konushin (eds.).

by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth (Chih Jeng Kenneth) [editor.] | Konushin, Anton [editor.] | GrafiKon (Conference) (22nd : 2012 : Moscow, Russia).

Series: Serienbezeichnung | Lecture notes in computer science ; 7870.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Other title: Transactions on computational science 19.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
E-voting and identify : 4th international conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, proceedings / James Heather, Steve Schneider, Vanessa Teague (eds.).

by Vote-ID (Conference) (4th : 2013 : Guildford, England) | Heather, James [editor.] | Schneider, S. A. (Steve A.) [editor.] | Teague, Vanessa [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7985. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: Vote-ID 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Data and applications security and privacy XXVII : 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013, proceedings / Lingyu Wang, Basit Shafiq (eds.).

by Annual IFIP WG 11.3 Working Conference on Data and Applications Security (27th : 2013 : Newark, N.J.) | Wang, Lingyu [editor.] | Shafiq, Basit [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7964. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: Data and Applications Security and Privacy 27 | DBSec 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web engineering : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings / Florian Daniel, Peter Dolog, Qing Li (eds.).

by ICWE (Conference) (13th : 2013 : Aalborg, Denmark) | Daniel, Florian [editor.] | Dolog, Peter [editor.] | Li, Qing, 1962- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7977. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Other title: ICWE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Benchmarking peer-to-peer systems : understanding quality of service in large-scale distributed systems / Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe (eds.).

by Effelsberg, Wolfgang [editor.] | Steinmetz, Ralf [editor.] | Strufe, Thorsten [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7847. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms and data structures : 13th international symposium, WADS 2013, London, ON, Canada, August 12-14, 2013, proceedings / Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack (eds.).

by WADS (Symposium) (13th : 2013 : London, Ont.) | Dehne, F. (Frank), 1960- [editor.] | Solis-Oba, Roberto [editor.] | Sack, J.-R. (Jörg-Rüdiger), 1954- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8037. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: WADS 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / Natasha Sharygina, Helmut Veith (eds.).

by CAV (Conference) (25th : 2013 : Saint Petersburg, Russia) | Sharygina, Natasha | Veith, Helmut.

Series: Serienbezeichnung | Lecture notes in computer science ; 8044. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: CAV 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Machine learning and data mining in pattern recognition : 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings / Petra Perner (ed.).

by MLDM (Conference) (9th : 2013 : New York, N.Y.) | Perner, Petra [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7988. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: MLDM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in data mining : applications and theoretical aspects : 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings / Petra Perner (ed.).

by Industrial Conference on Data Mining (13th : 2013 : New York, N.Y.) | Perner, Petra [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7987. | LNCS sublibrary. SL 7, Artificial intelligence.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: ICDM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Agreement technologies : second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings / Carlos Iván Chesñevar [and others] (eds.).

by AT (Conference) (2nd : 2013 : Beijing, China) | Chesñevar, Carlos Iván.

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8068. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: AT 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Constructive side-channel analysis and secure design : 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised selected papers / Emmanuel Prouff (ed.).

by COSADE (Workshop) (4th : 2013 : Paris, France) | Prouff, Emmanuel [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7864. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: COSADE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web reasoning and rule systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / Wolfgang Faber, Domenico Lembo (eds.).

by RR (Conference) (7th : 2013 : Mannheim, Germany) | Faber, Wolfgang [editor.] | Lembo, Domenico [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7994. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: RR 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha