Search Results for Analysis.

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:

+

Language: English

+

Library: Online Library

+

Shelf Location: Electronic Library

+

Subject: Computer Communication Networks.

+

Subject: Computer software.

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(37)

Apduhan, Bernady O. editor.

(5)

Carlini, Maurizio. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Misra, Sanjay. editor.

(5)

Murgante, Beniamino. editor.

(5)

Nguyen, Hong-Quang. editor.

(5)

Taniar, David. editor.

(5)

Torre, Carmelo M. editor.

(5)

Cortesi, Agostino. editor.

(2)

Das, Swagatam. editor.

(2)

Dash, Shubhransu Sekhar. editor.

(2)

Fortino, Giancarlo. editor.

(2)

Kołodziej, Joanna. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Suganthan, Ponnuthurai Nagaratnam. editor.

(2)

Amato, Flora. editor.

(1)

Ammari, Habib M. editor.

(1)

Antoš, David. editor.

(1)

Armando, Alessandro. editor.

(1)

Aversa, Rocco. editor.

(1)

Baldoni, Roberto. editor.

(1)

Bellalta, Boris. editor.

(1)

Bertin, Emmanuel. editor.

(1)

Bitsch, Friedemann. editor.

(1)

Chaki, Nabendu. editor.

(1)

Chaki, Rituparna. editor.

(1)

Chowdhry, Bhawani Shankar. editor.

(1)

Cirne, Walfredo. editor.

(1)

Cohen, Albert. editor.

(1)

Crespi, Noel. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Demeester, Piet. editor.

(1)

Desai, Narayan. editor.

(1)

Dimitrova, Desislava. editor.

(1)

Doyen, Guillaume. editor.

(1)

Dudin, Alexander. editor.

(1)

Eekelen, Marko. editor.

(1)

Elçi, Atilla. editor.

(1)

Fiems, Dieter. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Frey, Davide. editor.

(1)

Groves, Lindsay. editor.

(1)

Grumberg, Orna. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Guyot, Vincent. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hermanns, Holger. editor.

(1)

Higashino, Teruo. editor.

(1)

Hu, Bo. editor.

(1)

Huth, Michael. editor.

(1)

Jonsson, Magnus. editor.

(1)

Katayama, Yoshiaki. editor.

(1)

Kaâniche, Mohamed. editor.

(1)

Kučera, Antonín. editor.

(1)

Lowe, Gavin. editor.

(1)

Magedanz, Thomas. editor.

(1)

Mangard, Stefan. editor.

(1)

Marina, Ninoslav. editor.

(1)

Martino, Beniamino. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Masuzawa, Toshimitsu. editor.

(1)

Moerman, Ingrid. editor.

(1)

Nešetřil, Jaroslav. editor.

(1)

Nisse, Nicolas. editor.

(1)

Palamidessi, Catuscia. editor.

(1)

Palsberg, Jens. editor.

(1)

Pathan, Mukaddim. editor.

(1)

Potop-Butucaru, Maria. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Raynal, Michel. editor.

(1)

Rehof, Jakob. editor.

(1)

Ryan, Mark D. editor.

(1)

Saeed, Khalid. editor.

(1)

Sarkar, Saswati. editor.

(1)

Schwiegelshohn, Uwe. editor.

(1)

Shah, Assadullah. editor.

(1)

Shaikh, Faisal Karim. editor.

(1)

Shkaravska, Olha. editor.

(1)

Shyamasundar, Rudrapatna K. editor.

(1)

Sinha, Prasun. editor.

(1)

Sperotto, Anna. editor.

(1)

Steen, Maarten. editor.

(1)

Stiller, Burkhard. editor.

(1)

Sun, Jing. editor.

(1)

Talia, Domenico. editor.

(1)

Terzis, Andreas. editor.

(1)

Truthe, Bianca. editor.

(1)

Turck, Koen. editor.

(1)

Uqaili, Muhammad Aslam. editor.

(1)

Vega-Rodríguez, Miguel A. editor.

(1)

Vinel, Alexey. editor.

(1)

Vojnar, Tomáš. editor.

(1)

Waldburger, Martin. editor.

(1)

Wei, Guiyi. editor.

(1)

Wierzchoń, Sławomir. editor.

(1)

Wu, Chenggang. editor.

(1)

Xiong, Kaiqi. editor.

(1)

Yamashita, Masafumi. editor.

(1)

Zhang, Jun. editor.

(1)

Zu, Qiaohong. editor.

(1)

Zuck, Lenore D. editor.

(1)

Čeleda, Pavel. editor.

(1)

Publication Date

-

(30)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(37)

Algorithm Analysis and Problem Complexity.

(30)

Information Systems Applications (incl. Internet).

(16)

Artificial intelligence.

(7)

Artificial Intelligence (incl. Robotics).

(6)

Computer simulation.

(6)

Information Systems.

(6)

Information storage and retrieval systems.

(6)

(6)

Management of Computing and Information Systems.

(6)

Simulation and Modeling.

(6)

Data Mining and Knowledge Discovery.

(5)

Data encryption (Computer science).

(5)

(5)

Data protection.

(5)

Information Storage and Retrieval.

(5)

Systems and Data Security.

(5)

Computation by Abstract Devices.

(4)

Data Encryption.

(4)

Optical pattern recognition.

(3)

Pattern Recognition.

(3)

Special Purpose and Application-Based Systems.

(3)

Computer system performance.

(2)

Computers and Society.

(2)

Database management.

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Programming Languages, Compilers, Interpreters.

(2)

Programming Techniques.

(2)

System Performance and Evaluation.

(2)

Coding and Information Theory.

(1)

(1)

Computational complexity.

(1)

Discrete Mathematics in Computer Science.

(1)

Economics, Mathematical.

(1)

Game Theory/Mathematical Methods.

(1)

Logics and Meanings of Programs.

(1)

Mathematical Logic and Formal Languages.

(1)

Probability and Statistics in Computer Science.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Material Type

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

37 Results Found

Subscribe to search results

1 2 3 4

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.

1.

Cover image for Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

Author

Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-27245-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Author

Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16074-5

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

Author

Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15331-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Author

Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78800-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71209-1

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Author

Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11691372

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107194

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

Author

Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334342.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37015-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

Author

Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.

Preferred Shelf Number

ONLINE(334710.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38998-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Author

Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334797.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39408-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

Author

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Preferred Shelf Number

ONLINE(334826.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39637-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

Author

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Preferred Shelf Number

ONLINE(334827.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39640-3

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11