Search Results for Computer software. - Narrowed by: 2009

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2024-12-23T02:42:21Z

Author Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01918-0
Format: Electronic Resources
Availability Online Library~1

Computer organization and design : the hardware/software interface

2024-12-23T02:42:21Z

Author Hennessy, John L. Patterson, David A., ort. yaz.
Preferred Shelf Number QA76.9.C643 H46 2009
Format: Books
Availability Beytepe Library~2

Expressive processing digital fictions, computer games, and software studies

2024-12-23T02:42:21Z

Author Wardrip-Fruin, Noah.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267550
Format: Electronic Resources
Availability Online Library~1

Windows 7 just the steps for dummies

2024-12-23T02:42:21Z

Author Muir, Nancy, 1954-
Preferred Shelf Number ONLINE
Electronic Access Click for information on Adobe Digital Editions version Click for information on Adobe Digital Editions version Click for information on Mobipocket Reader version Wiley InterScience An electronic book accessible through the World Wide Web; click for information Image http://images.contentreserve.com/ImageType-100/0128-1/{1865C98C-939A-45E6-AC30-F500574831A6}Img100.jpg
Format: Electronic Resources
Availability Online Library~1

Practical UML statecharts in C/C++ event-driven programming for embedded systems

2024-12-23T02:42:21Z

Author Samek, Miro.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750687065
Format: Electronic Resources
Availability Online Library~1

Optimal Design and Related Areas in Optimization and Statistics

2024-12-23T02:42:21Z

Author Pronzato, Luc. editor. Zhigljavsky, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79936-0
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VI

2024-12-23T02:42:21Z

Author Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-87623-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Algorithms and Data Analysis

2024-12-23T02:42:21Z

Author Ao, Sio-Iong. editor. Rieger, Burghard. editor. Chen, Su-Shing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8919-0
Format: Electronic Resources
Availability Online Library~1

Sequence Comparison Theory and Methods

2024-12-23T02:42:21Z

Author Chao, Kun-Mao. author. Zhang, Louxin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-320-0
Format: Electronic Resources
Availability Online Library~1

A Generative Theory of Relevance

2024-12-23T02:42:21Z

Author Lavrenko, Victor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89364-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

2024-12-23T02:42:21Z

Author Parashar, Manish. editor. Aggarwal, Sanjeev K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89737-8
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T02:42:21Z

Author Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00590-9
Format: Electronic Resources
Availability Online Library~1

Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings

2024-12-23T02:42:21Z

Author Adali, Tülay. editor. Jutten, Christian. editor. Romano, João Marcos Travassos. editor. Barros, Allan Kardec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00599-2
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings

2024-12-23T02:42:21Z

Author Joux, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01001-9
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings

2024-12-23T02:42:21Z

Author Cotta, Carlos. editor. Cowling, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01009-5
Format: Electronic Resources
Availability Online Library~1

Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

2024-12-23T02:42:21Z

Author Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05415-0
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers

2024-12-23T02:42:21Z

Author Dolev, Shlomi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05434-1
Format: Electronic Resources
Availability Online Library~1

Digraphs Theory, Algorithms and Applications

2024-12-23T02:42:21Z

Author Bang-Jensen, Jørgen. author. Gutin, Gregory Z. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-998-1
Format: Electronic Resources
Availability Online Library~1

Principles of Programming Languages

2024-12-23T02:42:21Z

Author Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-032-6
Format: Electronic Resources
Availability Online Library~1

Computability of Julia Sets

2024-12-23T02:42:21Z

Author Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68547-0
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings

2024-12-23T02:42:21Z

Author Amir, Amihood. editor. Turpin, Andrew. editor. Moffat, Alistair. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89097-3
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings

2024-12-23T02:42:21Z

Author Garg, Vijay. editor. Wattenhofer, Roger. editor. Kothapalli, Kishore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92295-7
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers

2024-12-23T02:42:21Z

Author Bampis, Evripidis. editor. Skutella, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-93980-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Models for the Web-Graph 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings

2024-12-23T02:42:21Z

Author Avrachenkov, Konstantin. editor. Donato, Debora. editor. Litvak, Nelly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-95995-3
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

2024-12-23T02:42:21Z

Author Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00199-4
Format: Electronic Resources
Availability Online Library~1

