Search Results for

|

|

|

|

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:

+

Shelf Location: Electronic Library

+

Publication Date: 2009

+

Subject: Logic design.

Author

SpringerLink (Online service)

(98)

Chen, Jianer. editor.

(2)

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)

Aldini, Alessandro. editor.

(1)

Alfaro, Luca. editor.

(1)

Alpuente, María. editor.

(1)

Alt, Helmut. editor.

(1)

Apt, Krzysztof R. author.

(1)

Baker, Paul. editor.

(1)

Baldoni, Matteo. editor.

(1)

Barkalov, Alexander. author.

(1)

Barthe, Gilles. editor.

(1)

Bensalem, Saddek. editor.

(1)

Berardi, Stefano. editor.

(1)

Bergel, Alexandre. editor.

(1)

Berghammer, Rudolf. editor.

(1)

Berghofer, Stefan. editor.

(1)

Bertacco, Valeria. author.

(1)

Bilgic, Attila. editor.

(1)

Birattari, Mauro. editor.

(1)

Boer, Frank S. author.

(1)

Boer, Frank S. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bournez, Olivier. editor.

(1)

Bozapalidis, Symeon. editor.

(1)

Bravetti, Mario. editor.

(1)

Bruni, Roberto. editor.

(1)

Bry, François. editor.

(1)

Cao, Longbing. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Chang, Kai-hui. author.

(1)

Charatonik, Witold. editor.

(1)

Chechik, Marsha. editor.

(1)

Chemello, Gaetano. editor.

(1)

Chockler, Hana. editor.

(1)

Cofer, Darren. editor.

(1)

Cook, Byron. editor.

(1)

Cooper, S. Barry. editor.

(1)

Corradini, Andrea. editor.

(1)

Curien, Pierre-Louis. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Dams, Dennis R. editor.

(1)

Datta, Anupam. editor.

(1)

Dediu, Adrian Horia. editor.

(1)

Dong, Yingfei. editor.

(1)

Dowek, Gilles. author.

(1)

Drossopoulou, Sophia. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Dubey, Rahul. author.

(1)

Dubois, Catherine. editor.

(1)

Eiter, Thomas. editor.

(1)

Emer, Joel. editor.

(1)

Erdem, Esra. editor.

(1)

Eugster, Patrick. editor.

(1)

Fabry, Johan. editor.

(1)

Fages, François. editor.

(1)

Fantechi, Alessandro. editor.

(1)

Fisher, Michael. editor.

(1)

Fomin, Fedor V. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Franconi, Enrico. editor.

(1)

Frid, Anna. 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)

Gorrieri, Roberto. editor.

(1)

Gorton, Ian. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Grumberg, Orna. editor.

(1)

Grädel, Erich. editor.

(1)

Gutierrez, Claudio. editor.

(1)

Gębala, Maciej. editor.

(1)

Hall, John. editor.

(1)

Hall, Stephen H.

(1)

Handschuh, Siegfried. editor.

(1)

Hanus, Michael. editor.

(1)

Hartman, Alan. editor.

(1)

He, Xiangdong. editor.

(1)

Heck, Howard L.

(1)

Hill, Patricia M. editor.

(1)

Hindriks, Koen V. editor.

(1)

Hoos, Holger H. editor.

(1)

Horty, John. editor.

(1)

Hu, Alan J. editor.

(1)

Hu, Zhenjiang. editor.

(1)

Ibarra, Oscar. editor.

(1)

Inuiguchi, Masahiro. editor.

(1)

Ionescu, Armand Mihai. editor.

(1)

Jaoua, Ali Mohamed. editor.

(1)

Jay, Barry. author.

(1)

Jones, Neil D. editor.

(1)

Joubert, Christophe. editor.

(1)

Kaeli, David. editor.

(1)

Kahle, Reinhard. editor.

(1)

Kaklamanis, Christos. editor.

(1)

Kaminski, Michael. editor.

(1)

Katz, Shmuel. editor.

(1)

Kohlas, Jürg. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Královič, Rastislav. editor.

(1)

Kurz, Alexander. editor.

(1)

Kutyłowski, Mirosław. editor.

(1)

Lalanne, Denis. editor.

(1)

Lee, David. editor.

(1)

