Search Results for Computer science.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Author: SpringerLink (Online service)

+

Language: English

+

Publication Date: 2006

+

Subject: Logic design.

Author

Baldoni, Matteo. editor.

(2)

Bjørner, Dines. author.

(2)

Dix, Jürgen. editor.

(2)

Endriss, Ulle. editor.

(2)

Graf, Susanne. editor.

(2)

Hermanns, Holger. editor.

(2)

Ibarra, Oscar H. editor.

(2)

Núñez, Manuel. editor.

(2)

Sichman, Jaime Simão. editor.

(2)

Stafford, Judith A. editor.

(2)

Szyperski, Clemens. editor.

(2)

Abrahamsson, Pekka. editor.

(1)

Aceto, Luca. editor.

(1)

Allemang, Dean. editor.

(1)

Aroyo, Lora M. editor.

(1)

Arun-Kumar, S. editor.

(1)

Asarin, Eugene. editor.

(1)

Azemard, Nadine. editor.

(1)

Baier, Christel. editor.

(1)

Ball, Thomas. editor.

(1)

Baresi, Luciano. editor.

(1)

Barkaoui, Kamel. editor.

(1)

Barthe, Gilles. editor.

(1)

Benhamou, Frédéric. editor.

(1)

Bernardo, Marco. editor.

(1)

Bin, Eyal. editor.

(1)

Bjøner, Dines. author.

(1)

Boer, Frank S. editor.

(1)

Boissier, Olivier. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bordini, Rafael H. editor.

(1)

Bouyer, Patricia. editor.

(1)

Bowman, Howard. author.

(1)

Bravetti, Mario. editor.

(1)

Broy, Manfred. editor.

(1)

Butterfield, Andrew. editor.

(1)

Carlsson, Mats. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cerone, Antonio. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Coelho, Helder. editor.

(1)

Corradini, Andrea. editor.

(1)

Correa, José R. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Crnković, Ivica. editor.

(1)

Cruz, Isabel. editor.

(1)

Dang, Zhe. editor.

(1)

DasGupta, Pallab. author.

(1)

Dastani, Mehdi M. editor.

(1)

Decker, Stefan. editor.

(1)

Dignum, Frank P. M. editor.

(1)

Dignum, Virginia. editor.

(1)

Donzeau-Gouge, Véronique Viguié. editor.

(1)

Durand, Bruno. editor.

(1)

Düntsch, Ivo. editor.

(1)

Egan, Colin. editor.

(1)

Ehrig, Hartmut. author.

(1)

Ehrig, Hartmut. editor.

(1)

Ehrig, Karsten. author.

(1)

Eijk, Rogier M. editor.

(1)

Eliassen, Frank. editor.

(1)

Emerson, E. Allen. editor.

(1)

Etalle, Sandro. editor.

(1)

Fages, François. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Farré, Jacques. editor.

(1)

Filliâtre, Jean-Christophe. editor.

(1)

Fliedl, Günther. editor.

(1)

Flores, Roberto. editor.

(1)

Furbach, Ulrich. editor.

(1)

Futatsugi, Kokichi. editor.

(1)

Gabbar, Hossam A. editor.

(1)

Gabbay, Dov M. editor.

(1)

Garg, Naveen. editor.

(1)

Ghanea-Hercock, Robert. editor.

(1)

Gilroy, Stephen W. editor.

(1)

Giunchiglia, Fausto. editor.

(1)

Gomez, Rodolfo. author.

(1)

Goncharov, Sergei S. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Gorton, Ian. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Goubin, Louis. editor.

(1)

Grelck, Clemens. editor.

(1)

Grieskamp, Wolfgang. editor.

(1)

Grégoire, Benjamin. editor.

(1)

Guelfi, Nicolas. editor.

(1)

Górski, Janusz. editor.

(1)

Hagiya, Masami. editor.

(1)

Harrison, Michael D. editor.

(1)

Havelund, Klaus. editor.

(1)

He, Jifeng. editor.

(1)

Heckel, Reiko. editor.

(1)

Hegner, Stephen J. editor.

(1)

Heineman, George T. editor.

(1)

Hentenryck, Pascal. editor.

(1)

Hermann, Miki. editor.

(1)

Hespanha, João P. editor.

(1)

Hevia, Alejandro. editor.

(1)

Hill, Patricia M. editor.

(1)

Hnich, Brahim. editor.

(1)

Hofmeister, Christine. editor.

(1)

Horváth, András. editor.

(1)

Huch, Frank. editor.

(1)

Huisman, Marieke. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jesshope, Chris. editor.

(1)

Johnson, Michael. editor.

(1)

Jones, Robert B. editor.

(1)

Jouannaud, Jean-Pierre. editor.

(1)

Julliand, Jacques. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Karttunen, Lauri. editor.

(1)

Kiwi, Marcos. editor.

(1)

Kobayashi, Naoki. editor.

(1)

Kobayashi, Satoshi. editor.

(1)

Kop, Christian. editor.

(1)

Kouchnarenko, Olga. editor.

(1)

Královič, Rastislav. editor.

(1)

Krüger, Ingolf H. editor.