WALCOM: Algorithms and Computation Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings

2024-12-23T02:42:21Z

Author Das, Sandip. editor. Uehara, Ryuhei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00202-1
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers

2024-12-23T02:42:21Z

Author Tollis, Ioannis G. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00219-9
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings

2024-12-23T02:42:21Z

Author Roedig, Utz. editor. Sreenan, Cormac J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00224-3
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers

2024-12-23T02:42:21Z

Author Chung, Kyo-Il. editor. Sohn, Kiwook. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00306-6
Format: Electronic Resources
Availability Online Library~1

Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers

2024-12-23T02:42:21Z

Author Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00393-6
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

2024-12-23T02:42:21Z

Author Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Moraglio, Alberto. editor. Falco, Ivanoe. editor. Ebner, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01181-8
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

2024-12-23T02:42:21Z

Author Pizzuti, Clara. editor. Ritchie, Marylyn D. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01184-9
Format: Electronic Resources
Availability Online Library~1

Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers

2024-12-23T02:42:21Z

Author Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01639-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

2024-12-23T02:42:21Z

Author Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02017-9
Format: Electronic Resources
Availability Online Library~1

Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday

2024-12-23T02:42:21Z

Author Lipshteyn, Marina. editor. Levit, Vadim E. editor. McConnell, Ross M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02029-2
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings

2024-12-23T02:42:21Z

Author Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02085-8
Format: Electronic Resources
Availability Online Library~1

Algorithmics of Large and Complex Networks Design, Analysis, and Simulation

2024-12-23T02:42:21Z

Author Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02094-0
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings

2024-12-23T02:42:21Z

Author Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01929-6
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings

2024-12-23T02:42:21Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02611-9
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings

2024-12-23T02:42:21Z

Author Boyd, Colin. editor. González Nieto, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02620-1
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings

2024-12-23T02:42:21Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03275-2
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography – Pairing 2009 Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings

2024-12-23T02:42:21Z

Author Shacham, Hovav. editor. Waters, Brent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03298-1
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers

2024-12-23T02:42:21Z

Author Dunkelman, Orr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03317-9
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

2024-12-23T02:42:21Z

Author Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03351-3
Format: Electronic Resources
Availability Online Library~1

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

2024-12-23T02:42:21Z

Author Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03359-9
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings

2024-12-23T02:42:21Z

Author Dehne, Frank. editor. Gavrilova, Marina. editor. Sack, Jörg-Rüdiger. editor. Tóth, Csaba D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03367-4
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings

2024-12-23T02:42:21Z

Author Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03409-1
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings

2024-12-23T02:42:21Z

Author Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03417-6
Format: Electronic Resources
Availability Online Library~1

Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday

2024-12-23T02:42:21Z

Author Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03456-5
Format: Electronic Resources
Availability Online Library~1

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

2024-12-23T02:42:21Z

Author Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03459-6
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

2024-12-23T02:42:21Z

Author Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03466-4
Format: Electronic Resources
Availability Online Library~1

Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings

2024-12-23T02:42:21Z

Author Ranka, Sanjay. editor. Aluru, Srinivas. editor. Buyya, Rajkumar. editor. Chung, Yeh-Ching. editor. Dua, Sumeet. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03547-0
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers

2024-12-23T02:42:21Z

Author Dingledine, Roger. editor. Golle, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03549-4
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers

2024-12-23T02:42:21Z

Author Setola, Roberto. editor. Geretshuber, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03552-4
Format: Electronic Resources
Availability Online Library~1

Emerging Intelligent Computing Technology and Applications 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings

2024-12-23T02:42:21Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Lee, Hong-Hee. editor. Kang, Hee-Jun. editor. Bevilacqua, Vitoantonio. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04070-2
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings

2024-12-23T02:42:21Z

Author Keidar, Idit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04355-0
Format: Electronic Resources
Availability Online Library~1

Mobile Entity Localization and Tracking in GPS-less Environnments Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings

2024-12-23T02:42:21Z

Author Fuller, Richard. editor. Koutsoukos, Xenofon D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04385-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings

2024-12-23T02:42:21Z

Author Corchado, Emilio. editor. Yin, Hujun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04394-9
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings

