Search Results for Logic

|

|

|

|

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:

+

Language: English

+

Publication Date: 2009

+

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)

Subject

(55)

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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

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

2.

Cover image for Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Author

Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

4.

Cover image for Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Author

Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Author

Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-93920-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

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:

8.

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:

9.

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:

10.

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:

11.

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:

12.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11