Search Results for Software engineering

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer network architectures.

Author

SpringerLink (Online service)

(274)

Halang, Wolfgang A. editor.

(6)

Holleczek, Peter. editor.

(6)

Prasanna, Viktor K. editor.

(6)

Liu, Chunfeng. editor.

(5)

Malyshkin, Victor. editor.

(5)

Elleithy, Khaled. editor.

(4)

Margaria, Tiziana. editor.

(4)

Parashar, Manish. editor.

(4)

Reed, Rick. editor.

(4)

Steffen, Bernhard. editor.

(4)

Alexander, Michael. editor.

(3)

Badrinath, Ramamurthy. editor.

(3)

Bougé, Luc. editor.

(3)

Brinkschulte, Uwe. editor.

(3)

Chutimaskul, Wichian. editor.

(3)

Hartman, Alan. editor.

(3)

Hochberger, Christian. editor.

(3)

Li, Jin. editor.

(3)

Liu, Baoxiang. editor.

(3)

Papasratorn, Borworn. editor.

(3)

Rensink, Arend. editor.

(3)

Sobh, Tarek. editor.

(3)

Spanoudakis, George. editor.

(3)

Streit, Achim. editor.

(3)

Träff, Jesper Larsson. editor.

(3)

Vanijja, Vajirasak. editor.

(3)

Vogel-Heuser, Birgit. editor.

(3)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(3)

Zhang, Yanchun. editor.

(3)

Zhu, Rongbo. editor.

(3)

Abdalla, Michel. editor. (orcid)0000-0002-2447-4329

(2)

Berekovic, Mladen. editor.

(2)

Bertino, Elisa. editor. (orcid)0000-0002-4029-7051

(2)

Calisti, Monique. editor.

(2)

Cao, Jiannong. editor.

(2)

Chang, Jincai. editor.

(2)

Dahab, Ricardo. editor.

(2)

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

(2)

Dick, Jeremy. author.

(2)

Dongarra, Jack. editor.

(2)

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

(2)

Filiol, Éric. author.

(2)

Gotzhein, Reinhard. editor.

(2)

Haubelt, Christian. author.

(2)

Haugen, Øystein. editor.

(2)

Hull, Elizabeth. author.

(2)

Johnson, Ralph. editor.

(2)

Kacsuk, Péter. editor.

(2)

Karczewski, Konrad. editor.

(2)

Keller, Rainer. editor.

(2)

Khendek, Ferhat. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Korytkowski, Marcin. editor.

(2)

Krammer, Bettina. editor.

(2)

Lavangnananda, Kittichai. editor.

(2)

Lehner, Wolfgang. editor.

(2)

Lukowicz, Paul. editor.

(2)

Mambretti, Joe. editor.

(2)

Maña, Antonio. author.

(2)

Müller-Schloer, Christian. editor.

(2)

Nagel, Wolfgang E. editor.

(2)

Noble, James. editor.

(2)

Németh, Zsolt. editor.

(2)

Paige, Richard F. editor.

(2)

Pan, Yi. editor.

(2)

Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X

(2)

Pedrycz, Witold. editor.

(2)

Petriu, Dorina C. editor.

(2)

Resch, Michael. editor.

(2)

Rouquette, Nicolas. editor.

(2)

Rutkowski, Leszek. editor.

(2)

Scherer, Rafał. editor.

(2)

Schulz, Alexander. editor.

(2)

Selic, Bran. editor.

(2)

Sick, Bernhard. editor.

(2)

Sun, Xingming. editor. (orcid)0000-0001-7982-726X

(2)

Tadeusiewicz, Ryszard. editor.

(2)

Teich, Jürgen. author.

(2)

Vaidya, Jaideep. editor.

(2)

Wietzke, Joachim. author.

(2)

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

(2)

Xu, Ming. editor.

(2)

Yang, Aimin. editor.

(2)

Yeo, Sang-Soo. editor.

(2)

Zurada, Jacek M. editor.

(2)