2024-12-23T02:42:21Z

Author Brlek, Srečko. editor. Reutenauer, Christophe. editor. Provençal, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04397-0
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings

2024-12-23T02:42:21Z

Author Takagi, Tsuyoshi. editor. Mambo, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04846-3
Format: Electronic Resources
Availability Online Library~1

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

2024-12-23T02:42:21Z

Author Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04912-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings

2024-12-23T02:42:21Z

Author Blesa, María J. editor. Blum, Christian. editor. Gaspero, Luca. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04918-7
Format: Electronic Resources
Availability Online Library~1

Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers

2024-12-23T02:42:21Z

Author Kolehmainen, Mikko. editor. Toivanen, Pekka. editor. Beliczynski, Bartlomiej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04921-7
Format: Electronic Resources
Availability Online Library~1

Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings

2024-12-23T02:42:21Z

Author Watanabe, Osamu. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04944-6
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

2024-12-23T02:42:21Z

Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Electronic Resources
Availability Online Library~1

Visual Informatics: Bridging Research and Practice First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings

2024-12-23T02:42:21Z

Author Badioze Zaman, Halimah. editor. Robinson, Peter. editor. Petrou, Maria. editor. Olivier, Patrick. editor. Schröder, Heiko. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05036-7
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

2024-12-23T02:42:21Z

Author Guerraoui, Rachid. editor. Petit, Franck. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05118-0
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 10th International Workshop, WISA 2009, Busan, Korea, August 25-27, 2009, Revised Selected Papers

2024-12-23T02:42:21Z

Author Youm, Heung Youl. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10838-9
Format: Electronic Resources
Availability Online Library~1

TCP/IP sockets in C practical guide for programmers

2024-12-23T02:42:21Z

Author Donahoo, Michael J. Calvert, Kenneth L.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123745408
Format: Electronic Resources
Availability Online Library~1

Real-time embedded multithreading using ThreadX

2024-12-23T02:42:21Z

Author Lamie, Edward.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856176019
Format: Electronic Resources
Availability Online Library~1

Queueing Theory A Linear Algebraic Approach

2024-12-23T02:42:21Z

Author Lipsky, Lester. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/ 978-0-387-49706-8
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Mathematics and Global Optimization In Honor of Gilbert Strang

2024-12-23T02:42:21Z

Author Gao, David Y. editor. Sherali, Hanif D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75714-8
Format: Electronic Resources
Availability Online Library~1

Maple Règles et fonctions essentielles

2024-12-23T02:42:21Z

Author Puech, Nicolas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-2-287-48607-4
Format: Electronic Resources
Availability Online Library~1

Maple and Mathematica A Problem Solving Approach for Mathematics

2024-12-23T02:42:21Z

Author Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-99432-0
Format: Electronic Resources
Availability Online Library~1

Effective prototyping with Excel a practical handbook for developers and designers

2024-12-23T02:42:21Z

Author Berger, Nevin.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120885824
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science IV Special Issue on Security in Computing

2024-12-23T02:42:21Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01004-0
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings

2024-12-23T02:42:21Z

Author Ehrgott, Matthias. editor. Fonseca, Carlos M. editor. Gandibleux, Xavier. editor. Hao, Jin-Kao. editor. Sevaux, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01020-0
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings

2024-12-23T02:42:21Z

Author Abdennadher, Nabil. editor. Petcu, Dana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01671-4
Format: Electronic Resources
Availability Online Library~1

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

2024-12-23T02:42:21Z

Author Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01680-6
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

2024-12-23T02:42:21Z

Author Maneth, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02979-0
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings

2024-12-23T02:42:21Z

Author Gudes, Ehud. editor. Vaidya, Jaideep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03007-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

2024-12-23T02:42:21Z

Author Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03073-4
Format: Electronic Resources
Availability Online Library~1

DNA Computing 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers

2024-12-23T02:42:21Z

Author Goel, Ashish. editor. Simmel, Friedrich C. editor. Sosík, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03076-5
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings

2024-12-23T02:42:21Z

Author Rudolph, Sebastian. editor. Dau, Frithjof. editor. Kuznetsov, Sergei O. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03079-6
Format: Electronic Resources
Availability Online Library~1

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2024-12-23T02:42:21Z

