Search Results for Computer science.

|

|

|

|

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

+

Subject: Artificial intelligence.

+

Subject: Logic design.

Author

SpringerLink (Online service)

(40)

Barthe, Gilles. editor.

(2)

Calude, Cristian S. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Leite, João. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Scholz, Sven-Bodo. editor.

(2)

Sofronie-Stokkermans, Viorica. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Adeli, Hojjat. editor.

(1)

Alpuente, María. editor.

(1)

Banerjee, Mohua. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Boella, Guido. editor.

(1)

Brünnler, Kai. editor.

(1)

Chitil, Olaf. editor.

(1)

Cornelis, Chris. author.

(1)

Dastani, Mehdi. editor.

(1)

Delcambre, Lois. editor.

(1)

Delgrande, James P. editor.

(1)

Eekelen, Marko. editor.

(1)

Faber, Wolfgang. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Geuvers, Herman. editor.

(1)

Gomez-Sanz, Jorge J. editor.

(1)

Gopalakrishnan, Ganesh. editor.

(1)

Hübner, Jomi. editor.

(1)

Jeusfeld, Manfred. editor.

(1)

Johnson, Michael. editor.

(1)

Jouannaud, Jean-Pierre. editor.

(1)

Kang, Byeong-Ho. editor.

(1)

Kang, Heau-jo. editor.

(1)

Kari, Jarkko. editor.

(1)

Katoen, Joost-Pieter. editor.

(1)

Kim, Haeng-kon. editor.

(1)

Kim, Kyung Jung. editor.

(1)

Kim, Tai-hoon. editor.

(1)

Kiumi, Akingbehin. editor.

(1)

Kivinen, Jyrki. editor.

(1)

Klügl, Franziska. editor.

(1)

Kuchen, Herbert. editor.

(1)

Kuich, Werner. editor.

(1)

König, Barbara. editor.

(1)

Larrosa, Javier. editor.

(1)

Launchbury, John. editor.

(1)

Lee, Jimmy. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leporati, Alberto. editor.

(1)

Ling, Tok-Wang. editor.

(1)

Liu, Weiru. editor.

(1)

Mariño, Julio. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Metcalfe, George. editor.

(1)

Meyden, Ron. editor.

(1)

Morazán, Marco T. editor.

(1)

Omicini, Andrea. editor.

(1)

Ossowski, Sascha. editor.

(1)

O’Sullivan, Barry. editor.

(1)

Pardo, Alberto. editor.

(1)

Pavlovic, Dusko. editor.

(1)

Petre, Ion. editor.

(1)

Qadeer, Shaz. editor.

(1)

Rahonis, George. editor.

(1)

Rocha, Ricardo. editor.

(1)

Sakallah, Karem A. editor.

(1)

Salomaa, Arto. editor.

(1)

Sardina, Sebastian. editor.

(1)

Schmaltz, Julien. editor.

(1)

Schneider, Gerardo. editor.

(1)

Seth, Anil. editor.

(1)

Shao, Zhong. editor.

(1)

Simon, Laurent. editor.

(1)

Smaus, Jan-Georg. editor.

(1)

Sturm, Thomas. editor.

(1)

Swart, Harrie. editor.

(1)

Szepesvári, Csaba. editor.

(1)

Tinelli, Cesare. editor.

(1)

Torre, Leon. editor.

(1)

Torroni, Paolo. editor.

(1)

Ukkonen, Esko. editor.

(1)

Vasconcelos, Wamberto. editor.

(1)

Victor, Patricia. author.

(1)

Weyns, Danny. editor.

(1)

Wiedijk, Freek. editor.

(1)

Zengler, Christoph. editor.

(1)

Zeugmann, Thomas. editor.

(1)

de Cock, Martine. author.

(1)

Ågotnes, Thomas. editor.

(1)

Subject

Computer science.

(40)

Software engineering.

(26)

Computer Communication Networks.

(11)

Computer software.

(8)

Algebra -- Data processing.

(6)

Computational complexity.

(3)

Information systems.

(3)

Computer simulation.

(2)

(1)

Bioinformatics.

(1)

Computer graphics.

(1)

Computer vision.

(1)

Discrete groups.

(1)

Electronic data processing.

(1)

Information storage and retrieval systems.

(1)

Information theory.

(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

40 Results Found

Subscribe to search results

1 2 3 4

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 Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

Author

Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Author

Swart, Harrie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Author

Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Author

Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Barthe, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Author

Alpuente, María. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Author

Meyden, Ron. editor. Smaus, Jan-Georg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

Author

Omicini, Andrea. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Author

Mariño, Julio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

Author

Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

Author

Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11