Search Results for Science, general.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

14

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computers.

Author

SpringerLink (Online service)

(69)

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)

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

(3)

Rozenberg, Grzegorz. editor.

(3)

Salomaa, Arto. editor.

(3)

Adeli, Hojjat. 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)

Legay, Axel. 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)

Anderson, Neal G. editor.

(1)

Atmanspacher, Harald. editor.

(1)

Bacon, Dave. editor.

(1)

Bandini, Stefania. editor.

(1)

Bartz-Beielstein, Thomas. editor.

(1)

Beckmann, Arnold. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bhanja, Sanjukta. editor.

(1)

Biagioni, Edoardo S. editor.

(1)

Bonsangue, Marcello M. 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)

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)

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

(1)

Diaz, Josep. editor.

(1)

Dick, Grant. editor.

(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)

Goodman, Erik. editor.

(1)

Gopal, T V. 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, Yaochu. editor.

(1)

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

(1)

Jungers, Raphaël. editor.

(1)

Jürgensen, Helmut. 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)

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)

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)

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)

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)

Muscholl, Anca. 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)

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, 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)

Stergiou, Kostas. editor.

(1)

Tan, Kay Chen. editor.

(1)

Tang, Ke. editor.

(1)

Tinelli, Cesare. editor.

(1)

Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652

(1)

Truthe, Bianca. editor.

(1)

Turhan, Anni-Yasmin. editor.

(1)

Valencia, Frank. editor.

(1)

Vereshchagin, Nikolay. editor.

(1)

Villa, Allessandro E.P. editor.

(1)

Viola, Alfredo. editor.

(1)

Vogiatzis, Chrysafis. editor.

(1)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(1)

Volkov, Mikhail V. editor.

(1)

Walteros, Jose L. editor.

(1)

Was, Jaroslaw. editor.

(1)

Weber, Cornelius. editor.

(1)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(1)

Wermter, Stefan. editor.

(1)

Whigham, Peter. editor.

(1)

Wolter, Frank. editor.

(1)

Worrell, James. editor.

(1)

Yap, Chee. editor.

(1)

Zarpelão, Bruno. editor. (orcid)0000-0001-9172-3578

(1)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(1)

Zhang, Mengjie. editor.

(1)

Zheng, Yao. editor.

(1)

de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270

(1)

Language

(69)

Publication Date

-

(44)

(25)

Subject

Artificial intelligence.

(33)

(28)

Software engineering.

(23)

Computer science—Mathematics.

(21)

Mathematical logic.

(20)

Computer logic.

(19)

Computer organization.

(9)

Application software.

(8)

Computer communication systems.

(7)

Optical data processing.

(7)

Programming languages (Electronic computers).

(7)

Computer simulation.

(6)

Numerical analysis.

(6)

Pattern recognition.

(5)

Data structures (Computer science).

(4)

Information storage and retrieval.

(4)

Computer security.

(3)

Database management.

(3)

Bioinformatics.

(2)

(2)

Computer system failures.

(2)

Information theory.

(2)

Mathematical statistics.

(2)

Computer hardware.

(1)

Computer programming.

(1)

Computer science.

(1)

(1)

(1)

Management information systems.

(1)

Microprocessors.

(1)

Quantum computers.

(1)

Special purpose computers.

(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

69 Results Found

Subscribe to search results

1 2 3 4 5 6

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.

49.

Cover image for Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

Author

Atmanspacher, Harald. editor. Haven, Emmanuel. editor. Kitto, Kirsty. editor. Raine, Derek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54943-4

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Author

Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-14370-5

Format:

Availability

Online Library~1

Available:
Copies:

51.

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:

52.

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:

53.

Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12904-4

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

Author

Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Author

Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12084-3

Format:

Availability

Online Library~1

Available:
Copies:

56.

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:

57.

Cover image for Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Author

Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44602-7

Format:

Availability

Online Library~1

Available:
Copies:

58.

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:

59.

Cover image for Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Author

Nicolau, Miguel. editor. Krawiec, Krzysztof. editor. Heywood, Malcolm I. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Author

Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43951-7

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11