Author Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03092-5
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings

2024-12-23T02:42:21Z

Author Hua, Arrems. editor. Chang, Shih-Liang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03095-6
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings

2024-12-23T02:42:21Z

Author Guimarães, Katia S. editor. Panchenko, Anna. editor. Przytycka, Teresa M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03223-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence An International Perspective An International Perspective

2024-12-23T02:42:21Z

Author Bramer, Max. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03226-4
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings

2024-12-23T02:42:21Z

Author Andrews, Paul S. editor. Timmis, Jon. editor. Owens, Nick D. L. editor. Aickelin, Uwe. editor. Hart, Emma. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03246-2
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2024-12-23T02:42:21Z

Author Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03251-6
Format: Electronic Resources
Availability Online Library~1

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

2024-12-23T02:42:21Z

Author Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04081-8
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings

2024-12-23T02:42:21Z

Author Gerdt, Vladimir P. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04103-7
Format: Electronic Resources
Availability Online Library~1

Algorithms - ESA 2009 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings

2024-12-23T02:42:21Z

Author Fiat, Amos. editor. Sanders, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04128-0
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

2024-12-23T02:42:21Z

Author Clavier, Christophe. editor. Gaj, Kris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04138-9
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2009 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedings

2024-12-23T02:42:21Z

Author Foggia, Pasquale. editor. Sansone, Carlo. editor. Vento, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04146-4
Format: Electronic Resources
Availability Online Library~1

Combinatorial Image Analysis 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings

2024-12-23T02:42:21Z

Author Wiederhold, Petra. editor. Barneva, Reneta P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10210-3
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers

2024-12-23T02:42:21Z

Author Fiala, Jiří. editor. Kratochvíl, Jan. editor. Miller, Mirka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10217-2
Format: Electronic Resources
Availability Online Library~1

Information Theoretic Security Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers

2024-12-23T02:42:21Z

Author Desmedt, Yvo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10230-1
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers

2024-12-23T02:42:21Z

Author Deaton, Russell. editor. Suyama, Akira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10604-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

2024-12-23T02:42:21Z

Author Datta, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10622-4
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings

2024-12-23T02:42:21Z

Author Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10631-6
Format: Electronic Resources
Availability Online Library~1

Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers

2024-12-23T02:42:21Z

Author Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10698-9
Format: Electronic Resources
Availability Online Library~1

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

2024-12-23T02:42:21Z

Author Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11447-2
Format: Electronic Resources
Availability Online Library~1

Einführung in die Finanzmathematik

2024-12-23T02:42:21Z

Author Albrecher, Hansjörg. author. Binder, Andreas. author. Mayer, Philipp. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8784-6
Format: Electronic Resources
Availability Online Library~1

Ricerca Operativa

2024-12-23T02:42:21Z

Author Serafini, Paolo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-0846-5
Format: Electronic Resources
Availability Online Library~1

Quantum Circuit Simulation

2024-12-23T02:42:21Z

Author Viamontes, George F. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3065-8
Format: Electronic Resources
Availability Online Library~1

Modern regression techniques using R : a practical guide for students and researchers

2024-12-23T02:42:21Z

Author Wright, Daniel B. London, Kamala.
Preferred Shelf Number QA278.2 W735 2009
Format: Books
Availability Beytepe Library~1

Software error detection through testing and analysis

2024-12-23T02:42:21Z

Author Huang, J. C., 1935-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102 John Wiley http://dx.doi.org/10.1002/9780470464076 MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10332960 http://swb.eblib.com/patron/FullRecord.aspx?p=456102
Format: Electronic Resources
Availability Online Library~1

Software performance and scalability a quantitative approach

2024-12-23T02:42:21Z

Author Liu, Henry H. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=33731 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448916 John Wiley http://dx.doi.org/10.1002/9780470465394 Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470462539 MyiLibrary, Table of contents http://www.myilibrary.com?id=223744&ref=toc
Format: Electronic Resources
Availability Online Library~1

The fabric of mobile services software paradigms and business demands

2024-12-23T02:42:21Z

Author Loeb, Shoshana. Falchuk, Benjamin. Panagos, Euthimios. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470478240 http://site.ebrary.com/lib/alltitles/Doc?id=10332947 Books24x7 http://www.books24x7.com/marc.asp?bookid=33732
Format: Electronic Resources
Availability Online Library~1

