Search Results for Science: general issues.

|

|

|

|

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:

+

Konu: Software engineering.

Author

SpringerLink (Online service)

(163)

Apduhan, Bernady O. editor.

(17)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(17)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(17)

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

(17)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(12)

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

(11)

Stankova, Elena. editor. (orcid)0000-0003-2625-452X

(11)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(11)

Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771

(11)

Cheng, Long. editor. (orcid)0000-0001-7565-8788

(7)

Leung, Andrew Chi Sing. editor.

(7)

Ozawa, Seiichi. editor.

(7)

Falcão, Maria Irene. editor.

(6)

Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

(6)

Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Jorge Gustavo. editor.

(6)

Taniar, David. editor.

(6)

Rozenberg, Grzegorz. editor.

(5)

Ryu, Yeonseung. editor. (orcid)0000-0002-8431-073X

(5)

Salomaa, Arto. editor.

(5)

Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040

(5)

Margaria, Tiziana. editor.

(4)

Ricci, Laura. editor.

(4)

Steffen, Bernhard. editor.

(4)

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

(4)

Alexander, Michael. editor.

(3)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(3)

Cannataro, Mario. editor.

(3)

Cirne, Walfredo. editor.

(3)

Costan, Alexandru. editor.

(3)

Desai, Narayan. editor.

(3)

Dillig, Isil. editor.

(3)

Duan, Zhenhua. editor.

(3)

Gheorghe, Marian. editor.

(3)

Huisman, Marieke. editor.

(3)

Jeannot, Emmanuel. editor.

(3)

Karczewski, Konrad. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Lankes, Stefan. editor.

(3)

Legay, Axel. editor.

(3)

Li, Jin. editor.

(3)

Liu, Shaoying. editor.

(3)

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

(3)

Scarano, Vittorio. editor.

(3)

Scott, Stephen L. editor.

(3)

Vaidya, Jaideep. editor.

(3)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(3)

Benkner, Siegfried. editor.

(2)

Bensalem, Saddek. editor.

(2)

Breitbart, Jens. editor.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

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

(2)

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

(2)

Gracia, José. editor.

(2)

Guo, Hua. editor.

(2)

Hunold, Sascha. editor.

(2)

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

(2)

Klusáček, Dalibor. editor.

(2)

Koepf, Wolfram. editor.

(2)

Lengauer, Christian. editor.

(2)

Li, Zhiyang. editor.

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

Min, Geyong. editor.

(2)

Nagoya, Fumiko. editor.

(2)

Petit, Salvador. editor.

(2)

Potapov, Igor. editor.

(2)

Qu, Wenyu. editor.

(2)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(2)

Stojmenovic, Ivan. editor.

(2)

Sun, Xiang-he. editor.

(2)

Tasiran, Serdar. editor.

(2)

Tian, Cong. editor.

(2)

Verlan, Sergey. editor. (orcid)0000-0001-7800-1618

(2)

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

(2)

Vorozhtsov, Evgenii V. editor.

(2)

Weidendorfer, Josef. editor.

(2)

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

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Wu, Yulei. editor.

(2)

Yang, Tingting. editor.

(2)

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

(2)

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

(2)

Zhou, Wanlei. editor.

(2)

Žilinskas, Julius. editor.

(2)

Abraham, Erika. editor.

(1)

Alam, Sadaf. editor. (orcid)0000-0002-2534-5078

(1)

Alhazov, Artiom. editor.

(1)

Alvim, Mário S. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Antonopoulos, Christos. editor.

(1)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(1)

Avigad, Jeremy. editor.

(1)

Badia, Rosa M. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Baldan, Paolo. editor.

(1)

Barbosa, Jorge G. editor.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Bellatreche, Ladjel. editor.

(1)

Beyersdorff, Olaf. editor.

(1)

Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127

(1)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Biffl, Stefan. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Birattari, Mauro. editor. (orcid)0000-0003-3309-2194

(1)

Bliudze, Simon. editor. (orcid)0000-0002-7900-5271

(1)

Bloem, Roderick. editor.

(1)

Blum, Christian. editor. (orcid)0000-0002-1736-3559

(1)

Bollen, Peter. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Bougé, Luc. editor.

(1)

Bozga, Marius. editor.

(1)

Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048

(1)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(1)

Cao, Jian-nong. editor.

(1)

Catania, Barbara. editor. (orcid)0000-0002-6443-169X

(1)

Ceroni Díaz, Jose A. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Chatzikokolakis, Kostas. editor.

(1)

Cheung, Simon K.S. editor.

(1)

Christensen, Anders L. editor. (orcid)0000-0002-9994-2908

(1)

Ciardo, Gianfranco. editor.

(1)

Ciuciu, Ioana. editor. (orcid)0000-0002-7126-0585

