Search Results for Engineering. - Narrowed by: Information theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dEngineering.$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?
2024-09-19T01:08:54Z
Modeling and Optimization in Space Engineering
ent://SD_ILS/0/SD_ILS:331514
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Fasano, Giorgio. editor. Pintér, János D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331514.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4469-5">http://dx.doi.org/10.1007/978-1-4614-4469-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483421
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-06019-0">https://doi.org/10.1007/978-3-030-06019-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computation Engineering Applied Automata Theory and Logic
ent://SD_ILS/0/SD_ILS:165858
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gopalakrishnan, Ganesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-32520-4">http://dx.doi.org/10.1007/0-387-32520-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Discovery, Knowledge Engineering and Knowledge Management 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484574
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Fred, Ana. editor. Dietz, Jan. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Liu, Kecheng. editor. Bernardino, Jorge. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99701-8">https://doi.org/10.1007/978-3-319-99701-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400129
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400596
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Camacho, David. editor. (orcid)0000-0002-0535-7450 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Tallón-Ballesteros, Antonio J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03493-1">https://doi.org/10.1007/978-3-030-03493-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400333
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02852-7">https://doi.org/10.1007/978-3-030-02852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400506
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Faron Zucker, Catherine. editor. (orcid)0000-0001-5959-5561 Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965 Napoli, Amedeo. editor. Toussaint, Yannick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03667-6">https://doi.org/10.1007/978-3-030-03667-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399218
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ent://SD_ILS/0/SD_ILS:334841
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
ent://SD_ILS/0/SD_ILS:168920
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network Control and Engineering for QoS, Security and Mobility, III IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2–5, 2004, Palma de Mallorca, Spain
ent://SD_ILS/0/SD_ILS:164872
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gaïti, Dominique. editor. Galmés, Sebastià. editor. Puigjaner, Ramon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b100917">http://dx.doi.org/10.1007/b100917</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topological Signal Processing
ent://SD_ILS/0/SD_ILS:488041
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Robinson, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-36104-3">https://doi.org/10.1007/978-3-642-36104-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484810
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33702-5">https://doi.org/10.1007/978-3-030-33702-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399551
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
ent://SD_ILS/0/SD_ILS:400041
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96562-8">https://doi.org/10.1007/978-3-319-96562-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484488
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23554-3">https://doi.org/10.1007/978-3-030-23554-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400230
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399537
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications
ent://SD_ILS/0/SD_ILS:483407
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Liang, Qilian. editor. Liu, Xin. editor. Na, Zhenyu. editor. Wang, Wei. editor. Mu, Jiasong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6264-4">https://doi.org/10.1007/978-981-13-6264-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Forward Error Correction Based On Algebraic-Geometric Theory
ent://SD_ILS/0/SD_ILS:482741
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author A. Alzubi, Jafar. author. A. Alzubi, Omar. author. M. Chen, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08293-6">https://doi.org/10.1007/978-3-319-08293-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
QC-LDPC Code-Based Cryptography
ent://SD_ILS/0/SD_ILS:488413
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Baldi, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-02556-8">https://doi.org/10.1007/978-3-319-02556-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Biomedical Image Analysis Volume I: Segmentation Models Part A
ent://SD_ILS/0/SD_ILS:164603
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Suri, Jasjit S. editor. Wilson, David L. editor. Laxminarayan, Swamy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104805">http://dx.doi.org/10.1007/b104805</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information-theoretic methods for estimating complicated probability distributions
ent://SD_ILS/0/SD_ILS:256643
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Zong, Zhi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444527967">http://www.sciencedirect.com/science/book/9780444527967</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deformable Models Theory and Biomaterial Applications
ent://SD_ILS/0/SD_ILS:166572
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Suri, Jasjit S. author. Farag, Aly A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68343-0">http://dx.doi.org/10.1007/978-0-387-68343-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Biomedical Image Analysis Volume II: Segmentation Models Part B
ent://SD_ILS/0/SD_ILS:164607
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Suri, Jasjit S. editor. Wilson, David L. editor. Laxminarayan, Swamy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104806">http://dx.doi.org/10.1007/b104806</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Biomedical Image Analysis Volume III: Registration Models
ent://SD_ILS/0/SD_ILS:164608
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Suri, Jasjit S. editor. Wilson, David L. editor. Laxminarayan, Swamy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104807">http://dx.doi.org/10.1007/b104807</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332975
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332975.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semistructured Database Design
ent://SD_ILS/0/SD_ILS:164943
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ling, Tok Wang. author. Lee, Mong Li. author. Dobbie, Gillian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101873">http://dx.doi.org/10.1007/b101873</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Temperature Superconducting Microwave Circuits and Applications
ent://SD_ILS/0/SD_ILS:483036
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Liu, Haiwen. author. Ren, Baoping. author. Guan, Xuehui. author. Wen, Pin. author. Zuo, Tao. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6868-4">https://doi.org/10.1007/978-981-13-6868-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485949
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Buchmann, Johannes. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23696-0">https://doi.org/10.1007/978-3-030-23696-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji
ent://SD_ILS/0/SD_ILS:483462
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Carlet, Claude. editor. Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Souidi, El Mamoun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16458-4">https://doi.org/10.1007/978-3-030-16458-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment
ent://SD_ILS/0/SD_ILS:483759
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37959-9">https://doi.org/10.1007/978-3-030-37959-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Cognitive Radio
ent://SD_ILS/0/SD_ILS:484406
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Zhang, Wei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1394-2">https://doi.org/10.1007/978-981-10-1394-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Permutation Polynomial Interleavers for Turbo Codes
ent://SD_ILS/0/SD_ILS:484541
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Trifina, Lucian. author. Tarniceriu, Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2625-7">https://doi.org/10.1007/978-981-13-2625-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Structures of Information
ent://SD_ILS/0/SD_ILS:485225
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Nielsen, Frank. editor. (orcid)0000-0001-5728-0726 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02520-5">https://doi.org/10.1007/978-3-030-02520-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:483055
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17259-6">https://doi.org/10.1007/978-3-030-17259-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Massive MIMO Detection Algorithm and VLSI Architecture
ent://SD_ILS/0/SD_ILS:484299
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Liu, Leibo. author. Peng, Guiqiang. author. Wei, Shaojun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6362-7">https://doi.org/10.1007/978-981-13-6362-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Production Management Systems. Towards Smart Production Management Systems IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484710
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29996-5">https://doi.org/10.1007/978-3-030-29996-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probabilistic Methods and Distributed Information Rudolf Ahlswede’s Lectures on Information Theory 5
ent://SD_ILS/0/SD_ILS:485343
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. Tamm, Ulrich. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00312-8">https://doi.org/10.1007/978-3-030-00312-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485413
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Kabanda, Salah. editor. Suleman, Hussein. editor. Gruner, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05813-5">https://doi.org/10.1007/978-3-030-05813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486227
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Issarny, Valerie. editor. Palanisamy, Balaji. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23357-0">https://doi.org/10.1007/978-3-030-23357-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486418
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25283-0">https://doi.org/10.1007/978-3-030-25283-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486926
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30000-5">https://doi.org/10.1007/978-3-030-30000-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Polar Codes A Non-Trivial Approach to Channel Coding
ent://SD_ILS/0/SD_ILS:487320
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gazi, Orhan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-0737-9">https://doi.org/10.1007/978-981-13-0737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486955
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17253-4">https://doi.org/10.1007/978-3-030-17253-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hyper-Heuristics: Theory and Applications
ent://SD_ILS/0/SD_ILS:399015
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Pillay, Nelishia. author. Qu, Rong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96514-7">https://doi.org/10.1007/978-3-319-96514-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
ent://SD_ILS/0/SD_ILS:399861
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foraging-Inspired Optimisation Algorithms
ent://SD_ILS/0/SD_ILS:399834
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Brabazon, Anthony. author. McGarraghy, Seán. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59156-8">https://doi.org/10.1007/978-3-319-59156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400465
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Model Checking
ent://SD_ILS/0/SD_ILS:401293
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401714
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
ent://SD_ILS/0/SD_ILS:399270
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68397-3">https://doi.org/10.1007/978-3-319-68397-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:399365
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:399366
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:399397
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399410
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399452
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93372-6">https://doi.org/10.1007/978-3-319-93372-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:399569
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Metaheuristics for Optimization
ent://SD_ILS/0/SD_ILS:399627
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Chopard, Bastien. author. Tomassini, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93073-2">https://doi.org/10.1007/978-3-319-93073-2</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-19T01:08:54Z
2024-09-19T01:08:54Z
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/>
Information and Control in Networks
ent://SD_ILS/0/SD_ILS:485393
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Como, Giacomo. editor. Bernhardsson, Bo. editor. Rantzer, Anders. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-02150-8">https://doi.org/10.1007/978-3-319-02150-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Satellite Network Robust QoS-aware Routing
ent://SD_ILS/0/SD_ILS:488068
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Long, Fei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54353-1">https://doi.org/10.1007/978-3-642-54353-1</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-19T01:08:54Z
2024-09-19T01:08:54Z
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/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analyzing Evolutionary Algorithms The Computer Science Perspective
ent://SD_ILS/0/SD_ILS:333075
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Jansen, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333075.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17339-4">http://dx.doi.org/10.1007/978-3-642-17339-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decentralized Spatial Computing Foundations of Geosensor Networks
ent://SD_ILS/0/SD_ILS:333364
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Duckham, Matt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333364.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30853-6">http://dx.doi.org/10.1007/978-3-642-30853-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery
ent://SD_ILS/0/SD_ILS:330567
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author de Moura, Carlos A. editor. Kubrusly, Carlos S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330567.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-8394-8">http://dx.doi.org/10.1007/978-0-8176-8394-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
ent://SD_ILS/0/SD_ILS:333514
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Raynal, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333514.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information ist Energie Definition eines physikalisch begründeten Informationsbegriffs
ent://SD_ILS/0/SD_ILS:338395
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Pagel, Lienhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338395.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2612-1">http://dx.doi.org/10.1007/978-3-8348-2612-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
ent://SD_ILS/0/SD_ILS:333688
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing Nature Turing Centenary Perspective
ent://SD_ILS/0/SD_ILS:334387
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Dodig-Crnkovic, Gordana. editor. Giovagnoli, Raffaela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334387.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37225-4">http://dx.doi.org/10.1007/978-3-642-37225-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Massively Parallel Evolutionary Computation on GPGPUs
ent://SD_ILS/0/SD_ILS:334507
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334507.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37959-8">http://dx.doi.org/10.1007/978-3-642-37959-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:334837
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334837.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334910
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334910.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40206-7">http://dx.doi.org/10.1007/978-3-642-40206-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
ent://SD_ILS/0/SD_ILS:334973
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Search: From Algorithms to Systems
ent://SD_ILS/0/SD_ILS:335109
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Hamadi, Youssef. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41482-4">http://dx.doi.org/10.1007/978-3-642-41482-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications
ent://SD_ILS/0/SD_ILS:335208
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335208.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45318-2">http://dx.doi.org/10.1007/978-3-642-45318-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Search
ent://SD_ILS/0/SD_ILS:194700
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Hamadi, Youssef. editor. Monfroy, Eric. editor. Saubion, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21434-9">http://dx.doi.org/10.1007/978-3-642-21434-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency V
ent://SD_ILS/0/SD_ILS:196605
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29072-5">http://dx.doi.org/10.1007/978-3-642-29072-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197302
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32943-2">http://dx.doi.org/10.1007/978-3-642-32943-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Computing Broadening Web Search
ent://SD_ILS/0/SD_ILS:197493
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34213-4">http://dx.doi.org/10.1007/978-3-642-34213-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Natural Computing
ent://SD_ILS/0/SD_ILS:189483
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Rozenberg, Grzegorz. editor. Bäck, Thomas. editor. Kok, Joost N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92910-9">http://dx.doi.org/10.1007/978-3-540-92910-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Universe as Automaton From Simplicity and Symmetry to Complexity
ent://SD_ILS/0/SD_ILS:195354
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Mainzer, Klaus. author. Chua, Leon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23477-4">http://dx.doi.org/10.1007/978-3-642-23477-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cartesian Genetic Programming
ent://SD_ILS/0/SD_ILS:193564
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Miller, Julian F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17310-3">http://dx.doi.org/10.1007/978-3-642-17310-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194005
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Palma, José M. Laginha M. editor. Daydé, Michel. editor. Marques, Osni. editor. Lopes, João Correia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19328-6">http://dx.doi.org/10.1007/978-3-642-19328-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195148
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Impagliazzo, John. editor. Proydakov, Eduard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22816-2">http://dx.doi.org/10.1007/978-3-642-22816-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:196201
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27452-7">http://dx.doi.org/10.1007/978-3-642-27452-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:196215
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Liu, Chunfeng. editor. Chang, Jincai. editor. Yang, Aimin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27503-6">http://dx.doi.org/10.1007/978-3-642-27503-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science The Hardware, Software and Heart of It
ent://SD_ILS/0/SD_ILS:173871
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1168-0">http://dx.doi.org/10.1007/978-1-4614-1168-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193263
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16336-4">http://dx.doi.org/10.1007/978-3-642-16336-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Computing Trends and Developments
ent://SD_ILS/0/SD_ILS:194116
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19668-3">http://dx.doi.org/10.1007/978-3-642-19668-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobility in Process Calculi and Natural Computing
ent://SD_ILS/0/SD_ILS:195773
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Aman, Bogdan. author. Ciobanu, Gabriel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24867-2">http://dx.doi.org/10.1007/978-3-642-24867-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191892
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12113-5">http://dx.doi.org/10.1007/978-3-642-12113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Computing Challenges and Directions
ent://SD_ILS/0/SD_ILS:191954
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12310-8">http://dx.doi.org/10.1007/978-3-642-12310-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193016
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193207
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16167-4">http://dx.doi.org/10.1007/978-3-642-16167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193264
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16339-5">http://dx.doi.org/10.1007/978-3-642-16339-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193426
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Brennan, Rob. editor. Fleck, Joel. editor. Meer, Sven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16836-9">http://dx.doi.org/10.1007/978-3-642-16836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
ent://SD_ILS/0/SD_ILS:199815
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9708-4">http://dx.doi.org/10.1007/978-3-8348-9708-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
ent://SD_ILS/0/SD_ILS:192228
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13119-6">http://dx.doi.org/10.1007/978-3-642-13119-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
ent://SD_ILS/0/SD_ILS:192235
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13136-3">http://dx.doi.org/10.1007/978-3-642-13136-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192693
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14553-7">http://dx.doi.org/10.1007/978-3-642-14553-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency IV
ent://SD_ILS/0/SD_ILS:193833
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18222-8">http://dx.doi.org/10.1007/978-3-642-18222-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Computation An Introduction to Computability Theory
ent://SD_ILS/0/SD_ILS:175973
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-434-8">http://dx.doi.org/10.1007/978-1-84882-434-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
ent://SD_ILS/0/SD_ILS:191016
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04652-0">http://dx.doi.org/10.1007/978-3-642-04652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Theory and Statistical Learning
ent://SD_ILS/0/SD_ILS:167720
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Emmert-Streib, Frank. editor. Dehmer, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-84816-7">http://dx.doi.org/10.1007/978-0-387-84816-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189739
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189741
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Alfaro, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
ent://SD_ILS/0/SD_ILS:189827
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00899-3">http://dx.doi.org/10.1007/978-3-642-00899-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189839
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00955-6">http://dx.doi.org/10.1007/978-3-642-00955-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190325
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02454-2">http://dx.doi.org/10.1007/978-3-642-02454-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190326
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02457-3">http://dx.doi.org/10.1007/978-3-642-02457-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190636
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03466-4">http://dx.doi.org/10.1007/978-3-642-03466-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Post-Quantum Cryptography
ent://SD_ILS/0/SD_ILS:189106
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bernstein, Daniel J. editor. Buchmann, Johannes. editor. Dahmen, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88702-7">http://dx.doi.org/10.1007/978-3-540-88702-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189784
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190177
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01970-8">http://dx.doi.org/10.1007/978-3-642-01970-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190178
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01973-9">http://dx.doi.org/10.1007/978-3-642-01973-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hagenberg Research
ent://SD_ILS/0/SD_ILS:190225
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02127-5">http://dx.doi.org/10.1007/978-3-642-02127-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190317
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02424-5">http://dx.doi.org/10.1007/978-3-642-02424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190463
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190464
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190925
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency III
ent://SD_ILS/0/SD_ILS:191080
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04856-2">http://dx.doi.org/10.1007/978-3-642-04856-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185905
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69839-5">http://dx.doi.org/10.1007/978-3-540-69839-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185908
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69848-7">http://dx.doi.org/10.1007/978-3-540-69848-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185995
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185998
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Metaheuristics for Hard Optimization
ent://SD_ILS/0/SD_ILS:186702
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Siarry, Patrick. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72960-0">http://dx.doi.org/10.1007/978-3-540-72960-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiobjective Problem Solving from Nature From Concepts to Applications
ent://SD_ILS/0/SD_ILS:186704
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Knowles, Joshua. editor. Corne, David. editor. Deb, Kalyanmoy. editor. Chair, Deva Raj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72964-8">http://dx.doi.org/10.1007/978-3-540-72964-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unfoldings A Partial-Order Approach to Model Checking
ent://SD_ILS/0/SD_ILS:187868
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188141
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78474-6">http://dx.doi.org/10.1007/978-3-540-78474-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
ent://SD_ILS/0/SD_ILS:188976
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88059-2">http://dx.doi.org/10.1007/978-3-540-88059-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Algorithms
ent://SD_ILS/0/SD_ILS:165701
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Kao, Ming-Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-30162-4">http://dx.doi.org/10.1007/978-0-387-30162-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of the Spin Model Checker
ent://SD_ILS/0/SD_ILS:175556
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185569
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68746-7">http://dx.doi.org/10.1007/978-3-540-68746-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185805
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69384-0">http://dx.doi.org/10.1007/978-3-540-69384-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185806
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69387-1">http://dx.doi.org/10.1007/978-3-540-69387-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:185807
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69389-5">http://dx.doi.org/10.1007/978-3-540-69389-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics of Specification Languages
ent://SD_ILS/0/SD_ILS:187056
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187916
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77566-9">http://dx.doi.org/10.1007/978-3-540-77566-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science I
ent://SD_ILS/0/SD_ILS:188385
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79299-4">http://dx.doi.org/10.1007/978-3-540-79299-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188702
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Luque, Emilio. editor. Margalef, Tomàs. editor. Benítez, Domingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85451-7">http://dx.doi.org/10.1007/978-3-540-85451-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188769
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85762-4">http://dx.doi.org/10.1007/978-3-540-85762-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science II
ent://SD_ILS/0/SD_ILS:188870
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Wang, Yingxu. editor. Yao, Yiyu. editor. Wang, Guoyin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87563-5">http://dx.doi.org/10.1007/978-3-540-87563-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
ent://SD_ILS/0/SD_ILS:164756
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Cascini, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09697-1">http://dx.doi.org/10.1007/978-0-387-09697-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methoden wissensbasierter Systeme Grundlagen, Algorithmen, Anwendungen
ent://SD_ILS/0/SD_ILS:199630
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Beierle, Christoph. author. Kern-Isberner, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9517-2">http://dx.doi.org/10.1007/978-3-8348-9517-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188772
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189473
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Palma, José M. Laginha M. editor. Amestoy, Patrick R. editor. Daydé, Michel. editor. Mattoso, Marta. editor. Lopes, João Correia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92859-1">http://dx.doi.org/10.1007/978-3-540-92859-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land
ent://SD_ILS/0/SD_ILS:166399
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Cohen, William W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-48278-1">http://dx.doi.org/10.1007/978-0-387-48278-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
ent://SD_ILS/0/SD_ILS:169706
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:186259
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71351-7">http://dx.doi.org/10.1007/978-3-540-71351-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186508
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72337-0">http://dx.doi.org/10.1007/978-3-540-72337-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:186590
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72584-8">http://dx.doi.org/10.1007/978-3-540-72584-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:186591
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72586-2">http://dx.doi.org/10.1007/978-3-540-72586-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:186592
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72588-6">http://dx.doi.org/10.1007/978-3-540-72588-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:186593
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72590-9">http://dx.doi.org/10.1007/978-3-540-72590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186740
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73094-1">http://dx.doi.org/10.1007/978-3-540-73094-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186845
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Distributed Systems
ent://SD_ILS/0/SD_ILS:187012
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Fokkink, Wan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185852
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69507-3">http://dx.doi.org/10.1007/978-3-540-69507-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187167
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74466-5">http://dx.doi.org/10.1007/978-3-540-74466-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187170
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74472-6">http://dx.doi.org/10.1007/978-3-540-74472-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187172
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74477-1">http://dx.doi.org/10.1007/978-3-540-74477-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
ent://SD_ILS/0/SD_ILS:187175
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74484-9">http://dx.doi.org/10.1007/978-3-540-74484-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
ent://SD_ILS/0/SD_ILS:165431
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Zomaya, Albert Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27705-6">http://dx.doi.org/10.1007/0-387-27705-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination of Large-Scale Multiagent Systems
ent://SD_ILS/0/SD_ILS:165454
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27972-5">http://dx.doi.org/10.1007/0-387-27972-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Organizing Natural Intelligence Issues of Knowing, Meaning, and Complexity
ent://SD_ILS/0/SD_ILS:169426
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Estep, Myrna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5299-5">http://dx.doi.org/10.1007/1-4020-5299-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Research in Evolutionary Computation The New Experimentalism
ent://SD_ILS/0/SD_ILS:183092
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bartz-Beielstein, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32027-X">http://dx.doi.org/10.1007/3-540-32027-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183215
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11611257">http://dx.doi.org/10.1007/11611257</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184148
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:184035
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758525">http://dx.doi.org/10.1007/11758525</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:184036
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758532">http://dx.doi.org/10.1007/11758532</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:184037
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758549">http://dx.doi.org/10.1007/11758549</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Introduction to Programming
ent://SD_ILS/0/SD_ILS:175351
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Mills, Bruce. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Vorlesungen über Informatik Grundlagen und funktionales Programmieren
ent://SD_ILS/0/SD_ILS:181980
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29272-1">http://dx.doi.org/10.1007/3-540-29272-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183927
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751540">http://dx.doi.org/10.1007/11751540</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183928
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751588">http://dx.doi.org/10.1007/11751588</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183929
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751595">http://dx.doi.org/10.1007/11751595</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:183930
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751632">http://dx.doi.org/10.1007/11751632</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:183931
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751649">http://dx.doi.org/10.1007/11751649</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185009
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Levi, Albert. editor. Savaş, Erkay. editor. Yenigün, Hüsnü. editor. Balcısoy, Selim. editor. Saygın, Yücel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11902140">http://dx.doi.org/10.1007/11902140</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ent://SD_ILS/0/SD_ILS:183555
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bollig, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:184034
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758501">http://dx.doi.org/10.1007/11758501</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen
ent://SD_ILS/0/SD_ILS:184166
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-34778-X">http://dx.doi.org/10.1007/3-540-34778-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:184320
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:184321
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184634
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Nagel, Wolfgang E. editor. Walter, Wolfgang V. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11823285">http://dx.doi.org/10.1007/11823285</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182329
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104566">http://dx.doi.org/10.1007/b104566</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182331
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Liew, Kim-Meow. editor. Shen, Hong. editor. See, Simon. editor. Cai, Wentong. editor. Fan, Pingzhi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103538">http://dx.doi.org/10.1007/b103538</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182332
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Maher, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182374
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105088">http://dx.doi.org/10.1007/b105088</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182737
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136988">http://dx.doi.org/10.1007/b136988</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182918
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Chapman, Barbara M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105895">http://dx.doi.org/10.1007/b105895</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182940
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106965">http://dx.doi.org/10.1007/b106965</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182998
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549468">http://dx.doi.org/10.1007/11549468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183108
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136266">http://dx.doi.org/10.1007/b136266</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183109
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136269">http://dx.doi.org/10.1007/b136269</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183110
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136271">http://dx.doi.org/10.1007/b136271</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183148
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11569596">http://dx.doi.org/10.1007/11569596</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183173
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136570">http://dx.doi.org/10.1007/b136570</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183175
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136571">http://dx.doi.org/10.1007/b136571</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183179
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136575">http://dx.doi.org/10.1007/b136575</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik
ent://SD_ILS/0/SD_ILS:176822
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Kastner, Wolfgang. editor. Schildt, Gerhard-Helge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138718">http://dx.doi.org/10.1007/b138718</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182834
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:183286
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136278">http://dx.doi.org/10.1007/b136278</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
ent://SD_ILS/0/SD_ILS:170051
2024-09-19T01:08:54Z
2024-09-19T01:08:54Z
Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>