Constructive dialogue modelling speech interaction and rational agents

2024-12-23T02:42:21Z

Author Jokinen, Kristiina. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470511275 MyiLibrary, Table of contents http://www.myilibrary.com?id=218857&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10310622
Format: Electronic Resources
Availability Online Library~1

Trust theory

2024-12-23T02:42:21Z

Author Castelfranchi, Cristiano. Falcone, Rino. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470519851
Format: Electronic Resources
Availability Online Library~1

UML 2 semantics and applications

2024-12-23T02:42:21Z

Author Lano, K.
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=33734 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=711732 John Wiley http://dx.doi.org/10.1002/9780470522622
Format: Electronic Resources
Availability Online Library~1

Agent-directed simulation and systems engineering

2024-12-23T02:42:21Z

Author Yilmaz, Levent, 1971- Ören, Tuncer I. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737 John Wiley http://dx.doi.org/10.1002/9783527627783
Format: Electronic Resources
Availability Online Library~1

Enterprise-scale agile software development

2024-12-23T02:42:21Z

Author Schiel, James.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Essential software testing a use-case approach

2024-12-23T02:42:21Z

Author Fournier, Greg.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Data flow analysis theory and practice

2024-12-23T02:42:21Z

Author Khedker, Uday. Sanyal, Amitabha. Karkare, Bageshri.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Multi-agent systems simulation and applications

2024-12-23T02:42:21Z

Author Uhrmacher, Adelinde. Weyns, Danny.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Managing and leading software projects

2024-12-23T02:42:21Z

Author Fairley, R. E. (Richard E.), 1937- IEEE Computer Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Extreme programming

2024-12-23T02:42:21Z

Author Acar, Özcan.
Preferred Shelf Number QA76.76 .D47 A23 2009
Format: Books
Availability Beytepe Library~2

Systems and software engineering with applications

2024-12-23T02:42:21Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Three-Dimensional Digital Image Processing

2024-12-23T02:42:21Z

Author Toriwaki, Junichiro. author. Yoshida, Hiro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-172-5
Format: Electronic Resources
Availability Online Library~1

Scheduling for Parallel Processing

2024-12-23T02:42:21Z

Author Drozdowski, Maciej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-310-5
Format: Electronic Resources
Availability Online Library~1

Modelling systems : practical tools and techniques in software development

2024-12-23T02:42:21Z

Author Fitzgerald, John, 1965- author. Larsen, P. G. (Peter Gorm), 1964- author.
Preferred Shelf Number QA76.76 .D47 F59 2009
Electronic Access https://doi.org/10.1017/CBO9780511626975
Format: Electronic Resources
Availability Online Library~1

Algorithmic Adventures From Knowledge to Magic

2024-12-23T02:42:21Z

Author Hromkovic, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85986-4
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2024-12-23T02:42:21Z

Author Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92701-3
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings

2024-12-23T02:42:21Z

Author Reingold, Omer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00457-5
Format: Electronic Resources
Availability Online Library~1

Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers

2024-12-23T02:42:21Z

Author Margenov, Svetozar. editor. Vulkov, Lubin G. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00464-3
Format: Electronic Resources
Availability Online Library~1

Public Key Cryptography – PKC 2009 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings

2024-12-23T02:42:21Z

Author Jarecki, Stanisław. editor. Tsudik, Gene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00468-1
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T02:42:21Z

Author Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00722-4
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology – ICISC 2008 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers

2024-12-23T02:42:21Z

Author Lee, Pil Joong. editor. Cheon, Jung Hee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00730-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-12-23T02:42:21Z

Author Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00768-2
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Visual Computing LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers

2024-12-23T02:42:21Z

Author Nielsen, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00826-9
Format: Electronic Resources
Availability Online Library~1

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings

2024-12-23T02:42:21Z

Author Li, Wenjie. editor. Mollá-Aliod, Diego. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00831-3
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings

2024-12-23T02:42:21Z

Author Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00834-4
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2009 The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings

2024-12-23T02:42:21Z

Author Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00862-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

2024-12-23T02:42:21Z

Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00899-3
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers

2024-12-23T02:42:21Z

