Search Results for Engineering - Narrowed by: Computational complexity. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dEngineering$0026qf$003dSUBJECT$002509Subject$002509Computational$002bcomplexity.$002509Computational$002bcomplexity.$0026ps$003d300? 2024-11-07T13:01:27Z Mathematical Methods in Engineering Theoretical Aspects ent://SD_ILS/0/SD_ILS:484451 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ta&#351;, Kenan. editor.&#160;Baleanu, Dumitru. editor.&#160;Machado, J. A. Tenreiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91065-9">https://doi.org/10.1007/978-3-319-91065-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Effective Model-Based Systems Engineering ent://SD_ILS/0/SD_ILS:482862 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Borky, John M. author.&#160;Bradley, Thomas H. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95669-5">https://doi.org/10.1007/978-3-319-95669-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Challenge of Reframing Engineering Education ent://SD_ILS/0/SD_ILS:489215 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Sale, Dennis. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-4560-29-0">https://doi.org/10.1007/978-981-4560-29-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Applications of Affective Engineering ent://SD_ILS/0/SD_ILS:489562 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Watada, Junzo. editor.&#160;Shiizuka, Hisao. editor.&#160;Lee, Kun-Pyo. editor.&#160;Otani, Tsuyoshi. editor.&#160;Lim, Chee-Peng. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04798-0">https://doi.org/10.1007/978-3-319-04798-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Complexity Challenges for Industrial Engineering and Operations Management ent://SD_ILS/0/SD_ILS:483930 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Hern&aacute;ndez, Ces&aacute;reo. editor.&#160;L&oacute;pez-Paredes, Adolfo. editor.&#160;P&eacute;rez-R&iacute;os, Jos&eacute; M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04705-8">https://doi.org/10.1007/978-3-319-04705-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Methods in Engineering Applications in Dynamics of Complex Systems ent://SD_ILS/0/SD_ILS:485845 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ta&#351;, Kenan. editor.&#160;Baleanu, Dumitru. editor. (orcid)0000-0002-0286-7244&#160;Machado, J. A. Tenreiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-90972-1">https://doi.org/10.1007/978-3-319-90972-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems Engineering, Systems Thinking, and Learning A Case Study in Space Industry ent://SD_ILS/0/SD_ILS:485432 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Moser, Hubert Anton. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-03895-7">https://doi.org/10.1007/978-3-319-03895-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering General Intelligence, Part 1 A Path to Advanced AGI via Embodied Learning and Cognitive Synergy ent://SD_ILS/0/SD_ILS:487345 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Goertzel, Ben. author.&#160;Pennachin, Cassio. author.&#160;Geisweiller, Nil. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.2991/978-94-6239-027-0">https://doi.org/10.2991/978-94-6239-027-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science IX Special Issue on Voronoi Diagrams in Science and Engineering ent://SD_ILS/0/SD_ILS:193156 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C. J. Kenneth. editor.&#160;Anton, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16007-3">http://dx.doi.org/10.1007/978-3-642-16007-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hypergraph Theory An Introduction ent://SD_ILS/0/SD_ILS:332674 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Bretto, Alain. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332674.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00080-0">http://dx.doi.org/10.1007/978-3-319-00080-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Methodology for Intelligent Technical Systems Develop Intelligent Technical Systems of the Future ent://SD_ILS/0/SD_ILS:488116 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Gausemeier, J&uuml;rgen. editor.&#160;Rammig, Franz Josef. editor.&#160;Sch&auml;fer, Wilhelm. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-45435-6">https://doi.org/10.1007/978-3-642-45435-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependability of Self-Optimizing Mechatronic Systems ent://SD_ILS/0/SD_ILS:489306 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Gausemeier, J&uuml;rgen. editor.&#160;Rammig, Franz Josef. editor.&#160;Sch&auml;fer, Wilhelm. editor.&#160;Sextro, Walter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-53742-4">https://doi.org/10.1007/978-3-642-53742-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Non-Integer Order Calculus and its Applications 9th International Conference on Non-Integer Order Calculus and Its Applications, &#321;&oacute;d&#378;, Poland ent://SD_ILS/0/SD_ILS:487639 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ostalczyk, Piotr. editor.&#160;Sankowski, Dominik. editor.&#160;Nowakowski, Jacek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78458-8">https://doi.org/10.1007/978-3-319-78458-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Architectures ent://SD_ILS/0/SD_ILS:485872 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Aldinhas Ferreira, Maria Isabel. editor.&#160;Silva Sequeira, Jo&atilde;o. editor.&#160;Ventura, Rodrigo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97550-4">https://doi.org/10.1007/978-3-319-97550-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Glass, Kristin. editor.&#160;Colbaugh, Richard. editor.&#160;Ormerod, Paul. editor.&#160;Tsao, Jeffrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332975.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms ent://SD_ILS/0/SD_ILS:167002 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Fomichov A., Vladimir. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-72926-8">http://dx.doi.org/10.1007/978-0-387-72926-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linear and Integer Programming vs Linear Integration and Counting A Duality Viewpoint ent://SD_ILS/0/SD_ILS:164632 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Lasserre, Jean-Bernard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09414-4">http://dx.doi.org/10.1007/978-0-387-09414-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Systems Design &amp; Management Proceedings of the Ninth International Conference on Complex Systems Design &amp; Management, CSD&amp;M Paris 2018 ent://SD_ILS/0/SD_ILS:483972 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Bonjour, Eric. editor.&#160;Krob, Daniel. editor.&#160;Palladino, Luca. editor.&#160;Stephan, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04209-7">https://doi.org/10.1007/978-3-030-04209-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Introduction to Complex Systems Making Sense of a Changing World&#8203; ent://SD_ILS/0/SD_ILS:484065 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Tranquillo, Joe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02589-2">https://doi.org/10.1007/978-3-030-02589-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nonlinear Dynamics, Volume 1 Proceedings of the 36th IMAC, A Conference and Exposition on Structural Dynamics 2018 ent://SD_ILS/0/SD_ILS:487190 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kerschen, Gaetan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-74280-9">https://doi.org/10.1007/978-3-319-74280-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Fractional Differential Equations ent://SD_ILS/0/SD_ILS:482924 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Milici, Constantin. author.&#160;Dr&#259;g&#259;nescu, Gheorghe. author.&#160;Tenreiro Machado, J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00895-6">https://doi.org/10.1007/978-3-030-00895-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Risk Based Technologies ent://SD_ILS/0/SD_ILS:484556 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Varde, Prabhakar V. editor.&#160;Prakash, Raghu V. editor.&#160;Joshi, Narendra S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-5796-1">https://doi.org/10.1007/978-981-13-5796-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Infrastructure Delivery Systems Governance and Implementation Issues ent://SD_ILS/0/SD_ILS:486064 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Awuzie, Bankole Osita. author.&#160;McDermott, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7291-9">https://doi.org/10.1007/978-981-13-7291-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Space Infrastructures Risk, Resilience and Complexity ent://SD_ILS/0/SD_ILS:486284 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Georgescu, Alexandru. author.&#160;Gheorghe, Adrian V. author.&#160;Piso, Marius-Ioan. author.&#160;Katina, Polinpapilinho F. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12604-9">https://doi.org/10.1007/978-3-030-12604-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability and Statistics in Transportation and Communication Selected Papers from the 18th International Conference on Reliability and Statistics in Transportation and Communication, RelStat&rsquo;18, 17-20 October 2018, Riga, Latvia ent://SD_ILS/0/SD_ILS:486996 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kabashkin, Igor. editor.&#160;Yatskiv (Jackiva), Irina. editor.&#160;Prentkovskis, Olegas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12450-2">https://doi.org/10.1007/978-3-030-12450-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Encyclopedia of Cryptography, Security and Privacy ent://SD_ILS/0/SD_ILS:487070 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Jajodia, Sushil. editor.&#160;Samarati, Pierangela. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-27739-9">https://doi.org/10.1007/978-3-642-27739-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany ent://SD_ILS/0/SD_ILS:487820 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Behrisch, Michael. editor.&#160;Weber, Melanie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33616-9">https://doi.org/10.1007/978-3-319-33616-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399189 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713&#160;Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73915-1">https://doi.org/10.1007/978-3-319-73915-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niter&oacute;i, Brazil, October 30 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400087 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Alves, Ronnie. editor. (orcid)0000-0003-4139-0562&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01722-4">https://doi.org/10.1007/978-3-030-01722-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16&ndash;19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400158 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Iliopoulos, Costas. editor.&#160;Leong, Hon Wai. editor.&#160;Sung, Wing-Kin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94667-2">https://doi.org/10.1007/978-3-319-94667-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401274 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Khomenko, Victor. editor.&#160;Roux, Olivier H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401797 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kaczorowski, Jerzy. editor.&#160;Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466&#160;Pomyka&#322;a, Jacek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76620-1">https://doi.org/10.1007/978-3-319-76620-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis for Computer Scientists Foundations, Methods, and Algorithms ent://SD_ILS/0/SD_ILS:400374 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651&#160;Ostermann, Alexander. author. (orcid)0000-0003-0194-2481&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91155-7">https://doi.org/10.1007/978-3-319-91155-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401714 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Beyersdorff, Olaf. editor.&#160;Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dual Phase Evolution ent://SD_ILS/0/SD_ILS:484180 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Green, David G. author.&#160;Liu, Jing. author.&#160;Abbass, Hussein A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4419-8423-4">https://doi.org/10.1007/978-1-4419-8423-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Networks with Discontinuous/Impact Activations ent://SD_ILS/0/SD_ILS:484796 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Akhmet, Marat. author.&#160;Y&#305;lmaz, Enes. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4614-8566-7">https://doi.org/10.1007/978-1-4614-8566-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User-Centric Networking Future Perspectives ent://SD_ILS/0/SD_ILS:482743 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Aldini, Alessandro. editor.&#160;Bogliolo, Alessandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05218-2">https://doi.org/10.1007/978-3-319-05218-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Capturing Connectivity and Causality in Complex Industrial Processes ent://SD_ILS/0/SD_ILS:486905 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Yang, Fan. author.&#160;Duan, Ping. author.&#160;Shah, Sirish L. author.&#160;Chen, Tongwen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05380-6">https://doi.org/10.1007/978-3-319-05380-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Systems Science Proceedings of the International Conference on Systems Science 2013 (ICSS 2013) ent://SD_ILS/0/SD_ILS:487587 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Swi&#261;tek, Jerzy. editor.&#160;Grzech, Adam. editor.&#160;Swi&#261;tek, Pawe&#322;. editor.&#160;Tomczak, Jakub M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-01857-7">https://doi.org/10.1007/978-3-319-01857-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Complexity Controllers for Time-Delay Systems ent://SD_ILS/0/SD_ILS:487594 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Seuret, Alexandre. editor.&#160;&Ouml;zbay, Hitay. editor.&#160;Bonnet, Catherine. editor.&#160;Mounier, Hugues. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-05576-3">https://doi.org/10.1007/978-3-319-05576-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Support Vector Machines Applications ent://SD_ILS/0/SD_ILS:488645 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ma, Yunqian. editor.&#160;Guo, Guodong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-02300-7">https://doi.org/10.1007/978-3-319-02300-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334987 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ida, Tetsuo. editor.&#160;Fleuriot, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334987.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Search: From Algorithms to Systems ent://SD_ILS/0/SD_ILS:335109 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Hamadi, Youssef. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335109.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332999 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Baldoni, Roberto. editor.&#160;Nisse, Nicolas. editor.&#160;Steen, Maarten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332999.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 26-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334064 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Emde Boas, Peter. editor.&#160;Groen, Frans C. A. editor.&#160;Italiano, Giuseppe F. editor.&#160;Nawrocki, Jerzy. editor.&#160;Sack, Harald. editor.<br/>Preferred Shelf Number&#160;ONLINE(334064.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334962 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334969 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Cabalar, Pedro. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334985 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Muntean, Traian. editor.&#160;Poulakis, Dimitrios. editor.&#160;Rolland, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334985.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197019 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Gibbons, Jeremy. editor.&#160;Nogueira, Pablo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31113-0">http://dx.doi.org/10.1007/978-3-642-31113-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197191 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Vidal, Germ&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196475 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Theis, Fabian. editor.&#160;Cichocki, Andrzej. editor.&#160;Yeredor, Arie. editor.&#160;Zibulevsky, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28551-6">http://dx.doi.org/10.1007/978-3-642-28551-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196792 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Domenach, Florent. editor.&#160;Ignatov, Dmitry I. editor.&#160;Poelmans, Jonas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197355 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kahl, Wolfram. editor.&#160;Griffin, Timothy G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197416 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ehrig, Hartmut. editor.&#160;Engels, Gregor. editor.&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Rozenberg, Grzegorz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:197486 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Sch&uuml;rr, Andy. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;Varr&oacute;, Gergely. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197593 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Goldberg, Paul W. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35311-6">http://dx.doi.org/10.1007/978-3-642-35311-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197607 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Baldoni, Roberto. editor.&#160;Flocchini, Paola. editor.&#160;Binoy, Ravindran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35476-2">http://dx.doi.org/10.1007/978-3-642-35476-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, &Scaron;pindler&#367;v Ml&yacute;n, Czech Republic, January 21-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196264 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Bielikov&aacute;, M&aacute;ria. editor.&#160;Friedrich, Gerhard. editor.&#160;Gottlob, Georg. editor.&#160;Katzenbeisser, Stefan. editor.&#160;Tur&aacute;n, Gy&ouml;rgy. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27660-6">http://dx.doi.org/10.1007/978-3-642-27660-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196566 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Balasubramaniam, P. editor.&#160;Uthayakumar, R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28926-2">http://dx.doi.org/10.1007/978-3-642-28926-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nov&yacute; Smokovec, Slovakia, January 22-28, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193875 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;&#268;ern&aacute;, Ivana. editor.&#160;Gyim&oacute;thy, Tibor. editor.&#160;Hromkovi&#269;, Juraj. editor.&#160;Jefferey, Keith. editor.&#160;Kr&aacute;lovi&#263;, Rastislav. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18381-2">http://dx.doi.org/10.1007/978-3-642-18381-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194523 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Delgrande, James P. editor.&#160;Faber, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Network Economics 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195965 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Chen, Ning. editor.&#160;Elkind, Edith. editor.&#160;Koutsoupias, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25510-6">http://dx.doi.org/10.1007/978-3-642-25510-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Identity-Based Encryption ent://SD_ILS/0/SD_ILS:173195 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Chatterjee, Sanjit. author.&#160;Sarkar, Palash. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9383-0">http://dx.doi.org/10.1007/978-1-4419-9383-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coupled problems and multi-physics ent://SD_ILS/0/SD_ILS:280537 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Karama, Moussa, editor of compilation.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=553084">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=553084</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196070 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Fern&agrave;ndez Anta, Antonio. editor.&#160;Lipari, Giuseppe. editor.&#160;Roy, Matthieu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25873-2">http://dx.doi.org/10.1007/978-3-642-25873-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194398 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Valtchev, Petko. editor.&#160;J&auml;schke, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20514-9">http://dx.doi.org/10.1007/978-3-642-20514-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194718 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Winkler, Franz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21493-6">http://dx.doi.org/10.1007/978-3-642-21493-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195834 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Schreck, Pascal. editor.&#160;Narboux, Julien. editor.&#160;Richter-Gebert, J&uuml;rgen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25070-5">http://dx.doi.org/10.1007/978-3-642-25070-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis for Computer Scientists Foundations, Methods, and Algorithms ent://SD_ILS/0/SD_ILS:168504 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Oberguggenberger, Michael. author.&#160;Ostermann, Alexander. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-446-3">http://dx.doi.org/10.1007/978-0-85729-446-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Lee, Der-Tsai. editor.&#160;Chen, Danny Z. editor.&#160;Ying, Shi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193629 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Jha, Girish Nath. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17528-2">http://dx.doi.org/10.1007/978-3-642-17528-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193642 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Saberi, Amin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17572-5">http://dx.doi.org/10.1007/978-3-642-17572-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:192566 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Abramsky, Samson. editor.&#160;Gavoille, Cyril. editor.&#160;Kirchner, Claude. editor.&#160;Meyer auf der Heide, Friedhelm. editor.&#160;Spirakis, Paul G. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software &ndash; ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193016 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Fukuda, Komei. editor.&#160;Hoeven, Joris van der. editor.&#160;Joswig, Michael. editor.&#160;Takayama, Nobuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27&ndash;October 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193130 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ehrig, Hartmut. editor.&#160;Rensink, Arend. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Sch&uuml;rr, Andy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193152 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Vigneron, Vincent. editor.&#160;Zarzoso, Vicente. editor.&#160;Moreau, Eric. editor.&#160;Gribonval, R&eacute;mi. editor.&#160;Vincent, Emmanuel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15995-4">http://dx.doi.org/10.1007/978-3-642-15995-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193667 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Lu, Chenyang. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Mosbah, Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17653-1">http://dx.doi.org/10.1007/978-3-642-17653-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190192 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Du, Ding-Zhu. editor.&#160;Hu, Xiaodong. editor.&#160;Pardalos, Panos M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02026-1">http://dx.doi.org/10.1007/978-3-642-02026-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190271 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Deng, Xiaotie. editor.&#160;Hopcroft, John E. editor.&#160;Xue, Jinyun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02270-8">http://dx.doi.org/10.1007/978-3-642-02270-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Functions and Equations Examples and Exercises ent://SD_ILS/0/SD_ILS:170583 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Steinbach, Bernd. author.&#160;Posthoff, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9595-5">http://dx.doi.org/10.1007/978-1-4020-9595-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190883 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Erdem, Esra. editor.&#160;Lin, Fangzhen. editor.&#160;Schaub, Torsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190945 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Rossi, Francesca. editor.&#160;Tsoukias, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04428-1">http://dx.doi.org/10.1007/978-3-642-04428-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis f&uuml;r Informatiker Grundlagen, Methoden, Algorithmen ent://SD_ILS/0/SD_ILS:189342 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Oberguggenberger, Michael. author.&#160;Ostermann, Alexander. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89823-8">http://dx.doi.org/10.1007/978-3-540-89823-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190130 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ferr&eacute;, S&eacute;bastien. editor.&#160;Rudolph, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01815-2">http://dx.doi.org/10.1007/978-3-642-01815-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Franceschinis, Giuliana. editor.&#160;Wolf, Karsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Albers, Susanne. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Matias, Yossi. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Thomas, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Albers, Susanne. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Matias, Yossi. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Thomas, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:190633 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Albers, Susanne. editor.&#160;Alt, Helmut. editor.&#160;N&auml;her, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings ent://SD_ILS/0/SD_ILS:190663 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03564-7">http://dx.doi.org/10.1007/978-3-642-03564-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi&rsquo;an, China, June 23-27, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185569 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Hee, Kees M. editor.&#160;Valk, R&uuml;diger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Aceto, Luca. editor.&#160;Damg&aring;rd, Ivan. editor.&#160;Goldberg, Leslie Ann. editor.&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Aceto, Luca. editor.&#160;Damg&aring;rd, Ivan. editor.&#160;Goldberg, Leslie Ann. editor.&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188042 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Medina, Raoul. editor.&#160;Obiedkov, Sergei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Endliche K&ouml;rper Verstehen, Rechnen, Anwenden ent://SD_ILS/0/SD_ILS:188491 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kurzweil, Hans. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79598-8">http://dx.doi.org/10.1007/978-3-540-79598-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188842 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ehrig, Hartmut. editor.&#160;Heckel, Reiko. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:189178 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Sch&uuml;rr, Andy. editor.&#160;Nagl, Manfred. editor.&#160;Z&uuml;ndorf, Albert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Discrete Event Systems ent://SD_ILS/0/SD_ILS:166605 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Cassandras, Christos G. editor.&#160;Lafortune, St&eacute;phane. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68612-7">http://dx.doi.org/10.1007/978-0-387-68612-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation ent://SD_ILS/0/SD_ILS:169502 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Manolache, Sorin. author.&#160;Eles, Petru. author.&#160;Peng, Zebo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-5509-9">http://dx.doi.org/10.1007/1-4020-5509-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Models of Operating System Kernels ent://SD_ILS/0/SD_ILS:175527 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Craig, Iain D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-718-3">http://dx.doi.org/10.1007/978-1-84628-718-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186092 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kuznetsov, Sergei O. editor.&#160;Schmidt, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70901-5">http://dx.doi.org/10.1007/978-3-540-70901-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187697 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Xu, Ming. editor.&#160;Zhan, Yinwei. editor.&#160;Cao, Jiannong. editor.&#160;Liu, Yijun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76837-1">http://dx.doi.org/10.1007/978-3-540-76837-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Endliche K&ouml;rper Verstehen, Rechnen, Anwenden ent://SD_ILS/0/SD_ILS:185173 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kurzweil, Hans. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-49082-1">http://dx.doi.org/10.1007/978-3-540-49082-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Petri Nets and Other Models of Concurrency &ndash; 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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kleijn, Jetty. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroc&#322;aw, Poland, July 9-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186845 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Arge, Lars. editor.&#160;Cachin, Christian. editor.&#160;Jurdzi&#324;ski, Tomasz. editor.&#160;Tarlecki, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Information Theory Mathematics of Digital Information ent://SD_ILS/0/SD_ILS:183666 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Seibt, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-33219-0">http://dx.doi.org/10.1007/978-3-540-33219-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Allocation in Wireless Networks Theory and Algorithms ent://SD_ILS/0/SD_ILS:184905 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Sta&#324;czak, S&#322;awomir. author.&#160;Wiczanowski, Marcin. author.&#160;Boche, Holger. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11818762">http://dx.doi.org/10.1007/11818762</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Approaches to Software Quality ent://SD_ILS/0/SD_ILS:175417 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-435-9">http://dx.doi.org/10.1007/1-84628-435-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Donatelli, Susanna. editor.&#160;Thiagarajan, P. S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Bugliesi, Michele. editor.&#160;Preneel, Bart. editor.&#160;Sassone, Vladimiro. editor.&#160;Wegener, Ingo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Bugliesi, Michele. editor.&#160;Preneel, Bart. editor.&#160;Sassone, Vladimiro. editor.&#160;Wegener, Ingo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183210 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Missaoui, Rokia. editor.&#160;Schmidt, J&uuml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11671404">http://dx.doi.org/10.1007/11671404</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers ent://SD_ILS/0/SD_ILS:183707 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;MacCaull, Wendy. editor.&#160;Winter, Michael. editor.&#160;D&uuml;ntsch, Ivo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184697 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Corradini, Andrea. editor.&#160;Ehrig, Hartmut. editor.&#160;Montanari, Ugo. editor.&#160;Ribeiro, Leila. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Validated Designs for Object-oriented Systems ent://SD_ILS/0/SD_ILS:175237 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Fitzgerald, John. author.&#160;Larsen, Peter Gorm. author.&#160;Mukherjee, Paul. author.&#160;Plat, Nico. author.&#160;Verhoef, Marcel. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138800">http://dx.doi.org/10.1007/b138800</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis f&uuml;r Informatiker Grundlagen, Methoden, Algorithmen ent://SD_ILS/0/SD_ILS:181486 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Oberguggenberger, Michael. author.&#160;Ostermann, Alexander. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-27564-9">http://dx.doi.org/10.1007/3-540-27564-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Maher, Michael J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182363 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Cao, Jiannong. editor.&#160;Yang, Laurence T. editor.&#160;Guo, Minyi. editor.&#160;Lau, Francis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104574">http://dx.doi.org/10.1007/b104574</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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&yacute; J&aacute;n, Slovakia, January 22-28, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182374 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Vojt&aacute;&scaron;, Peter. editor.&#160;Bielikov&aacute;, M&aacute;ria. editor.&#160;Charron-Bost, Bernadette. editor.&#160;S&yacute;kora, Ondrej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105088">http://dx.doi.org/10.1007/b105088</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ciardo, Gianfranco. editor.&#160;Darondeau, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136988">http://dx.doi.org/10.1007/b136988</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Caires, Lu&iacute;s. editor.&#160;Italiano, Giuseppe F. editor.&#160;Monteiro, Lu&iacute;s. editor.&#160;Palamidessi, Catuscia. editor.&#160;Yung, Moti. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183249 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ganter, Bernhard. editor.&#160;Godin, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105806">http://dx.doi.org/10.1007/b105806</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:182933 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Montanari, Ugo. editor.&#160;Orejas, Fernando. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis Foundations and Applications ent://SD_ILS/0/SD_ILS:182967 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Ganter, Bernhard. editor.&#160;Stumme, Gerd. editor.&#160;Wille, Rudolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-31881-1">http://dx.doi.org/10.1007/978-3-540-31881-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183101 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Sloot, Peter M. A. editor.&#160;Hoekstra, Alfons G. editor.&#160;Priol, Thierry. editor.&#160;Reinefeld, Alexander. editor.&#160;Bubak, Marian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137919">http://dx.doi.org/10.1007/b137919</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183169 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Cao, Jiannong. editor.&#160;Nejdl, Wolfgang. editor.&#160;Xu, Ming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11573937">http://dx.doi.org/10.1007/11573937</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nonblocking Electronic and Photonic Switching Fabrics ent://SD_ILS/0/SD_ILS:165285 2024-11-07T13:01:27Z 2024-11-07T13:01:27Z Author&#160;Kabaci&#324;ski, Wojciech. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137691">http://dx.doi.org/10.1007/b137691</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>