Search Results for

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: Logic design.

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(55)

Governatori, Guido. editor.

(2)

Hofmeister, Christine. editor.

(2)

Palsberg, Jens. editor.

(2)

Peled, Doron A. editor.

(2)

Wolf, Karsten. editor.

(2)

Albers, Susanne. editor.

(1)

Alfaro, Luca. editor.

(1)

Alpuente, María. editor.

(1)

Alt, Helmut. editor.

(1)

Baker, Paul. editor.

(1)

Baldoni, Matteo. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bergel, Alexandre. editor.

(1)

Bilgic, Attila. editor.

(1)

Boer, Frank S. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bozapalidis, Symeon. editor.

(1)

Bruni, Roberto. editor.

(1)

Cao, Longbing. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chechik, Marsha. editor.

(1)

Chockler, Hana. editor.

(1)

Cofer, Darren. editor.

(1)

Cook, Byron. editor.

(1)

Dams, Dennis R. editor.

(1)

Dowek, Gilles. author.

(1)

Drossopoulou, Sophia. editor.

(1)

Dubois, Catherine. editor.

(1)

Erdem, Esra. editor.

(1)

Eugster, Patrick. editor.

(1)

Fabry, Johan. editor.

(1)

Fantechi, Alessandro. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Gent, Ian P. editor.

(1)

Ghilardi, Silvio. editor.

(1)

Ghose, Aditya. editor.

(1)

Gomez-Sanz, Jorge J. editor.

(1)

Gorodetsky, Vladimir. editor.

(1)

Gorton, Ian. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Hall, John. editor.

(1)

Hanus, Michael. editor.

(1)

Hartman, Alan. editor.

(1)

Hindriks, Koen V. editor.

(1)

Hu, Alan J. editor.

(1)

Hu, Zhenjiang. editor.

(1)

Jones, Neil D. editor.

(1)

Joubert, Christophe. editor.

(1)

Kaklamanis, Christos. editor.

(1)

Kohlas, Jürg. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Lalanne, Denis. editor.

(1)

Lee, David. editor.

(1)

Leuschel, Michael. editor.

(1)

Lewis, Grace A. editor.

(1)

Lin, Fangzhen. editor.

(1)

Liu, Jiming. editor.

(1)

Liu, Zhiming. editor.

(1)

Lopes, Antónia. editor.

(1)

Luck, Michael. editor.

(1)

Lukose, Dickson. editor.

(1)

Madelaine, Eric. editor.

(1)

Majumdar, Rupak. editor.

(1)

Maler, Oded. editor.

(1)

Maneth, Sebastian. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Mirandola, Raffaela. editor.

(1)

Moor, Oege. editor.

(1)

Müller-Olm, Markus. editor.

(1)

Nielson, Flemming. editor.

(1)

Näher, Stefan. editor.

(1)

Núñez, Manuel. editor.

(1)

Oliveira, Marcel Vinícius Medeiros. editor.

(1)

Ouaknine, Joël. editor.

(1)

Paige, Richard F. editor.

(1)

Paschke, Adrian. editor.

(1)

Philippou, Anna. editor.

(1)

Poernomo, Iman. editor.

(1)

Poetzsch-Heffter, Arnd. editor.

(1)

Pokahr, Alexander. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Rahonis, George. editor.

(1)

Ravn, Anders P. editor.

(1)

Reed, Rick. editor.

(1)

Rensink, Arend. editor.

(1)

Riemsdijk, M. Birna. editor.

(1)

Sadananda, Ramakoti. editor.

(1)

Sardina, Sebastian. editor.

(1)

Schaub, Torsten. editor.

(1)

Schwartzbach, Michael I. editor.

(1)

Schwiegelshohn, Uwe. editor.

(1)

Sebastiani, Roberto. editor.

(1)

Shi, Zhongzhi. editor.

(1)

Son, Tran Cao. editor.

(1)

Sterpone, Luca. author.

(1)

Su, Zhendong. editor.

(1)

Tabuada, Paulo. editor.

(1)

Taha, Walid Mohamed. editor.

(1)

Vaandrager, Frits W. editor.

(1)

Wehrheim, Heike. editor.

(1)

Weiss, Gerhard. editor.

(1)

Winikoff, Michael. editor.

(1)

Wirsing, Martin. editor.

(1)

Woodcock, Jim. editor.

(1)

Wooldridge, Michael J. editor.

(1)

Yu, Philip S. editor.

(1)

Language

(55)

Subject

Computer science.

(54)

Computer Communication Networks.

(13)

Computer software.

(13)

Artificial intelligence.

(12)

Information Systems.

(6)

Information theory.

(5)

Operating systems (Computers).

(5)

Computational complexity.

(4)

Computer system performance.

(4)

Algebra -- Data processing.

(3)

Computer network architectures.

(3)

Computer simulation.

(3)

(2)

Data protection.

(2)

Information systems.

(2)

(1)

Computer vision.

(1)

Electronic data processing.

(1)

(1)

Multimedia systems.

(1)

Systems engineering.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

55 Results Found

Subscribe to search results

1 2 3 4 5

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 Principles of Programming Languages

Principles of Programming Languages

Principles of Programming Languages

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:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Author

Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Human Machine Interaction Research Results of the MMI Program

Human Machine Interaction Research Results of the MMI Program

Human Machine Interaction Research Results of the MMI Program

Author

Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Author

Hanus, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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:

6.

Cover image for Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering 12th International Conference, FASE 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

Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Author

Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

Author

Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

Author

Eugster, Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Author

Lee, David. editor. Lopes, Antónia. editor. Poetzsch-Heffter, Arnd. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11