Author Yung, Moti. editor. Liu, Peng. editor. Lin, Dongdai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01440-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I

2024-12-23T02:42:21Z

Author Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01507-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II

2024-12-23T02:42:21Z

Author Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01510-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III

2024-12-23T02:42:21Z

Author Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01513-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Data Hiding and Multimedia Security IV

2024-12-23T02:42:21Z

Author Shi, Yun Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01757-5
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings

2024-12-23T02:42:21Z

Author Batzoglou, Serafim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02008-7
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings

2024-12-23T02:42:21Z

Author Vahrenhold, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02011-7
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings

2024-12-23T02:42:21Z

Author Du, Ding-Zhu. editor. Hu, Xiaodong. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02026-1
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings

2024-12-23T02:42:21Z

Author Goldberg, Andrew V. editor. Zhou, Yunhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02158-9
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings

2024-12-23T02:42:21Z

Author Tai, Xue-Cheng. editor. Mørken, Knut. editor. Lysaker, Marius. editor. Lie, Knut-Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02256-2
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

2024-12-23T02:42:21Z

Author Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02261-6
Format: Electronic Resources
Availability Online Library~1

Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I

2024-12-23T02:42:21Z

Author Mira, José. editor. Ferrández, José Manuel. editor. Álvarez, José R. editor. Paz, Félix. editor. Toledo, F. Javier. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02264-7
Format: Electronic Resources
Availability Online Library~1

Bioinspired Applications in Artificial and Natural Computation Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II

2024-12-23T02:42:21Z

Author Mira, José. editor. Ferrández, José Manuel. editor. Álvarez, José R. editor. Paz, Félix. editor. Toledo, F. Javier. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02267-8
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings

2024-12-23T02:42:21Z

Author Deng, Xiaotie. editor. Hopcroft, John E. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02270-8
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings

2024-12-23T02:42:21Z

Author Corchado, Emilio. editor. Wu, Xindong. editor. Oja, Erkki. editor. Herrero, Álvaro. editor. Baruque, Bruno. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02319-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision and Graphics International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers

2024-12-23T02:42:21Z

Author Bolc, Leonard. editor. Kulikowski, Juliusz L. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02345-3
Format: Electronic Resources
Availability Online Library~1

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2024-12-23T02:42:21Z

Author Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02351-4
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2009 Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings

2024-12-23T02:42:21Z

Author Preneel, Bart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02384-2
Format: Electronic Resources
Availability Online Library~1

Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings

2024-12-23T02:42:21Z

Author Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02397-2
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

2024-12-23T02:42:21Z

Author Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02424-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings

2024-12-23T02:42:21Z

Author Kucherov, Gregory. editor. Ukkonen, Esko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02441-2
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Methods for Bioinformatics and Biostatistics 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers

2024-12-23T02:42:21Z

Author Masulli, Francesco. editor. Tagliaferri, Roberto. editor. Verkhivker, Gennady M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02504-4
Format: Electronic Resources
Availability Online Library~1

Anticipatory Behavior in Adaptive Learning Systems From Psychological Theories to Artificial Cognitive Systems

2024-12-23T02:42:21Z

Author Pezzulo, Giovanni. editor. Butz, Martin V. editor. Sigaud, Olivier. editor. Baldassarre, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02565-5
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings

2024-12-23T02:42:21Z

Author Diekert, Volker. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02737-6
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings

2024-12-23T02:42:21Z

Author Ngo, Hung Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02882-3
Format: Electronic Resources
Availability Online Library~1

Mathematics of Surfaces XIII 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings

2024-12-23T02:42:21Z

Author Hancock, Edwin R. editor. Martin, Ralph R. editor. Sabin, Malcolm A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03596-8
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings

2024-12-23T02:42:21Z

Author Cremers, Daniel. editor. Boykov, Yuri. editor. Blake, Andrew. editor. Schmidt, Frank R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03641-5
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings

2024-12-23T02:42:21Z

Author Dinur, Irit. editor. Jansen, Klaus. editor. Naor, Joseph. editor. Rolim, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03685-9
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

2024-12-23T02:42:21Z

Author Calude, Cristian S. editor. Costa, José Félix. editor. Dershowitz, Nachum. editor. Freire, Elisabete. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03745-0
Format: Electronic Resources
Availability Online Library~1

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings

