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:

+

Author: SpringerLink (Online service)

+

Language: English

+

Publication Date: 2010

+

Subject: Logic design.

Author

Dix, Jürgen. editor.

(3)

Voronkov, Andrei. editor.

(3)

Calude, Cristian S. editor.

(2)

Dawar, Anuj. editor.

(2)

Fraser, Gordon. editor.

(2)

Kučera, Antonín. editor.

(2)

Margaria, Tiziana. editor.

(2)

Plasil, Frantisek. editor.

(2)

Plasmeijer, Rinus. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Schäfer, Wilhelm. editor.

(2)

Schürr, Andy. editor.

(2)

Steffen, Bernhard. editor.

(2)

Timmis, Jon. editor.

(2)

Ablayev, Farid. editor.

(1)

Aldini, Alessandro. editor.

(1)

Aloni, Maria. editor.

(1)

Arbab, Farhad. editor.

(1)

Babar, Muhammad Ali. editor.

(1)

Baldoni, Matteo. editor.

(1)

Barringer, Howard. editor.

(1)

Barthe, Gilles. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Baudry, Benoît. editor.

(1)

Bellahsène, Zohra. editor.

(1)

Bentahar, Jamal. editor.

(1)

Bernardo, Marco. editor.

(1)

Blass, Andreas. editor.

(1)

Blesa, María J. editor.

(1)

Blum, Christian. editor.

(1)

Blume, Matthias. editor.

(1)

Boer, Frank S. editor.

(1)

Bolduc, Claude. editor.

(1)

Bononi, Luciano. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Borba, Paulo. editor.

(1)

Bottaci, Leonardo. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Brand, Mark. editor.

(1)

Butterfield, Andrew. editor.

(1)

Carro, Manuel. editor.

(1)

Casimiro, Antonio. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chen, Danny Z. editor.

(1)

Chin, Wei-Ngan. editor.

(1)

Clarke, Edmund M. editor.

(1)

Cohen, David. editor.

(1)

Cook, Byron. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Dams, Dennis. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Desharnais, Jules. editor.

(1)

D’Hondt, Theo. editor.

(1)

Echtle, Klaus. editor.

(1)

Eekelen, Marko. editor.

(1)

Ehrig, Hartmut. editor.

(1)

Engels, Gregor. editor.

(1)

England, David. editor.

(1)

Escobar, Santiago. editor.

(1)

Esparza, Javier. editor.

(1)

Falcone, Ylies. editor.

(1)

Fermüller, Christian G. editor.

(1)

Fernau, Henning. editor.

(1)

Fiala, Jiří. editor.

(1)

Finkbeiner, Bernd. editor.

(1)

Fisher, Michael. editor.

(1)

Frappier, Marc. editor.

(1)

Gacek, Cristina. editor.

(1)

Gao, Yuan. editor.

(1)

Gargantini, Angelo. editor.

(1)

Gastin, Paul. editor.

(1)

Gašević, Dragan. editor.

(1)

Gervais, Marie-Pierre. editor.

(1)

Ghosh, Sudipto. editor.

(1)

Glässer, Uwe. editor.

(1)

Gogolla, Martin. editor.

(1)

González-Pérez, César. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gorton, Ian. editor.

(1)

Governatori, Guido. editor.

(1)

Gray, Jeff. editor.

(1)

Grunske, Lars. editor.

(1)

Hagiya, Masami. editor.

(1)

Hallerstede, Stefan. editor.

(1)

Hannemann, Ulrich. editor.

(1)

Hatcliff, John. editor.

(1)

Havelund, Klaus. editor.

(1)

Heineman, George T. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hermenegildo, Manuel. editor.

(1)

Hinchey, Mike. editor.

(1)

Hliněný, Petr. editor.

(1)

Horváth, Zoltán. editor.

(1)

Hull, Richard. editor.

(1)

Hutter, Marcus. editor.

(1)

Jablonski, Stefan. editor.

(1)

Jackson, Paul. editor.

(1)

Jager, Tikitu. editor.

(1)

Jamroga, Wojtek. editor.

(1)

Janhunen, Tomi. editor.

(1)

Janowski, Tomasz. editor.

(1)

Katz, Shmuel. editor.

(1)

Kaufmann, Matt. editor.

(1)

Khurshid, Sarfraz. editor.

(1)

Kienzle, Jörg. editor.

(1)

Kitzelmann, Emanuel. editor.

(1)

Kleinjohann, Bernd. editor.

(1)

Kleinjohann, Lisa. editor.

(1)

Kobayashi, Naoki. editor.

(1)

Kofron, Jan. editor.

(1)

Kolman, Petr. editor.

(1)

Kornai, András. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Kratochvíl, Jan. editor.

(1)

Ktari, Béchir. editor.

(1)