Lenisa, Marina. 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)

Markov, Igor L. author.

(1)

Martonosi, Margaret. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Małuszyński, Jan. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Mirandola, Raffaela. editor.

(1)

Montanari, Ugo. editor.

(1)

Monteiro, José. editor.

(1)

Moor, Oege. editor.

(1)

Morozov, Andrey. editor.

(1)

Möller, Bernhard. editor.

(1)

Müller-Olm, Markus. editor.

(1)

Narukawa, Yasuo. editor.

(1)

Nielson, Flemming. editor.

(1)

Nipkow, Tobias. editor.

(1)

Niwiński, Damian. editor.

(1)

Näher, Stefan. editor.

(1)

Núñez, Manuel. editor.

(1)

Oddi, Angelo. editor.

(1)

Olderog, Ernst-Rüdiger. author.

(1)

Oliveira, Marcel Vinícius Medeiros. editor.

(1)

Ouaknine, Joël. editor.

(1)

O’Boyle, Michael. editor.

(1)

Pacuit, Eric. 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)

Posthoff, Christian. author.

(1)

Potapov, Igor. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Rahonis, George. editor.

(1)

Ravi, S. S. editor.

(1)

Ravn, Anders P. editor.

(1)

Reed, Rick. editor.

(1)

Rensink, Arend. editor.

(1)

Riemsdijk, M. Birna. editor.

(1)

Roosmalen, Alfred. editor.

(1)

Rossi, Francesca. editor.

(1)

Rousset, Marie-Christine. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Sachs, Kai. editor.

(1)

Sadananda, Ramakoti. editor.

(1)

Sadri, Fariba. editor.

(1)

Sardina, Sebastian. editor.

(1)

Schaub, Torsten. editor.

(1)

Schmidt, Renate A. editor.

(1)

Schwartzbach, Michael I. editor.

(1)

Schwiegelshohn, Uwe. editor.

(1)

Sebastiani, Roberto. editor.

(1)

Seznec, André. editor.

(1)

Shi, Zhongzhi. editor.

(1)

Shukla, Sandeep K. editor.

(1)

Son, Tran Cao. editor.

(1)

Sossai, Claudio. editor.

(1)

Steinbach, Bernd. author.

(1)

Stenström, Per. editor.

(1)

Sterpone, Luca. author.

(1)

Stützle, Thomas. editor.

(1)

Su, Zhendong. editor.

(1)

Svensson, Lars. editor.

(1)

Tabuada, Paulo. editor.

(1)

Taha, Walid Mohamed. editor.

(1)

Tarlecki, Andrzej. editor.

(1)

Tessaris, Sergio. editor.

(1)

Thielscher, Michael. editor.

(1)

Titarenko, Larysa. author.

(1)

Torra, Vicenç. editor.

(1)

Treinen, Ralf. editor.

(1)

Turner, Raymond. author.

(1)

Ungerer, Theo. editor.

(1)

Language

(98)

Subject

Computer science.

(93)

Software engineering.

(55)

Computer software.

(27)

Artificial intelligence.

(19)

Computer Communication Networks.

(18)

Information theory.

(17)

Computational complexity.

(16)

Algebra -- Data processing.

(13)

Information Systems.

(7)

Systems engineering.

(7)

Computer system performance.

(6)

Logic, Symbolic and mathematical.

(6)

Operating systems (Computers).

(6)

Data structures (Computer science).

(5)

(5)

(4)

Computer simulation.

(4)

(4)

Data protection.

(4)

Electronic data processing.

(4)

Information systems.

(4)

(3)

Computer network architectures.

(3)

Microprogramming.

(3)

Computer aided design.

(2)

Data transmission systems.

(2)

(2)

Memory management (Computer science).

(2)

(1)

Computer vision.

(1)

Control engineering systems.

(1)

Data encryption (Computer science).

(1)

Digital electronics.

(1)

Electronic books.

(1)

Management information systems.

(1)

(1)

Multimedia systems.

(1)

Nanotechnology.

(1)

Signal integrity (Electronics)

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Digital.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- Microelectronics.

(1)

Translators (Computer programs).

(1)

Material Type

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

99 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 Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Author

Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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 Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

Author

Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

Author

Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

Author

Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Author

Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 9

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11