2024-12-23T02:42:21Z

Author Stützle, Thomas. editor. Birattari, Mauro. editor. Hoos, Holger H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03751-1
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

2024-12-23T02:42:21Z

Author Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03754-2
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings

2024-12-23T02:42:21Z

Author Ropo, Matti. editor. Westerholm, Jan. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03770-2
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings

2024-12-23T02:42:21Z

Author Karlgren, Jussi. editor. Tarhio, Jorma. editor. Hyyrö, Heikki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03784-9
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

2024-12-23T02:42:21Z

Author Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03816-7
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

2024-12-23T02:42:21Z

Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02927-1
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

2024-12-23T02:42:21Z

Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02930-1
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

2024-12-23T02:42:21Z

Author Ghilardi, Silvio. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04222-5
Format: Electronic Resources
Availability Online Library~1

Algorithms in Bioinformatics 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings

2024-12-23T02:42:21Z

Author Salzberg, Steven L. editor. Warnow, Tandy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04241-6
Format: Electronic Resources
Availability Online Library~1

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures

2024-12-23T02:42:21Z

Author Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04652-0
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

2024-12-23T02:42:21Z

Author Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04694-0
Format: Electronic Resources
Availability Online Library~1

Comparative Genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings

2024-12-23T02:42:21Z

Author Ciccarelli, Francesca D. editor. Miklós, István. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04744-2
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

2024-12-23T02:42:21Z

Author Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04761-9
Format: Electronic Resources
Availability Online Library~1

Information Retrieval Technology 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings

2024-12-23T02:42:21Z

Author Lee, Gary Geunbae. editor. Song, Dawei. editor. Lin, Chin-Yew. editor. Aizawa, Akiko. editor. Kuriyama, Kazuko. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04769-5
Format: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval Theory Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September 10-12, 2009 Proceedings

2024-12-23T02:42:21Z

Author Azzopardi, Leif. editor. Kazai, Gabriella. editor. Robertson, Stephen. editor. Rüger, Stefan. editor. Shokouhi, Milad. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04417-5
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

2024-12-23T02:42:21Z

Author Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04420-5
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology XI

2024-12-23T02:42:21Z

Author Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04186-0
Format: Electronic Resources
Availability Online Library~1

Smart Spaces and Next Generation Wired/Wireless Networking 9th International Conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009. Proceedings

2024-12-23T02:42:21Z

Author Balandin, Sergey. editor. Moltchanov, Dmitri. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04190-7
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers

2024-12-23T02:42:21Z

Author Korytowski, Adam. editor. Malanowski, Kazimierz. editor. Mitkowski, Wojciech. editor. Szymkat, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04802-9
Format: Electronic Resources
Availability Online Library~1

Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings

2024-12-23T02:42:21Z

Author Samarati, Pierangela. editor. Yung, Moti. editor. Martinelli, Fabio. editor. Ardagna, Claudio A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04474-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

2024-12-23T02:42:21Z

Author Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10366-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

2024-12-23T02:42:21Z

Author Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10373-5
Format: Electronic Resources
Availability Online Library~1

Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings

2024-12-23T02:42:21Z

Author Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10406-0
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings

2024-12-23T02:42:21Z

Author Qing, Sihan. editor. Mitchell, Chris J. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11145-7
Format: Electronic Resources
Availability Online Library~1

Agents for Games and Simulations Trends in Techniques, Concepts and Design

2024-12-23T02:42:21Z

Author Dignum, Frank. editor. Bradshaw, Jeff. editor. Silverman, Barry. editor. Doesburg, Willem. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11198-3
Format: Electronic Resources
Availability Online Library~1

Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

2024-12-23T02:42:21Z

Author Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11269-0
Format: Electronic Resources
Availability Online Library~1

At your service service-oriented computing from an EU perspective

2024-12-23T02:42:21Z

Author Di Nitto, Elisabetta. Information Society Technologies Programme.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267197
Format: Electronic Resources
Availability Online Library~1

The art of agent-oriented modeling

2024-12-23T02:42:21Z

Author Sterling, Leon. Taveter, Kuldar.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267363
Format: Electronic Resources
Availability Online Library~1