Search Results for 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)

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

25.

Cover image for Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

Author

Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12797-8

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Author

Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Author

Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings

Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings

Parallel Problem Solving from Nature -- PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17,2014, Proceedings

Author

Bartz-Beielstein, Thomas. editor. Branke, Juergen. editor. Filipič, Bogdan. editor. (orcid)0000-0003-4428-4255 Smith, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings

Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings

Artificial Neural Networks and Machine Learning -- ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, Proceedings

Author

Wermter, Stefan. editor. Weber, Cornelius. editor. Duch, Wlodzislaw. editor. Honkela, Timo. editor. Koprinkova-Hristova, Petia. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

Author

Murata, Satoshi. editor. Kobayashi, Satoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Author

Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

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:

34.

Cover image for Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

Author

Legrand, Pierrick. editor. Corsini, Marc-Michel. editor. Hao, Jin-Kao. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Author

McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

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

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

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

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-43948-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