Search Results for Computer science. - Narrowed by: SpringerLink (Online service) - E-Book - Online Library - 2014 - Computers.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-11T03:32:25Z
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485525
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06686-8">https://doi.org/10.1007/978-3-319-06686-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487329
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44602-7">https://doi.org/10.1007/978-3-662-44602-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487680
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44124-4">https://doi.org/10.1007/978-3-662-44124-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013
ent://SD_ILS/0/SD_ILS:488188
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9115-1">https://doi.org/10.1007/978-94-017-9115-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Radio Networks Dynamic Resource Allocation Schemes
ent://SD_ILS/0/SD_ILS:487417
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Wang, Shaowei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08936-2">https://doi.org/10.1007/978-3-319-08936-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Channel Estimation for Physical Layer Network Coding Systems
ent://SD_ILS/0/SD_ILS:489552
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Gao, Feifei. author. Xing, Chengwen. author. Wang, Gongpu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11668-6">https://doi.org/10.1007/978-3-319-11668-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Coordinated Multicell Systems Architectures and Precoding Designs
ent://SD_ILS/0/SD_ILS:487575
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Nguyen, Duy H. N. author. Le-Ngoc, Tho. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06337-9">https://doi.org/10.1007/978-3-319-06337-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Wireless Environments: Detecting and Localizing User Spoofing
ent://SD_ILS/0/SD_ILS:488438
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Yang, Jie. author. Chen, Yingying. author. Trappe, Wade. author. Cheng, Jerry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07356-9">https://doi.org/10.1007/978-3-319-07356-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Maritime Wideband Communication Networks Video Transmission Scheduling
ent://SD_ILS/0/SD_ILS:485571
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Yang, Tingting. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07362-0">https://doi.org/10.1007/978-3-319-07362-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Communications Networks for the Smart Grid
ent://SD_ILS/0/SD_ILS:486161
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Ho, Quang-Dung. author. Gao, Yue. author. Rajalingham, Gowdemy. author. Le-Ngoc, Tho. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10347-1">https://doi.org/10.1007/978-3-319-10347-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Related Technologies, Challenges and Future Prospects
ent://SD_ILS/0/SD_ILS:486162
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Chen, Min. author. Mao, Shiwen. author. Zhang, Yin. author. Leung, Victor C.M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06245-7">https://doi.org/10.1007/978-3-319-06245-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network Hardening An Automated Approach to Improving Network Security
ent://SD_ILS/0/SD_ILS:486885
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Wang, Lingyu. author. Albanese, Massimiliano. author. Jajodia, Sushil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04612-9">https://doi.org/10.1007/978-3-319-04612-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489079
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489206
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54423-1">https://doi.org/10.1007/978-3-642-54423-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489045
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Beckmann, Arnold. editor. Csuhaj-Varjú, Ersébet. editor. Meer, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08019-2">https://doi.org/10.1007/978-3-319-08019-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485515
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485472
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04921-2">https://doi.org/10.1007/978-3-319-04921-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485551
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Kozielski, Stanislaw. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Pawel. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06932-6">https://doi.org/10.1007/978-3-319-06932-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings
ent://SD_ILS/0/SD_ILS:485687
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Bartz-Beielstein, Thomas. editor. Branke, Juergen. editor. Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255 Smith, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10762-2">https://doi.org/10.1007/978-3-319-10762-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485694
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Wermter, Stefan. editor. Weber, Cornelius. editor. Duch, Wlodzislaw. editor. Honkela, Timo. editor. Koprinkova-Hristova, Petia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11179-7">https://doi.org/10.1007/978-3-319-11179-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485696
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11295-4">https://doi.org/10.1007/978-3-319-11295-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485712
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11520-7">https://doi.org/10.1007/978-3-319-11520-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485634
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10512-3">https://doi.org/10.1007/978-3-319-10512-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485637
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09704-6">https://doi.org/10.1007/978-3-319-09704-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487418
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487725
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44303-3">https://doi.org/10.1007/978-3-662-44303-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488949
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488965
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488966
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488970
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Esparcia-Alcázar, Anna I. editor. Mora, Antonio M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45523-4">https://doi.org/10.1007/978-3-662-45523-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:489053
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
ent://SD_ILS/0/SD_ILS:489092
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43722-3">https://doi.org/10.1007/978-3-662-43722-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489069
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14370-5">https://doi.org/10.1007/978-3-319-14370-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489310
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489459
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45289-9">https://doi.org/10.1007/978-3-662-45289-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
ent://SD_ILS/0/SD_ILS:489515
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54789-8">https://doi.org/10.1007/978-3-642-54789-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487246
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487476
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05416-2">https://doi.org/10.1007/978-3-319-05416-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488042
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-53962-6">https://doi.org/10.1007/978-3-642-53962-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485622
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09284-3">https://doi.org/10.1007/978-3-319-09284-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485756
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12084-3">https://doi.org/10.1007/978-3-319-12084-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485823
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Bolikowski, Łukasz. editor. Casarosa, Vittore. editor. Goodale, Paula. editor. Houssos, Nikos. editor. Manghi, Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08425-1">https://doi.org/10.1007/978-3-319-08425-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487501
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487519
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13749-0">https://doi.org/10.1007/978-3-319-13749-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487641
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Siarry, Patrick. editor. Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12970-9">https://doi.org/10.1007/978-3-319-12970-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487795
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Alhazov, Artiom. editor. Cojocaru, Svetlana. editor. Gheorghe, Marian. editor. Rogozhin, Yurii. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54239-8">https://doi.org/10.1007/978-3-642-54239-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487827
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45498-5">https://doi.org/10.1007/978-3-662-45498-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487917
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07857-1">https://doi.org/10.1007/978-3-319-07857-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:487944
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07854-0">https://doi.org/10.1007/978-3-319-07854-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485783
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485742
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings
ent://SD_ILS/0/SD_ILS:485812
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13563-2">https://doi.org/10.1007/978-3-319-13563-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486911
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Legrand, Pierrick. editor. Corsini, Marc-Michel. editor. Hao, Jin-Kao. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11683-9">https://doi.org/10.1007/978-3-319-11683-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487785
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Ibarra, Oscar H. editor. Kari, Lila. editor. Kopecki, Steffen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08123-6">https://doi.org/10.1007/978-3-319-08123-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487787
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Resende, Mauricio G.C. editor. Vogiatzis, Chrysafis. editor. Walteros, Jose L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09584-4">https://doi.org/10.1007/978-3-319-09584-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487888
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Design for Natural Scientists An Agile Model-Driven Approach
ent://SD_ILS/0/SD_ILS:488739
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45006-2">https://doi.org/10.1007/978-3-662-45006-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488937
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Aguilera, Marcos K. editor. Querzoni, Leonardo. editor. Shapiro, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14472-6">https://doi.org/10.1007/978-3-319-14472-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489012
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08846-4">https://doi.org/10.1007/978-3-319-08846-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:488980
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489095
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09698-8">https://doi.org/10.1007/978-3-319-09698-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489063
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54429-3">https://doi.org/10.1007/978-3-642-54429-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers
ent://SD_ILS/0/SD_ILS:489067
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54943-4">https://doi.org/10.1007/978-3-642-54943-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
ent://SD_ILS/0/SD_ILS:489074
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13350-8">https://doi.org/10.1007/978-3-319-13350-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489135
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Shi, Xiaodong. editor. Chen, Yidong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45701-6">https://doi.org/10.1007/978-3-662-45701-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489141
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Iida, Hiroyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05428-5">https://doi.org/10.1007/978-3-319-05428-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489154
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Björnsson, Yngvi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14923-3">https://doi.org/10.1007/978-3-319-14923-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485524
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485473
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485545
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Pointcheval, David. editor. Vergnaud, Damien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06734-6">https://doi.org/10.1007/978-3-319-06734-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions
ent://SD_ILS/0/SD_ILS:485555
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06793-3">https://doi.org/10.1007/978-3-319-06793-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 13th China National Conference, CCL 2014, and First International Symposium, NLP-NABD 2014, Wuhan, China, October 18-19, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487017
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Sun, Maosong. editor. Liu, Yang. editor. Zhao, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12277-9">https://doi.org/10.1007/978-3-319-12277-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487033
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12982-2">https://doi.org/10.1007/978-3-319-12982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
ent://SD_ILS/0/SD_ILS:488956
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45608-8">https://doi.org/10.1007/978-3-662-45608-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.
ent://SD_ILS/0/SD_ILS:489085
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Yoshida, Hiroyuki. editor. Näppi, Janne J. editor. Saini, Sanjay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13692-9">https://doi.org/10.1007/978-3-319-13692-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489173
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12027-0">https://doi.org/10.1007/978-3-319-12027-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Regulated Grammars and Automata
ent://SD_ILS/0/SD_ILS:489527
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-0369-6">https://doi.org/10.1007/978-1-4939-0369-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Communication Communication, Multimedia, Security
ent://SD_ILS/0/SD_ILS:489638
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54331-9">https://doi.org/10.1007/978-3-642-54331-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485594
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Ioannidis, Sotiris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08593-7">https://doi.org/10.1007/978-3-319-08593-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Document Image Processing and Recognition
ent://SD_ILS/0/SD_ILS:487836
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Doermann, David. editor. Tombre, Karl. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-0-85729-859-1">https://doi.org/10.1007/978-0-85729-859-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Code Breaking in the Pacific
ent://SD_ILS/0/SD_ILS:488233
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Donovan, Peter. author. Mack, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08278-3">https://doi.org/10.1007/978-3-319-08278-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symmetric Cryptographic Protocols
ent://SD_ILS/0/SD_ILS:488387
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Ramkumar, Mahalingam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07584-6">https://doi.org/10.1007/978-3-319-07584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013
ent://SD_ILS/0/SD_ILS:485061
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45947-8">https://doi.org/10.1007/978-3-662-45947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pairing-Based Cryptography -- Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486893
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Cao, Zhenfu. editor. Zhang, Fangguo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04873-4">https://doi.org/10.1007/978-3-319-04873-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Problems in Mathematics and Computational Science
ent://SD_ILS/0/SD_ILS:487303
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Koç, Çetin Kaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10683-0">https://doi.org/10.1007/978-3-319-10683-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Authentication in Insecure Environments Using Visual Cryptography and Non-Transferable Credentials in Practise
ent://SD_ILS/0/SD_ILS:488308
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Pape, Sebastian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-07116-5">https://doi.org/10.1007/978-3-658-07116-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Forensics and Cyber Crime Fifth International Conference, ICDF2C 2013, Moscow, Russia, September 26-27, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488522
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Gladyshev, Pavel. editor. Marrington, Andrew. editor. Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14289-0">https://doi.org/10.1007/978-3-319-14289-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488881
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488916
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Boureanu, Ioana. editor. Owesarski, Philippe. editor. Vaudenay, Serge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07536-5">https://doi.org/10.1007/978-3-319-07536-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488930
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Tryfonas, Theo. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07620-1">https://doi.org/10.1007/978-3-319-07620-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488939
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Security Analysis and Design VII FOSAD 2012 / 2013 Tutorial Lectures
ent://SD_ILS/0/SD_ILS:488996
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Aldini, Alessandro. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10082-1">https://doi.org/10.1007/978-3-319-10082-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology -- ASIACRYPT 2014 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:489016
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Sarkar, Palash. editor. Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45611-8">https://doi.org/10.1007/978-3-662-45611-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 11th International Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488975
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Lindell, Yehuda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54242-8">https://doi.org/10.1007/978-3-642-54242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools
ent://SD_ILS/0/SD_ILS:489117
2024-09-11T03:32:25Z
2024-09-11T03:32:25Z
Author Tatnall, Arthur. editor. Davey, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55119-2">https://doi.org/10.1007/978-3-642-55119-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>