Kühne, Thomas. editor.

(1)

Laleau, Régine. editor.

(1)

Laroussinie, François. editor.

(1)

Leavens, Gary T. editor.

(1)

Lee, Der-Tsai. editor.

(1)

Lee, Insup. editor.

(1)

Lee, Mong Li. editor.

(1)

Leite, João. editor.

(1)

Lemos, Rogério. editor.

(1)

Leuschel, Michael. editor.

(1)

Lewerentz, Claus. editor.

(1)

Li, Angsheng. editor.

(1)

Lilius, Johan. editor.

(1)

Lindsay, Peter A. editor.

(1)

Link, Sebastian. editor.

(1)

Lloyd, John. editor.

(1)

Lu, Hanlin. editor.

(1)

Maciaszek, Leszek A. editor.

(1)

Majumdar, Rupak. editor.

(1)

Maldonado, José Carlos. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Mayr, Ernst W. editor.

(1)

Mendling, Jan. editor.

(1)

Merz, Stephan. editor.

(1)

Metzger, Andreas. editor.

(1)

Mezini, Mira. editor.

(1)

Miller, Julian F. editor.

(1)

Mohanty, Hrushikesha. editor.

(1)

Montali, Marco. author.

(1)

Morita, Kenichi. editor.

(1)

Méry, Dominique. editor.

(1)

Müller, Peter. editor.

(1)

Müller-Clostermann, Bruno. editor.

(1)

Münch, Jürgen. editor.

(1)

Niemelä, Ilkka. editor.

(1)

Novák, Peter. editor.

(1)

Ong, Luke. editor.

(1)

O’Hearn, Peter. editor.

(1)

Pace, Gordon. editor.

(1)

Palanque, Philippe. editor.

(1)

Papazoglou, Mike P. editor.

(1)

Parkin, Michael. editor.

(1)

Parsons, Jeffrey. editor.

(1)

Paulson, Lawrence C. editor.

(1)

Penczek, Wojciech. editor.

(1)

Petrenko, Alexandre. editor.

(1)

Peña, Ricardo. editor.

(1)

Pnueli, Amir. editor.

(1)

Pohl, Klaus. editor.

(1)

Pol, Jaco. editor.

(1)

Potapov, Igor. editor.

(1)

Prade, Henri. editor.

(1)

Puppis, Gabriele. author.

(1)

Qin, Shengchao. editor.

(1)

Queiroz, Ruy. editor.

(1)

Raedt, Luc. editor.

(1)

Raidl, Günther. editor.

(1)

Rajamani, Sriram K. editor.

(1)

Rammig, Franz J. editor.

(1)

Rathgeb, Erwin P. editor.

(1)

Real, Jorge. editor.

(1)

Reeves, Steve. editor.

(1)

Reisig, Wolfgang. editor.

(1)

Rensink, Arend. editor.

(1)

Reussner, Ralf. editor.

(1)

Riemsdijk, M. Birna. editor.

(1)

Roli, Andrea. editor.

(1)

Rosenblum, David S. editor.

(1)

Roveri, Marco. editor.

(1)

Roşu, Grigore. editor.

(1)

Saeki, Motoshi. editor.

(1)

Sakarovitch, Jacques. editor.

(1)

Sampaio, Augusto. editor.

(1)

Sampels, Michael. editor.

(1)

Sassone, Vladimiro. editor.

(1)

Schmid, Ute. editor.

(1)

Schreye, Danny. editor.

(1)

Schulz, Katrin. editor.

(1)

Seki, Shinnosuke. editor.

(1)

Selic, Bran. editor.

(1)

Shkaravska, Olha. editor.

(1)

Shoval, Peretz. editor.

(1)

Siegler, Simon. editor.

(1)

Subject

Computer science.

(98)

Software engineering.

(85)

Computer Communication Networks.

(39)

Artificial intelligence.

(36)

Computer software.

(32)

Information systems.

(19)

Computational complexity.

(9)

Information Systems.

(7)

Information storage and retrieval systems.

(4)

Algebra -- Data processing.

(3)

(3)

Data structures (Computer science).

(3)

Monoclonal antibodies.

(3)

Computer simulation.

(2)

Database management.

(2)

Information theory.

(2)

Bioinformatics.

(1)

Data protection.

(1)

(1)

Management information systems.

(1)

Multimedia systems.

(1)

Operating systems (Computers).

(1)

Optical pattern recognition.

(1)

Translators (Computer programs).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

98 Results Found

Subscribe to search results

1 2 3 4 5 .. 9

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 Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

Author

Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Author

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Author

Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12107-4

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Author

Ghosh, Sudipto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

Author

Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13550-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

Author

Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13821-8

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings

Author

Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15114-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

Author

Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16086-8

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Gordon, Andrew D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11957-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12029-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12032-9

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11