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:

+

Author: SpringerLink (Online service)

+

Material Type: E-Book

+

Language: English

+

Shelf Location: Electronic Library

+

Publication Date: 2007

+

Subject: Logic design.

Author

Jacko, Julie A. editor.

(4)

Liu, Zhiming. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Woodcock, Jim. editor.

(3)

Bonsangue, Marcello M. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Gibbons, Jeremy. editor.

(2)

Jones, Cliff B. editor.

(2)

Kordon, Fabrice. editor.

(2)

Montanari, Ugo. editor.

(2)

Sokolsky, Oleg. editor.

(2)

Stafford, Judith A. editor.

(2)

Stenström, Per. editor.

(2)

Voronkov, Andrei. editor.

(2)

Aberer, Karl. editor.

(1)

Akehurst, David H. editor.

(1)

Aldini, Alessandro. editor.

(1)

Allemang, Dean. editor.

(1)

Altenkirch, Thorsten. editor.

(1)

Anai, Hirokazu. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Arbab, Farhad. editor.

(1)

Artemov, Sergei N. editor.

(1)

Arvind, V. editor.

(1)

Azevedo, Francisco. editor.

(1)

Azémard, Nadine. editor.

(1)

Aßmann, Uwe. editor.

(1)

Baader, Franz. editor.

(1)

Backhouse, Roland. editor.

(1)

Barahona, Pedro. editor.

(1)

Baroglio, Cristina. editor.

(1)

Bauer, Jörg. editor.

(1)

Beckert, Bernhard. editor.

(1)

Bemporad, Alberto. editor.

(1)

Bernardo, Marco. editor.

(1)

Bessière, Christian. editor.

(1)

Bicchi, Antonio. editor.

(1)

Biletskiy, Yevgen. editor.

(1)

Bin, Eyal. editor.

(1)

Blandford, Ann. editor.

(1)

Boella, Guido. editor.

(1)

Boer, Frank S. editor.

(1)

Boissier, Olivier. editor.

(1)

Bondavalli, Andrea. editor.

(1)

Bordini, Rafael H. editor.

(1)

Bosschere, Koen. editor.

(1)

Bozapalidis, Symeon. editor.

(1)

Bošnački, Dragan. editor.

(1)

Bradley, Aaron R. author.

(1)

Brandt, Jens. editor.

(1)

Brasileiro, Francisco. editor.

(1)

Brim, Luboš. editor.

(1)

Bruni, Roberto. editor.

(1)

Buchs, Didier. editor.

(1)

Butler, Michael. editor.

(1)

Buttazzo, Giorgio. editor.

(1)

Butterfield, Andrew. editor.

(1)

Caires, Luís. editor.

(1)

Cervesato, Iliano. editor.

(1)

Cho, Sangyeun. editor.

(1)

Choi, Key-Sun. editor.

(1)

Choi, Lynn. editor.

(1)

Comon-Lundh, Hubert. editor.

(1)

Concas, Giulio. editor.

(1)

Coninx, Karin. editor.

(1)

Consel, Charles. editor.

(1)

Cook, Byron. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Dahl, Véronica. editor.

(1)

Damiani, Ernesto. editor.

(1)

Damm, Werner. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Jim. editor.

(1)

Decker, Stefan. editor.

(1)

Derrick, John. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Dignum, Virginia. editor.

(1)

Dix, Jürgen. editor.

(1)

Doherty, Gavin. editor.

(1)

Duparc, Jacques. editor.

(1)

Durand-Lose, Jérôme. editor.

(1)

Dwyer, Matthew B. editor.

(1)

Ernst, Erik. editor.

(1)

Fages, François. editor.

(1)

Fahringer, Thomas. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Filé, Gilberto. editor.

(1)

Fokkink, Wan. author.

(1)

Fornara, Nicoletta. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

(1)

Gaudin, Emmanuel. editor.

(1)

George, Chris W. editor.

(1)

Golbeck, Jennifer. editor.

(1)

Gorrieri, Roberto. editor.

(1)

Graf, Susanne. editor.

(1)

Grieskamp, Wolfgang. editor.

(1)

Grumberg, Orna. editor.

(1)

Grädel, Erich. author.

(1)

Guelfi, Nicolas. editor.

(1)

(1)

Gurevich, Yuri. editor.

(1)

Hanus, Michael. editor.

(1)

Harju, Tero. editor.

(1)

Haveraaen, Magne. editor.

(1)

Haverkort, Boudewijn. editor.

(1)

Heineman, George T. editor.

(1)

Henze, Nicola. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hermanns, Holger. editor.

(1)

Heymans, Patrick. editor.

(1)

Higashino, Teruo. editor.

(1)

Hillston, Jane. editor.

(1)

Hinchey, Michael G. editor.

(1)

Hinze, Ralf. editor.

(1)

Holub, Jan. editor.

(1)

Horimoto, Katsuhisa. editor.

(1)

Horváth, Zoltán. editor.

(1)

Huth, Michael. editor.

(1)

Hähnle, Reiner. editor.

(1)

