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 The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Author

Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31175-9

Format:

Availability

Online Library~1

Available:
Copies:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

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

35.

Cover image for Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Author

Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13749-0

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Author

Bonsangue, Marcello M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44124-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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11