Search Results for Software.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Publication Date: 2009

+

Subject: Information theory.

Author

SpringerLink (Online service)

(33)

Albada, Geert Dick. editor.

(2)

Albers, Susanne. editor.

(2)

Allen, Gabrielle. editor.

(2)

Chen, Jianer. editor.

(2)

Dongarra, Jack. editor.

(2)

Gavrilova, Marina L. editor.

(2)

Gervasi, Osvaldo. editor.

(2)

Jensen, Kurt. editor.

(2)

Laganà, Antonio. editor.

(2)

Löwe, Benedikt. editor.

(2)

Marchetti-Spaccamela, Alberto. editor.

(2)

Matias, Yossi. editor.

(2)

Mun, Youngsong. editor.

(2)

Murgante, Beniamino. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

Seidel, Edward. editor.

(2)

Sloot, Peter M. A. editor.

(2)

Taniar, David. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Aalst, Wil M. P. editor.

(1)

Abrial, Jean-Raymond. editor.

(1)

Affenzeller, Michael. editor.

(1)

Alexander, Michael. editor.

(1)

Alfaro, Luca. editor.

(1)

Ambos-Spies, Klaus. editor.

(1)

Archibald, Margaret. editor.

(1)

Billington, Jonathan. editor.

(1)

Bournez, Olivier. editor.

(1)

Brattka, Vasco. editor.

(1)

Braverman, Mark. author.

(1)

Bravetti, Mario. editor.

(1)

Bruza, Peter. editor.

(1)

Buchberger, Bruno. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Childs, Andrew. editor.

(1)

Cooper, S. Barry. editor.

(1)

Cérin, Christophe. editor.

(1)

César, Eduardo. editor.

(1)

Fernández, Maribel. author.

(1)

Ferscha, Alois. editor.

(1)

Fomin, Fedor V. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Frid, Anna. editor.

(1)

Glässer, Uwe. editor.

(1)

Goranko, Valentin. editor.

(1)

Haller, Michael. editor.

(1)

Hromkovic, Juraj. author.

(1)

Jebelean, Tudor. editor.

(1)

Jha, Shantenu. editor.

(1)

Kanazawa, Makoto. editor.

(1)

Klement, Erich Peter. editor.

(1)

Klusch, Matthias. editor.

(1)

Knüpfer, Andreas. editor.

(1)

Koopman, Pieter. editor.

(1)

Koutny, Maciej. editor.

(1)

Kranzlmüller, Dieter. editor.

(1)

Lawless, William. editor.

(1)

Leucker, Martin. editor.

(1)

Merkle, Wolfgang. editor.

(1)

Moor, Oege. editor.

(1)

Morgan, Carroll. editor.

(1)

Morozov, Andrey. editor.

(1)

Mosca, Michele. editor.

(1)

Ono, Hiroakira. editor.

(1)

Ouaknine, Joël. editor.

(1)

Paule, Peter. editor.

(1)

Plasmeijer, Rinus. editor.

(1)

Pomberger, Gustav. editor.

(1)

Potapov, Igor. editor.

(1)

Queiroz, Ruy. editor.

(1)

Ramanujam, R. editor.

(1)

Rijsbergen, Keith. editor.

(1)

Riolo, Rick. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Sarukkai, Sundar. editor.

(1)

Schreiner, Wolfgang. editor.

(1)

Schwartzbach, Michael I. editor.

(1)

Sofge, Donald. editor.

(1)

Soule, Terence. editor.

(1)

Streit, Achim. editor.

(1)

Stubenrauch, Robert. editor.

(1)

Swierstra, Doaitse. editor.

(1)

Träff, Jesper Larsson. editor.

(1)

Vaandrager, Frits W. editor.

(1)

Wagner, Klaus W. editor.

(1)

Wagner, Roland. editor.

(1)

Weiß, Gerhard. editor.

(1)

Windsteiger, Wolfgang. editor.

(1)

Wolf, Karsten. editor.

(1)

Worzel, Bill. editor.

(1)

Yampolsky, Michael. author.

(1)

Zavattaro, Gianluigi. editor.

(1)

Language

(33)

Subject

Computer science.

(33)

Computer software.

(23)

Software engineering.

(18)

Electronic data processing.

(12)

(10)

Computational complexity.

(7)

Computer simulation.

(7)

Artificial intelligence.

(6)

(4)

Algebra -- Data processing.

(3)

Bioinformatics.

(3)

(3)

(2)

Computer aided design.

(2)

Computer network architectures.

(2)

Computer vision.

(2)

(2)

(1)

Computer Communication Networks.

(1)

(1)

Information Systems.

(1)

Information systems.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

33 Results Found

Subscribe to search results

1 2 3

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for 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

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

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

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:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Alfaro, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00596-1

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for 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

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

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

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:

Availability

Online Library~1

Available:
Copies:

4.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

5.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Author

Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04368-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

8.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Transactions on Petri Nets and Other Models of Concurrency III

Transactions on Petri Nets and Other Models of Concurrency III

Transactions on Petri Nets and Other Models of Concurrency III

Author

Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04856-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

11.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Genetic Programming Theory and Practice VI

Genetic Programming Theory and Practice VI

Genetic Programming Theory and Practice VI

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:

Availability

Online Library~1

Available:
Copies:

1 2 3

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11