Indulska, Jadwiga. editor.

(1)

Jeuring, Johan. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, Hilary. editor.

(1)

Kaeli, David. editor.

(1)

Kang, Lishan. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kedad, Zoubida. editor.

(1)

Kirchner, Claude. editor.

(1)

Kirchner, Hélène. editor.

(1)

Kolaitis, Phokion G. author.

(1)

Krishnamurthi, Shriram. editor.

(1)

Kutsia, Temur. editor.

(1)

Kučera, Antonín. editor.

(1)

Kučera, Luděk. editor.

(1)

Lammari, Nadira. editor.

(1)

Larrondo-Petrie, María M. editor.

(1)

Lee, Kyung-Il. editor.

(1)

Lepistö, Arto. editor.

(1)

Leucker, Martin. editor.

(1)

Libkin, Leonid. author.

(1)

Liblit, Ben. author.

(1)

Liu, Yong. editor.

(1)

Lomuscio, Alessio. editor.

(1)

Lopes, Antónia. editor.

(1)

Lumpe, Markus. editor.

(1)

Luyten, Kris. editor.

(1)

Manna, Zohar. author.

(1)

Marchiori, Massimo. editor.

(1)

Margenstern, Maurice. editor.

(1)

Marie, Christian de Sainte. editor.

(1)

Marx, Maarten. author.

(1)

Matson, Eric. editor.

(1)

Maynard, Diana. editor.

(1)

McBride, Conor. editor.

(1)

Meuter, Wolfgang. editor.

(1)

Meyer, Bertrand. editor.

(1)

Meziane, Farid. editor.

(1)

Miguel, Ian. editor.

(1)

Mika, Peter. editor.

(1)

Mizoguchi, Riichiro. editor.

(1)

Moreno Díaz, Roberto. editor.

(1)

Mossakowski, Till. editor.

(1)

Métais, Elisabeth. editor.

(1)

Najm, Elie. editor.

(1)

Namjoshi, Kedar S. editor.

(1)

Nerode, Anil. editor.

(1)

Nicola, Rocco. editor.

(1)

Nielson, Flemming. author.

(1)

Nielson, Hanne Riis. author.

(1)

Nielson, Hanne Riis. editor.

(1)

Niemelä, Ilkka. editor.

(1)

Nixon, Lyndon. editor.

(1)

Noriega, Pablo. editor.

(1)

Noy, Natasha. editor.

(1)

Odersky, Martin. editor.

(1)

Okada, Mitsu. editor.

(1)

Okamura, Yoshio. editor.

(1)

Oster, Norbert. editor.

(1)

Overhage, Sven. editor.

(1)

Padgham, Lin. editor.

(1)

Paech, Barbara. editor.

(1)

Paek, Yunheung. editor.

(1)

Paige, Richard F. editor.

(1)

Paillier, Pascal. editor.

(1)

Palanque, Philippe. editor.

(1)

Pan, Jeff Z. editor.

(1)

Paschke, Adrian. editor.

(1)

Patranjan, Paula-Lavinia. editor.

(1)

Petrenko, Alexandre. editor.

(1)

Pfenning, Frank. editor.

(1)

Pichler, Franz. editor.

(1)

Podelski, Andreas. editor.

(1)

Pol, Jaco. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Prodan, Radu. author.

(1)

Puebla, Germán. editor.

(1)

Quesada Arencibia, Alexis. editor.

(1)

Rahonis, George. editor.

(1)

Subject

Computer science.

(114)

Software engineering.

(80)

Computer Communication Networks.

(44)

Artificial intelligence.

(25)

Information Systems.

(14)

Computer software.

(13)

Information storage and retrieval systems.

(12)

Multimedia systems.

(12)

Operating systems (Computers).

(10)

Algebra -- Data processing.

(8)

Computer system performance.

(7)

Information systems.

(7)

Data structures (Computer science).

(6)

Computer simulation.

(5)

Computational complexity.

(4)

Data protection.

(4)

Computer network architectures.

(3)

Data transmission systems.

(3)

Logic, Symbolic and mathematical.

(3)

Bioinformatics.

(2)

(2)

Computer aided design.

(2)

Data encryption (Computer science).

(2)

(2)

Database management.

(2)

Information theory.

(2)

Management information systems.

(2)

(1)

Electronic data processing.

(1)

Linguistics -- Philosophy.

(1)

(1)

Memory management (Computer science).

(1)

Optical pattern recognition.

(1)

Philosophy (General).

(1)

Science -- Philosophy.

(1)

Systems engineering.

(1)

Telecommunication.

(1)

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

114 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 10

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 Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Author

Jacko, Julie A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73105-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

Author

Jacko, Julie A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73107-8

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

Author

Jacko, Julie A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73110-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

Author

Jacko, Julie A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73111-5

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Author

Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

Author

Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73370-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Author

Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73147-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

Author

Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73817-6

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Author

Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74061-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Author

Horváth, Zoltán. editor. Zsók, Viktória. editor. Butterfield, Andrew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74130-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

Author

Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74810-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Author

Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74591-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 6 .. 10

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11