Abdelwahed, El Hassan. editor.

(1)

Abdennadher, Nabil. editor.

(1)

Abran, Alain. editor.

(1)

Achilles, Albrecht. author.

(1)

Ahmed, Mobyen Uddin. editor.

(1)

Akehurst, David H. editor.

(1)

Aksit, Mehmet. editor.

(1)

Al-Begain, Khalid. editor.

(1)

Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222

(1)

Alex, Wulf. author.

(1)

Aluru, Srinivas. editor.

(1)

Alwan, Jwan K. editor.

(1)

Amann, Michael. editor.

(1)

Amasaki, Sousuke. editor.

(1)

An, Bo. editor. (orcid)0000-0002-7064-7438

(1)

Antonopoulos, Christos. editor.

(1)

Antón, Annie. editor.

(1)

Ao, Sio-Iong. editor.

(1)

Au, Man Ho. editor. (orcid)0000-0003-2068-9530

(1)

Avgeriou, Paris. editor.

(1)

Aßmann, Uwe. editor.

(1)

Bacon, Jean M. editor.

(1)

Baddoo, Nathan. editor.

(1)

Bader, David A. editor.

(1)

Badia, Rosa Maria. editor.

(1)

Baek, Joonsang. editor.

(1)

Baier, Christel. editor.

(1)

Bajo, Javier. editor.

(1)

Balcısoy, Selim. editor.

(1)

Barnaghi, Payam. editor.

(1)

Barnat, Jiří. editor.

(1)

Bartolini, Novella. editor.

(1)

Beek, Maurice. editor.

(1)

Begum, Shahina. editor. (orcid)0000-0002-1212-7637

(1)

Beigl, Michael. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Benkner, Siegfried. editor.

(1)

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

(1)

Benítez, Domingo. editor.

(1)

Bernardo, Marco. editor.

(1)

Bestavros, Azer. editor.

(1)

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

(1)

Bilgic, Attila. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Blanc, Gregory. editor. (orcid)0000-0001-8150-6617

(1)

Boavida, Fernando. editor.

(1)

Bobda, Christophe. editor.

(1)

Boche, Holger. author.

(1)

Bonomi, Silvia. editor.

(1)

Bourgeois, Anu G. editor.

(1)

Boursas, Latifa. editor.

(1)

Bradley, Jeremy T. editor.

(1)

Braubach, Lars. editor.

(1)

Braungarten, René. editor.

(1)

Brause, Rüdiger. author.

(1)

Breitman, Karin K. author.

(1)

Brinkschulte, Uwe. author.

(1)

Bruaset, Are Magnus. editor.

(1)

Brunekreef, Jacob. editor.

(1)

Bu, Lei. editor. (orcid)0000-0003-0517-7801

(1)

Burton, Mark. author.

(1)

Cai, Wentong. editor.

(1)

Cai, Zhipeng. editor.

(1)

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

(1)

Cann, Natalie M. editor.

(1)

Cannataro, Mario. editor.

(1)

Cao, Jian-Nong. editor.

(1)

Caragiannis, Ioannis. editor.

(1)

Cardellini, Valeria. editor.

(1)

Carlson, Mark. editor.

(1)

Casimiro, António. editor. (orcid)0000-0002-5522-5739

(1)

Castiglione, Aniello. editor.

(1)

Cavallaro, Lorenzo. editor.

(1)

Cerami, Ethan. author.

(1)

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

(1)

Cerqueira, Eduardo. editor.

(1)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(1)

Chang, Alan Chin-Chen. editor.

(1)

Chang, Hang Bae. editor.

(1)

Chang, Shih-Liang. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charoenkitkarn, Nipon. editor.

(1)

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983

(1)

Childs, Stephen. editor.

(1)

Chlamtac, Imrich. editor.

(1)

Choi, Kwang Nam. editor.

(1)

Choy, Oliver C. S. editor.

(1)

Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794

(1)

Cirne, Walfredo. editor.

(1)