(1)

Clauss, Carsten. editor.

(1)

Cleaveland, Rance. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Albert. editor.

(1)

Cojocaru, Svetlana. editor.

(1)

Corradini, Flavio. editor.

(1)

Dagienė, Valentina. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847

(1)

Dediu, Adrian-Horia. editor.

(1)

Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X

(1)

Diniz, Pedro C. editor.

(1)

Diniz, Pedro. editor. (orcid)0000-0003-3131-9367

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dongarra, Jack. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dorigo, Marco. editor. (orcid)0000-0002-3971-0507

(1)

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

(1)

El Yacoubi, Samira. editor. (orcid)0000-0002-8017-5286

(1)

Enea, Constantin. editor.

(1)

England, Matthew. editor. (orcid)0000-0001-5729-3420

(1)

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

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Felber, Pascal. editor.

(1)

Filiot, Emmanuel. editor.

(1)

Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829

(1)

Fischer, Bernd. editor. (orcid)0000-0002-1815-218X

(1)

Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713

(1)

Gallardo, María del Mar. editor.

(1)

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

(1)

Garg, Vijay. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Giese, Holger. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Goehringer, Diana. editor.

(1)

Gong, Xiaoli. editor.

(1)

González-Ramírez, Rosa G. editor.

(1)

Graciani, Carmen. editor.

(1)

Graf, Susanne. editor.

(1)

Grosu, Radu. editor. (orcid)0000-0001-5715-2142

(1)

Gupta, Gopal. editor.

(1)

Guédria, Wided. editor.

(1)

Haar, Stefan. editor. (orcid)0000-0002-1892-2703

(1)

Hammond, Simon. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Heckel, Reiko. editor.

(1)

Heras, Dora B. editor.

(1)

Hinze, Thomas. editor.

(1)

Hochberger, Christian. editor.

(1)

Hofman, Piotrek. editor.

(1)

Hong, Hoon. editor.

(1)

Horvath, Andras. editor. (orcid)0000-0002-8210-545X

(1)

Huang, Tingwen. editor. (orcid)0000-0001-9610-846X

(1)

Huebner, Michael. editor.

(1)

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Iida, Shusaku. editor.

(1)

Iliopoulos, Costas. editor.

(1)

Izumi, Taisuke. editor.

(1)

Jagode, Heike. editor. (orcid)0000-0002-8173-9434

(1)

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

(1)

Jansen, David N. editor. (orcid)0000-0002-6636-3301

(1)

Jarvis, Stephen. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Jungers, Raphaël. editor.

(1)

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X

(1)

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

(1)

Keramidas, Georgios. editor.

(1)

Khan, Md. Aquil. editor.

(1)

Khomenko, Victor. editor.

(1)

Kindler, Ekkart. editor.

(1)

Koch, Andreas. editor.

(1)

Language

(163)

Publication Date

-

(69)

(52)

(42)

Subject

Artificial intelligence.

(71)

Computer science.

(55)

Computer logic.

(41)

(34)

(31)

Computer communication systems.

(25)

Programming languages (Electronic computers).

(24)

Computer software.

(23)

(23)

Application software.

(20)

Computer network architectures.

(20)

Mathematical logic.

(20)

Computer system failures.

(17)

Computer vision.

(17)

Computer Communication Networks.

(16)

Computer industry.

(15)

Computer simulation.

(14)

(13)

Computer science—Mathematics.

(12)

Information theory.

(10)

Computer system performance.

(9)

Optical pattern recognition.

(9)

Computer organization.

(8)

Operating systems (Computers).

(8)

Computer hardware.

(7)

Optical data processing.

(7)

Computer programming.

(6)

Computational complexity.

(5)

Computer security.

(5)

Data structures (Computer scienc.

(5)

Data structures (Computer science).

(4)

Architecture, Computer.

(3)

Electronic data processing.

(3)

Management information systems.

(3)

Social sciences -- Data processing.

(3)

Special purpose computers.

(3)

Computer graphics.

(2)

Data encryption (Computer science).

(2)

Database management.

(2)

(2)

Mathematical statistics.

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Pattern recognition.

(2)

(1)

Computers -- Law and legislation.

(1)

Data protection.

(1)

Information storage and retrieval.

(1)

Information systems.

(1)

Memory management (Computer scie.

(1)

Microprocessors.

(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

163 Results Found

Subscribe to search results

1 .. 10 11 12 13 14

0000000DEFAULT

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.

157.

Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Author

Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V

Author

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Author

Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

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:

161.

Cover image for CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Author

Baldan, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44584-6

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 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

Shao, Zhong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54833-8

Format:

Availability

Online Library~1

Available:
Copies:

163.

Cover image for Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Author

Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-14125-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 10 11 12 13 14

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11