Search Results for Computer Science, general.

|

|

|

|

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:

+

Subject: Computers.

Author

SpringerLink (Online service)

(80)

Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964

(5)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(5)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(5)

Lam, Roberto. editor. (orcid)0000-0003-4297-2441

(5)

Lees, Michael H. editor.

(5)

Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679

(5)

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

(5)

Sloot, Peter M.A. editor. (orcid)0000-0002-3848-5395

(5)

Kunkel, Julian M. editor.

(3)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(3)

Rozenberg, Grzegorz. editor.

(3)

Salomaa, Arto. editor.

(3)

Adeli, Hojjat. editor.

(2)

Balaji, Pavan. editor.

(2)

Dediu, Adrian-Horia. editor.

(2)

Dillig, Isil. editor.

(2)

Esparza, Javier. editor.

(2)

Ferrández Vicente, José Manuel. editor.

(2)

Fraigniaud, Pierre. editor.

(2)

Gheorghe, Marian. editor.

(2)

Husfeldt, Thore. editor.

(2)

Koutsoupias, Elias. editor.

(2)

Kunčak, Viktor. editor.

(2)

Legay, Axel. editor.

(2)

Majumdar, Rupak. editor.

(2)

Potapov, Igor. editor.

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Tasiran, Serdar. editor.

(2)

Toledo Moreo, Javier. editor.

(2)

Zandron, Claudio. editor. (orcid)0000-0002-2163-7639

(2)

de la Paz López, Félix. editor.

(2)

Álvarez-Sánchez, José Ramón. editor.

(2)

Agrawal, Manindra. editor.

(1)

Aguilera, Marcos K. editor.

(1)

Ait Ameur, Yamine. editor.

(1)

Alhazov, Artiom. editor.

(1)

Alvim, Mário S. editor.

(1)

An, Hong. editor.

(1)

Anderson, Neal G. editor.

(1)

Apduhan, Bernady O. editor.

(1)

Atmanspacher, Harald. editor.

(1)

Bacon, Dave. editor.

(1)

Bandini, Stefania. editor.

(1)

Bartz-Beielstein, Thomas. editor.

(1)

Beck, Antonio Carlos. editor.

(1)

Beckmann, Arnold. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bertels, Koen. editor.

(1)

Bhanja, Sanjukta. editor.

(1)

Biagioni, Edoardo S. editor.

(1)

Bonato, Vanderlei. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Borruso, Giuseppe. editor.

(1)

Bouganis, Christos. editor.

(1)

Bozga, Marius. editor.

(1)

Branke, Juergen. editor.

(1)

Browne, Will N. editor.

(1)

Bui, Lam Thu. editor.

(1)

Calude, Cristian S. editor.

(1)

Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160

(1)

Carro, Luigi. editor.

(1)

Casadio, Claudia. editor.

(1)

Castelli, Mauro. editor.

(1)

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

(1)

Chatzikokolakis, Kostas. editor.

(1)

Cheng, Siyao. editor.

(1)

Coecke, Bob. editor.

(1)

Coecke, Bob. editor. (orcid)0000-0002-5310-8723

(1)

Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X

(1)

Cojocaru, Svetlana. editor.

(1)

Cooper, S. Barry. editor.

(1)

Corsini, Marc-Michel. editor.

(1)

Csuhaj-Varjú, Ersébet. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Diaz, Josep. editor.

(1)

Dick, Grant. editor.

(1)

Dongarra, Jack. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Duch, Wlodzislaw. editor.

(1)

Egly, Uwe. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Esparcia-Alcázar, Anna I. editor.

(1)

Filiot, Emmanuel. editor.

(1)

Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255

(1)

Freivalds, Rūsiņš. editor.

(1)

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003

(1)

García-Sánchez, Pablo. editor.

(1)

Gervasi, Osvaldo. editor.

(1)

Goodman, Erik. editor.

(1)

Gopal, T V. editor.

(1)

Gorgon, Marek. editor.

(1)

Graf, Susanne. editor.

(1)

Grandinetti, Lucio. editor.

(1)

Hao, Jin-Kao. editor.

(1)

Haven, Emmanuel. editor.

(1)

Heywood, Malcolm I. editor.

(1)

Hinze, Thomas. editor.

(1)

Hirsch, Edward. editor.

(1)

Holzer, Markus. editor.

(1)

Hong, Hoon. editor.

(1)

Honkela, Timo. editor.

(1)

Ibarra, Oscar H. editor.

(1)

Idoumghar, Lhassane. editor.

(1)

Ishibuchi, Hisao. editor.

(1)

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

(1)

Jin, Hai. editor.

(1)

Jin, Yaochu. editor.

(1)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(1)

Jungers, Raphaël. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Kandemir, Mahmut. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kari, Lila. editor.

(1)

Kazuo, Iwama. editor.

(1)

Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472

(1)

Keyes, David. editor.

(1)

Kitto, Kirsty. editor.

(1)

Klamroth, Kathrin. editor.

(1)

Kobayashi, Satoshi. editor.

(1)

Kopecki, Steffen. editor.

(1)

Koprinkova-Hristova, Petia. editor.

(1)

Krawiec, Krzysztof. editor.

(1)

Kutrib, Martin. editor.

(1)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(1)

Lakhnech, Yassine. editor.

(1)

Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Larsen, Kim G. editor.

(1)

Legrand, Pierrick. editor.

(1)

Lepagnot, Julien. editor.

