Search Results for Computer science.

|

|

|

|

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:

+

Publication Date: 2014

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(98)

Apduhan, Bernady O. editor.

(6)

Falcão, Maria Irene. editor.

(6)

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

(6)

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

(6)

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

(6)

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

(6)

Rocha, Jorge Gustavo. editor.

(6)

Taniar, David. editor.

(6)

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

(6)

Alexander, Michael. editor.

(3)

Cannataro, Mario. editor.

(3)

Costan, Alexandru. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Ricci, Laura. editor.

(3)

Scarano, Vittorio. editor.

(3)

Benkner, Siegfried. editor.

(2)

Breitbart, Jens. editor.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Gheorghe, Marian. editor.

(2)

Gracia, José. editor.

(2)

Guo, Hua. editor.

(2)

Hunold, Sascha. editor.

(2)

Jeannot, Emmanuel. editor.

(2)

Lankes, Stefan. editor.

(2)

Legay, Axel. editor.

(2)

Lengauer, Christian. editor.

(2)

Li, Zhiyang. editor.

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

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

(2)

Min, Geyong. editor.

(2)

Petit, Salvador. editor.

(2)

Qu, Wenyu. editor.

(2)

Rozenberg, Grzegorz. editor.

(2)

Salomaa, Arto. editor.

(2)

Scott, Stephen L. editor.

(2)

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

(2)

Stojmenovic, Ivan. editor.

(2)

Sun, Xiang-he. editor.

(2)

Trendowicz, Adam. author.

(2)

Wu, Yulei. editor.

(2)

Yang, Tingting. editor.

(2)

Zhou, Wanlei. editor.

(2)

Žilinskas, Julius. editor.

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Alhazov, Artiom. editor.

(1)

Amyot, Daniel. editor.

(1)

Artho, Cyrille. editor.

(1)

Avgeriou, Paris. editor.

(1)

Baldan, Paolo. editor.

(1)

Barafort, Béatrix. editor.

(1)

Barais, Olivier. editor.

(1)

Basili, Victor. author.

(1)

Bauer, Thomas. editor.

(1)

Bellalta, Boris. editor.

(1)

Belyaev, Evgeny. editor.

(1)

Benatallah, Boualem. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bergsmann, Johannes. editor.

(1)

Bhiri, Sami. editor.

(1)

Bielova, Nataliia. editor.

(1)

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

(1)

Biffl, Stefan. editor. (orcid)0000-0002-3413-7780

(1)

Bloem, Roderick. editor.

(1)

Borba, Paulo. author.

(1)

Bosch, Jan. editor.

(1)

Bozga, Marius. editor.

(1)

Brabrand, Claus. author.

(1)

Brandić, Ivona. editor. (orcid)0000-0001-7424-0208

(1)

Bruegge, Bernd.

(1)

Cabot, Jordi. editor.

(1)

Cantone, Giovanni. editor.

(1)

Cao, Jian-nong. editor.

(1)

Ceroni Díaz, Jose A. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Cirne, Walfredo. editor.

(1)

Clauss, Carsten. editor.

(1)

Cleve, Anthony. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Albert. editor.

(1)

Cojocaru, Svetlana. editor.

(1)

Combemale, Benoit. editor.

(1)

Cordeiro, José. editor.

(1)

Corral, Luis. editor.

(1)

Counsell, Steve. editor.

(1)

Dada, Joseph O. editor.

(1)

Damasevicius, Robertas. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Desai, Narayan. editor.

(1)

Desprez, Frédéric. editor.

(1)

Di Ruscio, Davide. editor.

(1)

Dingel, Juergen. editor.

(1)

Dingsøyr, Torgeir. editor.

(1)

Dongarra, Jack. editor.

(1)

Dorling, Alec. editor.

(1)

Drake, Robert. author.

(1)

Dregvaite, Giedre. editor.

(1)

Duan, Zhenhua. editor.

(1)

Dubinsky, Yael. author.

(1)

Dutoit, Allen H.

(1)

Dvořák, Zdeněk. editor.

(1)

Ermolayev, Vadim. editor.

(1)

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

(1)

Felber, Pascal. editor.

(1)

Ferguson, Donald. editor.

(1)

Fernández, Maribel. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Flückiger, Markus. author.

(1)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(1)

Franch, Xavier. editor.

(1)

Garg, Vijay. editor.

(1)

Gencel, Cigdem. editor.

(1)

Ghose, Aditya K. editor.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Giese, Holger. editor.

(1)

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

(1)

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

(1)

Großmann, Jürgen. editor.

(1)

Guo, Song. editor.

(1)

Gupta, Gopal. editor.

(1)

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

(1)

Hazzan, Orit. author. (orcid)0000-0002-8627-0997

(1)

Heidrich, Jens. author.

(1)

Heisel, Maritta. editor.

(1)

Helfert, Markus. editor.

(1)

Henderson-Sellers, Brian. author.

(1)

Hliněný, Petr. editor.

(1)

Hong, Hoon. editor.

(1)

Iida, Shusaku. editor.

