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: 2006

+

Subject: Logic design.

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(65)

Baldoni, Matteo. editor.

(2)

Bjørner, Dines. author.

(2)

Endriss, Ulle. editor.

(2)

Graf, Susanne. editor.

(2)

Núñez, Manuel. editor.

(2)

Stafford, Judith A. editor.

(2)

Szyperski, Clemens. editor.

(2)

Abrahamsson, Pekka. editor.

(1)

Aceto, Luca. editor.

(1)

Asarin, Eugene. editor.

(1)

Ball, Thomas. editor.

(1)

Baresi, Luciano. editor.

(1)

Barkaoui, Kamel. editor.

(1)

Barthe, Gilles. 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)

Cavalcanti, Ana. editor.

(1)

Cerone, Antonio. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Corradini, Andrea. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Crnković, Ivica. editor.

(1)

Dastani, Mehdi M. editor.

(1)

Dignum, Frank P. M. editor.

(1)

Dignum, Virginia. editor.

(1)

Dix, Jürgen. editor.

(1)

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

(1)

Düntsch, Ivo. editor.

(1)

Ehrig, Hartmut. editor.

(1)

Eijk, Rogier M. editor.

(1)

Eliassen, Frank. editor.

(1)

Emerson, E. Allen. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Flores, Roberto. editor.

(1)

Furbach, Ulrich. editor.

(1)

Ghanea-Hercock, Robert. editor.

(1)

Gilroy, Stephen W. editor.

(1)

Gomez, Rodolfo. author.

(1)

Gorrieri, Roberto. editor.

(1)

Gorton, Ian. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Goubin, Louis. editor.

(1)

Grieskamp, Wolfgang. editor.

(1)

Grégoire, Benjamin. editor.

(1)

Guelfi, Nicolas. editor.

(1)

Górski, Janusz. editor.

(1)

Harrison, Michael D. editor.

(1)

Havelund, Klaus. editor.

(1)

He, Jifeng. editor.

(1)

Heckel, Reiko. editor.

(1)

Heineman, George T. editor.

(1)

Hentenryck, Pascal. editor.

(1)

Hermann, Miki. editor.

(1)

Hermanns, Holger. editor.

(1)

Hespanha, João P. editor.

(1)

Hofmeister, Christine. editor.

(1)

Horváth, András. editor.

(1)

Huisman, Marieke. editor.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Johnson, Michael. editor.

(1)

Jones, Robert B. editor.

(1)

Julliand, Jacques. editor.

(1)

Kobayashi, Naoki. editor.

(1)

Kouchnarenko, Olga. editor.

(1)

Krüger, Ingolf H. editor.

(1)

Lanet, Jean-Louis. editor.

(1)

Liebig, Hans. author.

(1)

Lightfoot, David E. editor.

(1)

Lindemann, Gabriela. 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)

Meisinger, Michael. editor.

(1)

Mills, Bruce. author.

(1)

Misra, Jayadev. editor.

(1)

Montanari, Ugo. editor.

(1)

Montresor, Alberto. editor.

(1)

Mycroft, Alan. 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)

Omicini, Andrea. editor.

(1)

Ossowski, Sascha. editor.

(1)

Padget, Julian. editor.

(1)

Palsberg, Jens. editor.

(1)

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

(1)

Reed, Rick. editor.

(1)

Rensink, Arend. editor.

(1)

Reussner, Ralf H. editor.

(1)

Reussner, Ralf. editor.

(1)

Ribeiro, Leila. editor.

(1)

Roever, Willem-Paul. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Roşu, Grigore. editor.

(1)

Sadananda, Ramakoti. editor.

(1)

Savidis, Anthony. editor.

(1)

Schmidt, Heinz W. editor.

(1)

Sekerinski, Emil. editor.

(1)

Sestoft, Peter. editor.

(1)

Shankar, Natarajan. editor.

(1)

Shi, Zhong-Zhi. editor.

(1)

Sichman, Jaime Simão. editor.

(1)

Steffen, Bernhard. editor.

(1)

Succi, Giancarlo. editor.

(1)

Szyperski, Clemens A. editor.

(1)

Südholt, Mario. editor.

(1)

Telek, Miklós. editor.

(1)

Thomas, Dave. editor.

(1)

Thompson, Simon G. editor.

(1)

Tiwari, Ashish. editor.

(1)

Torroni, Paolo. editor.

(1)

Ur, Shmuel. editor.

(1)

Uustalu, Tarmo. editor.

(1)

Valmari, Antti. editor.

(1)

Vene, Varmo. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vázquez-Salceda, Javier. editor.

(1)

Wallnau, Kurt. editor.

(1)

Warmer, Jos. editor.

(1)

Wehrheim, Heike. editor.

(1)

Weise, Carsten. editor.

(1)

Winter, Michael. editor.

(1)

Wolff, Burkhart. editor.

(1)

Wolfsthal, Yaron. editor.

(1)

Yi, Kwangkeun. editor.

(1)

Zambonelli, Franco. editor.

(1)

Zavattaro, Gianluigi. editor.

(1)

Zeller, Andreas. editor.

(1)

Zhang, Wenhui. editor.

(1)

Language

(64)

(1)

Subject

Computer science.

(65)

Computer Communication Networks.

(25)

Artificial intelligence.

(14)

Information Systems.

(9)

Operating systems (Computers).

(9)

Computer system performance.

(3)

Algebra -- Data processing.

(2)

Computational complexity.

(2)

Computer simulation.

(2)

Computer software.

(2)

Data structures (Computer science).

(2)

Information systems.

(2)

(1)

Computer network architectures.

(1)

Data encryption (Computer science).

(1)

(1)

Information storage and retrieval systems.

(1)

Information theory.

(1)

Telecommunication.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

65 Results Found

Subscribe to search results

1 2 3 4 5 6

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 Software Engineering 1 Abstraction and Modelling

Software Engineering 1 Abstraction and Modelling

Software Engineering 1 Abstraction and Modelling

Author

Bjørner, Dines. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-31288-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

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:

4.

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:

5.

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:

6.

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:

7.

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:

8.

Cover image for Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

Author

Valmari, Antti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Author

Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Author

Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

Author

Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

Author

Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11