(1)

Lanet, Jean-Louis. editor.

(1)

Lightfoot, David E. editor.

(1)

Lindemann, Gabriela. editor.

(1)

Litovsky, Igor. editor.

(1)

Liu, Zhiming. editor.

(1)

Löwe, Welf. editor.

(1)

MacCaull, Wendy. editor.

(1)

Marchesi, Michele. editor.

(1)

Margaria, Tiziana. editor.

(1)

Matson, Eric. editor.

(1)

Matsui, Mitsuru. editor.

(1)

Maurine, Philippe. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Meisinger, Michael. editor.

(1)

Meseguer, José. editor.

(1)

Mika, Peter. editor.

(1)

Mills, Bruce. author.

(1)

Misra, Jayadev. editor.

(1)

Mizoguchi, Riichiro. editor.

(1)

Montanari, Ugo. editor.

(1)

Montresor, Alberto. editor.

(1)

Mycroft, Alan. editor.

(1)

Métais, Elisabeth. editor.

(1)

Müller, Jörg P. editor.

(1)

Müller-Olm, Markus. author.

(1)

Najm, Elie. editor.

(1)

Namjoshi, Kedar S. editor.

(1)

Nipkow, Tobias. editor.

(1)

Nishino, Tetsuro. editor.

(1)

Omicini, Andrea. editor.

(1)

Ossowski, Sascha. editor.

(1)

Padget, Julian. editor.

(1)

Palsberg, Jens. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Pfenning, Frank. editor.

(1)

Pradat-Peyre, Jean-François. editor.

(1)

Prange, Ulrike. author.

(1)

Preist, Chris. editor.

(1)

Reed, Rick. editor.

(1)

Rensink, Arend. editor.

(1)

Reussner, Ralf H. editor.

(1)

Reussner, Ralf. editor.

(1)

Rezende, Solange Oliveira. editor.

(1)

Ribeiro, Leila. editor.

(1)

Roever, Willem-Paul. editor.

(1)

Rossi, Francesca. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Roşu, Grigore. editor.

(1)

Sadananda, Ramakoti. editor.

(1)

Sakakibara, Yasubumi. editor.

(1)

Sato, Kengo. editor.

(1)

Savidis, Anthony. editor.

(1)

Schmidt, Heinz W. editor.

(1)

Schmitz, Sylvain. editor.

(1)

Schwabe, Daniel. editor.

(1)

Sekerinski, Emil. editor.

(1)

Sestoft, Peter. editor.

(1)

Shankar, Natarajan. editor.

(1)

Shi, Zhong-Zhi. editor.

(1)

Shi, Zhongzhi. editor.

(1)

Steffen, Bernhard. editor.

(1)

Succi, Giancarlo. editor.

(1)

Szyperski, Clemens A. editor.

(1)

Südholt, Mario. editor.

(1)

Taentzer, Gabriele. author.

(1)

Telek, Miklós. editor.

(1)

Thomas, Dave. editor.

(1)

Thomas, Wolfgang. editor.

(1)

Thompson, Simon G. editor.

(1)

Tiwari, Ashish. editor.

(1)

Tomita, Etsuji. editor.

(1)

Torroni, Paolo. editor.

(1)

Truszczyński, Mirosław. editor.

(1)

Ur, Shmuel. editor.

(1)

Urzyczyn, Paweł. editor.

(1)

Uschold, Mike. editor.

(1)

Uustalu, Tarmo. editor.

(1)

Valmari, Antti. editor.

(1)

Vene, Varmo. editor.

(1)

Voronkov, Andrei. editor.

(1)

Subject

Computer science.

(95)

Software engineering.

(64)

Computer Communication Networks.

(30)

Artificial intelligence.

(29)

Computer software.

(11)

Operating systems (Computers).

(10)

Information Systems.

(9)

Computational complexity.

(8)

Algebra -- Data processing.

(6)

Data structures (Computer science).

(5)

Information storage and retrieval systems.

(5)

Information systems.

(5)

Computer system performance.

(4)

Electronic data processing.

(3)

Information theory.

(3)

Computer simulation.

(2)

Database management.

(2)

Logic, Symbolic and mathematical.

(2)

Multimedia systems.

(2)

Systems engineering.

(2)

Text processing (Computer science.

(2)

Translators (Computer programs).

(2)

(1)

Chemistry -- Mathematics.

(1)

(1)

(1)

Computer aided design.

(1)

Computer network architectures.

(1)

Data encryption (Computer science).

(1)

Data transmission systems.

(1)

(1)

Engineering mathematics.

(1)

(1)

(1)

(1)

Memory management (Computer science).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

95 Results Found

Subscribe to search results

1 2 3 4 5 .. 8

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 STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

Author

Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11672142

Format:

Availability

Online Library~1

Available:
Copies:

2.

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

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

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

Author

MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11734673

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

Author

Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11944836

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

Author

Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11821069

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Author

Ésik, Zoltán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11874683

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Author

Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11678779

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

Author

Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11678823

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

Author

Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11690634

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Author

Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11688839

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Author

Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11691372

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Author

Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11693017

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Author

Sestoft, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11693024

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11