Clark, Tony. editor.

(1)

Clough, Peter N. author.

(1)

Cooper, Brian F. editor.

(1)

Cortier, Véronique. editor.

(1)

Costan, Alexandru. editor.

(1)

Cotronis, Yiannis. editor.

(1)

Cranefield, Stephen. editor.

(1)

Cremers, Cas. author.

(1)

Cuadrado-Gallego, Juan J. editor.

(1)

Cunha, José C. editor.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens, Nora. editor.

(1)

Czernohous, Christoph. author.

(1)

Cérin, Christophe. editor.

(1)

César, Eduardo. editor.

(1)

Damiani, Ernesto. editor.

(1)

Danalis, Anthony. editor.

(1)

Dandamudi, Sivarama P. author.

(1)

Danelutto, Marco. editor.

(1)

Daněk, Martin. editor.

(1)

De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592

(1)

Debbabi, Mourad. author.

(1)

Deelman, Ewa. editor.

(1)

Demazeau, Yves. editor.

(1)

Derler, Patricia. editor.

(1)

Language

(248)

(24)

(2)

Publication Date

-

(73)

(48)

(30)

(25)

(19)

(19)

(18)

(15)

(15)

(12)

Subject

Software engineering.

(272)

Computer science.

(238)

Computer Communication Networks.

(73)

Operating systems (Computers).

(53)

Computer software.

(47)

Information systems.

(47)

Artificial intelligence.

(44)

Computer system performance.

(32)

(32)

Information theory.

(26)

Information Systems.

(23)

Computer simulation.

(22)

Computer hardware.

(21)

Electronic data processing.

(18)

Information storage and retrieval systems.

(14)

Computer vision.

(13)

(13)

Data encryption (Computer science).

(12)

Microprogramming.

(11)

(10)

Computer industry.

(9)

Data protection.

(9)

Data structures (Computer science).

(9)

Database management.

(8)

Systems engineering.

(8)

Telecommunication.

(8)

Computer security.

(7)

Computer System Implementation.

(6)

Data structures (Computer scienc.

(6)

(5)

Computer Systems Organization and Communication Networks.

(4)

Data transmission systems.

(4)

Management information systems.

(4)

Multimedia systems.

(4)

Special Purpose and Application-Based Systems.

(4)

Bioinformatics.

(3)

(3)

Computational complexity.

(3)

Software Engineering/Programming and Operating Systems.

(3)

System Performance and Evaluation.

(3)

Algorithm Analysis and Problem Complexity.

(2)

(2)

Computer aided design.

(2)

Computer engineering.

(2)

Computers -- Law and legislation.

(2)

Information Storage and Retrieval.

(2)

Information Systems Applications (incl. Internet).

(2)

Management of Computing and Information Systems.

(2)

Medical records -- Data processing.

(2)

Performance and Reliability.

(2)

(2)

Systems and Data Security.

(2)

Computational Biology/Bioinformatics.

(1)

Computer Science, general.

(1)

Computer science -- Mathematics.

(1)

Computers and Society.

(1)

Control Structures and Microprogramming.

(1)

Data Encryption.

(1)

(1)

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

Logics and Meanings of Programs.

(1)

Mathematical geography.

(1)

(1)

Nanotechnology.

(1)

Numeric Computing.

(1)

Operating Systems.

(1)

Physiology -- Mathematics.

(1)

Processor Architectures.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Simulation and Modeling.

(1)

Theory of Computation.

(1)

e-Commerce/e-business.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

274 Results Found

Subscribe to search results

1 2 3 4 5 .. 23

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 Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Author

Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00244-2

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

Author

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Rebeiro, Chester. editor. (orcid)0000-0001-8063-0026 Yarom, Yuval. editor. (orcid)0000-0003-0401-4197 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05072-6

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05057-3

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers

Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers

Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers

Author

De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

Author

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99954-8

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05063-4

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

Author

Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

Author

Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Author

Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2423-9

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03418-4

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03427-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 23

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11