(1)

Li, Angsheng. editor.

(1)

Li, Xiaodong. editor.

(1)

Lippert, Thomas. editor.

(1)

Liu, Shaoying. editor.

(1)

Lozano, Manuel. editor.

(1)

Lutton, Evelyne. editor.

(1)

Lutz, Carsten. editor.

(1)

Lynce, Inês. editor. (orcid)0000-0003-4868-415X

(1)

Magg, Sven. editor.

(1)

Malyshkin, Victor. editor.

(1)

Martin-Delgado, Miguel. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(1)

McMillan, Kenneth. editor.

(1)

Meer, Klaus. editor.

(1)

Merelo, Juan J. editor.

(1)

Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040

(1)

Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689

(1)

Misra, Sanjay. editor.

(1)

Mohr, Bernd. editor.

(1)

Monmarché, Nicolas. editor.

(1)

Moortgat, Michael. editor.

(1)

Mora, Antonio M. editor.

(1)

Mostaghim, Sanaz. editor. (orcid)0000-0002-9917-5227

(1)

Murata, Satoshi. editor.

(1)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(1)

Muscholl, Anca. editor.

(1)

Nagoya, Fumiko. editor.

(1)

Nicolau, Miguel. editor.

(1)

Okhotin, Alexander. editor.

(1)

Olarte, Carlos. editor.

(1)

Ouaknine, Joel. editor.

(1)

Palm, Günther. editor.

(1)

Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X

(1)

Pardo, Alberto. editor.

(1)

Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914

(1)

Petkov, Nicolai. editor.

(1)

Pin, Jean-Éric. editor.

(1)

Querzoni, Leonardo. editor.

(1)

Raine, Derek. editor.

(1)

Reed, Patrick. editor. (orcid)0000-0002-7963-6102

(1)

Resende, Mauricio G.C. editor.

(1)

Rival, Xavier. editor.

(1)

Rivas Santos, Victor Manuel. editor.

(1)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(1)

Roetteler, Martin. editor.

(1)

Rogozhin, Yurii. editor.

(1)

Rosas, Erika. editor. (orcid)0000-0003-0377-0193

(1)

Rousseau, Louis-Martin. editor.

(1)

Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034

(1)

Salaün, Gwen. editor.

(1)

Sangiorgi, Davide. editor.

(1)

Sattler, Uli. editor.

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schoenauer, Marc. editor.

(1)

Scott, Philip. editor.

(1)

Shapiro, Marc. editor.

(1)

Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656

(1)

Shi, Yuhui. editor.

(1)

Shur, Arseny M. editor.

(1)

Siarry, Patrick. editor.

(1)

Sierra-Rodríguez, José-Luis. editor.

(1)

Sim, Kevin. editor. (orcid)0000-0001-6555-7721

(1)

Singh, Pramod. editor.

(1)

Sinz, Carsten. editor.

(1)

Sirakoulis, Georgios. editor.

(1)

Smith, James. editor.

(1)

Sosík, Petr. editor.

(1)

Language

(80)

Publication Date

-

(44)

(25)

(8)

(3)

Subject

Artificial intelligence.

(39)

(31)

Software engineering.

(30)

Computer science—Mathematics.

(21)

Mathematical logic.

(20)

Computer logic.

(19)

Application software.

(12)

Computer organization.

(9)

Computer networks .

(8)

Computer simulation.

(8)

Computer communication systems.

(7)

Computer science.

(7)

Numerical analysis.

(7)

Optical data processing.

(7)

Programming languages (Electronic computers).

(7)

Computer Engineering and Networks.

(5)

Computer engineering.

(5)

Pattern recognition.

(5)

Computer Hardware.

(4)

Computer and Information Systems Applications.

(4)

Data structures (Computer science).

(4)

Electronic digital computers -- Evaluation.

(4)

Hardware Performance and Reliability.

(4)

Information storage and retrieval.

(4)

System Performance and Evaluation.

(4)

Theory of Computation.

(4)

Computer Communication Networks.

(3)

Computer security.

(3)

Database management.

(3)

Microprocessors.

(3)

Bioinformatics.

(2)

(2)

Computer Modelling.

(2)

Computer Science Logic and Foundations of Programming.

(2)

Computer architecture.

(2)

Computer programming.

(2)

Computer system failures.

(2)

Computing Milieux.

(2)

(2)

Information theory.

(2)

Mathematical statistics.

(2)

Processor Architectures.

(2)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer hardware.

(1)

Computer vision.

(1)

Data Mining and Knowledge Discovery.

(1)

Formal Languages and Automata Theory.

(1)

Image processing -- Digital techniques.

(1)

(1)

Machine theory.

(1)

Management information systems.

(1)

(1)

Programming Techniques.

(1)

Quantum computers.

(1)

Special purpose computers.

(1)

The Computing Profession.

(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

80 Results Found

Subscribe to search results

1 2 3 4 5 6 7

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.

37.

Cover image for Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Author

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-04921-2

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Author

Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06089-7

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Author

Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06686-8

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45234-9

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

Author

Siarry, Patrick. editor. Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12970-9

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings

Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings

Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings

Author

Aguilera, Marcos K. editor. Querzoni, Leonardo. editor. Shapiro, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-14472-6

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Muscholl, Anca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54830-7

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45231-8

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Author

Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13350-8

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Author

Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44199-2

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

Author

Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43722-3

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

Author

Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09698-8

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 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11