(1)

Iijima, Tadashi. editor.

(1)

Insfran, Emilio. editor.

(1)

Janes, Andrea. author.

(1)

Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804

(1)

Jedlitschka, Andreas. editor.

(1)

Jeffery, Ross. author.

(1)

Jin, Zhi. editor.

(1)

Jones, Cliff. editor.

(1)

Jonsson, Magnus. editor.

(1)

Joosen, Wouter. editor.

(1)

Jürjens, Jan. editor.

(1)

Karczewski, Konrad. editor.

(1)

Kindler, Ekkart. editor.

(1)

Kofroň, Jan. editor.

(1)

Kothapalli, Kishore. editor.

(1)

Kovalev, Mikhail. author.

(1)

Kowalczyk, Martin. author.

(1)

Kořenek, Jan. editor.

(1)

Kravets, Alla. editor. (orcid)0000-0003-1675-8652

(1)

Kuhrmann, Marco. editor.

(1)

Kultsova, Marina. editor. (orcid)0000-0002-2584-431X

(1)

Kuvaja, Pasi. editor.

(1)

König, Barbara. editor.

(1)

Lake, Peter. author.

(1)

Lakhnech, Yassine. editor.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Lau, Kung-Kiu. editor.

(1)

Lewis, Grace A. editor.

(1)

Leymann, Frank. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Zhiming. editor.

(1)

Lomuscio, Alessio. editor.

(1)

Lozano, Manuel. editor.

(1)

López, Javier. editor.

(1)

Ma, Feifei. author.

(1)

Maalej, Walid. editor.

(1)

MacCaull, Wendy. editor.

(1)

Manzoni, Pietro. editor.

(1)

Marchesi, Michele. editor.

(1)

Margaria, Tiziana. editor.

(1)

Martinelli, Fabio. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Matula, Petr. editor.

(1)

Mauri, Jaime Lloret. editor.

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

McMillan, Kenneth. editor.

(1)

Medinilla, Ángel. author.

(1)

Mendes, Emilia. author.

(1)

Mendes, Pedro. editor.

(1)

Mens, Tom. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Meseguer, José. editor.

(1)

Messnarz, Richard. editor.

(1)

Meyer, Bertrand. author. (orcid)0000-0002-5985-7434

(1)

Minato, Shin-ichi. editor.

(1)

Mitasiunas, Antanas. editor.

(1)

Moe, Nils Brede. editor.

(1)

Montes de Oca, Edgardo. editor.

(1)

Moran, Alan. author.

(1)

Morin, Christine. editor.

(1)

Mussbacher, Gunter. editor.

(1)

Männistö, Tomi. editor.

(1)

Müller, Silvia M. author.

(1)

Müller-Olm, Markus. editor.

(1)

Münch, Jürgen. author.

(1)

Münch, Jürgen. editor.

(1)

Nepal, Surya. editor.

(1)

Language

(99)

Subject

Computer science.

(44)

Computer logic.

(32)

Management information systems.

(28)

Application software.

(25)

(24)

Computer communication systems.

(24)

Programming languages (Electronic computers).

(22)

(19)

Mathematical logic.

(12)

Artificial intelligence.

(8)

Computer programming.

(8)

Computer simulation.

(8)

Business—Data processing.

(7)

Computer science—Mathematics.

(7)

Computer system failures.

(6)

(6)

Information technology.

(6)

Database management.

(4)

Project management.

(4)

Computer security.

(3)

Computer organization.

(2)

Data encryption (Computer science).

(2)

Data structures (Computer science).

(2)

Education—Data processing.

(2)

Information storage and retrieval.

(2)

Mathematical statistics.

(2)

Operating systems (Computers).

(2)

Pattern recognition.

(2)

Bioinformatics.

(1)

(1)

Computational biology .

(1)

Computer hardware.

(1)

Computers and civilization.

(1)

Economic theory.

(1)

Electrical engineering.

(1)

Health informatics.

(1)

Industrial management.

(1)

Industrial safety.

(1)

Information theory.

(1)

Knowledge management.

(1)

(1)

(1)

Numerical analysis.

(1)

Object-oriented programming (Computer science)

(1)

Quality control.

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe 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

99 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 9

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 Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

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

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

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

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-55224-3

Format:

Availability

Online Library~1

Available:
Copies:

52.

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

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

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

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-09147-1

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

Author

Alhazov, Artiom. editor. Cojocaru, Svetlana. editor. Gheorghe, Marian. editor. Rogozhin, Yurii. editor. Rozenberg, Grzegorz. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Compiler Construction 23rd International Conference, CC 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

Cohen, Albert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54807-9

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

Author

Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II

Author

Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

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:

58.

Cover image for Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Author

Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

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:

60.

Cover image for Object-oriented software engineering : using UML, patterns, and Java

Object-oriented software engineering : using UML, patterns, and Java

Object-oriented software engineering : using UML, patterns, and Java

Author

Bruegge, Bernd. Dutoit, Allen H.

Preferred Shelf Number

QA76.758 B785 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 9

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11