Search Results for Tools.

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:

+

Konu: Computer science.

Author

SpringerLink (Online service)

(101)

Dastani, Mehdi. editor.

(4)

Meyer, Bertrand. editor.

(4)

Diniz, Pedro C. editor.

(3)

Leite, João. editor.

(3)

Marcus, Aaron. editor.

(3)

Nagel, Wolfgang E. editor.

(3)

Resch, Michael M. editor.

(3)

Woods, Roger. editor.

(3)

Abraham, Ajith. editor.

(2)

Athanas, Peter. editor.

(2)

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

(2)

El-Ghazawi, Tarek. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Hassanien, Aboul-Ella. editor.

(2)

Huisman, Marieke. editor.

(2)

Kurosu, Masaaki. editor.

(2)

Mazzola, Guerino. author.

(2)

Morgan, Fearghal. editor.

(2)

Müller, Matthias S. editor.

(2)

Schulz, Alexander. editor.

(2)

Torroni, Paolo. editor.

(2)

Woodcock, Jim. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Afsarmanesh, Hamideh. editor.

(1)

Alexander, Brandon. author.

(1)

Amano, Hideharu. editor.

(1)

Andres, Clay. editor.

(1)

Anglin, Steve. editor.

(1)

Antona, Margherita. editor.

(1)

Baldoni, Roberto. editor.

(1)

Becker, Jürgen. editor.

(1)

Beckner, Mark. editor.

(1)

Berg, Martin. author.

(1)

Beroggi, Giampiero E. G. author.

(1)

Bertels, Koen. editor.

(1)

Berthold, Michael R. editor.

(1)

Bishop, Judith. editor.

(1)

Blackburn, Patrick. editor.

(1)

Bordini, Rafael H. editor.

(1)

Bosch, Jan. editor.

(1)

Bouganis, Christos. editor.

(1)

Bragg, Arnold. editor.

(1)

Brinkmann, Steffen. editor.

(1)

Brisk, Philip. editor.

(1)

Brunst, Holger. editor.

(1)

Buckingham Shum, Simon J. editor.

(1)

Buckingham, Ewan. editor.

(1)

Butler, Michael. editor.

(1)

Böhlen, Michael H. editor.

(1)

Camarinha-Matos, Luis M. editor.

(1)

Capilla, Rafael. editor.

(1)

Cardoso, João M. P. editor.

(1)

Careglio, Davide. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chen, Jim X. author.

(1)

Cheptsov, Alexey. editor.

(1)

Cheung, Ray C. C. editor.

(1)

Chockler, Gregory. editor.

(1)

Choy, Oliver C. S. editor.

(1)

Christensen, Ole. author.

(1)

Compton, Katherine. editor.

(1)

Cornell, Gary. editor.

(1)

Cornell, Paul. author.

(1)

Cruz-Cunha, Maria Manuela. editor.

(1)

Cunha, José C. editor.

(1)

Cutugno, Francesco. editor.

(1)

Danelutto, Marco. author.

(1)

Denkena, Berend. editor.

(1)

Dillion, Brad. author.

(1)

Ditmarsch, Hans. editor.

(1)

Dix, Jürgen. editor.

(1)

Djeraba, Chabane. author.

(1)

Ebersbach, Anja. author.

(1)

El Fallah Seghrouchni, Amal. editor.

(1)

El Fallah Segrouchni, Amal. editor.

(1)

Esparza, Javier. editor.

(1)

Falcone, Mauro. editor.

(1)

Farchi, Eitan. editor.

(1)

Feng, Xinyu. editor.

(1)

Fernandes, Marcio Merino. editor.

(1)

Figueiredo Coutinho, José Gabriel. editor.

(1)

Flanagan, Cormac. editor.

(1)

Fragopoulou, Paraskevi. author.

(1)

Fummi, Franco. editor.

(1)

Furia, Carlo A. editor.

(1)

Fàbrega, Lluís. editor.

(1)

Gabbay, Dov M. author.

(1)

Gennick, Jonathan. editor.

(1)

Getov, Vladimir. author.

(1)

Glaser, Markus. author.

(1)

Goshtasby, A. Ardeshir. author.

(1)

Gracia, José. editor.

(1)

Granollers Saltiveri, Antoni. editor.

(1)

Gross, James. editor.

(1)

Grumberg, Orna. editor.

(1)

Güneş, Mesut. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Hassell, Jonathan. editor.

(1)

Heigl, Richard. author.

(1)

Hermanns, Holger. editor.

(1)

Himmler, Valentin. editor.

(1)

Hollmann, Ferdinand. editor.

(1)

Hsu, Ching-Hsien. editor.

(1)

Huth, Michael. editor.

(1)

Hübner, Jomi. editor.

(1)

Ince, A. Nejat. editor.

(1)

Itsykson, Vladimir. editor.

(1)

Jaeger, Dieter. editor.

(1)

Jakob, Ralf. author.

(1)

James, Daniel. author.

(1)

Jones, Cliff. editor.

(1)

Joshi, Rajeev. editor.

(1)

Jung, Ranu. editor.

(1)

Kang, Kyo-Chul. editor.

(1)

Karampelas, Panagiotis. author.

(1)

Karle, Thomas. author.

(1)

Karuri, Kingshuk. author.

(1)

Keller, Rainer. editor.

(1)

Kim, Kevin Y. author.

(1)

King, Irwin. editor.

(1)

Koch, Andreas. editor.

(1)

Koch, Dirk. author.

(1)

Koranne, Sandeep. author.

(1)

Kowalewski, Stefan. editor.

(1)

Krammer, Bettina. editor.

(1)

Krishnamurthy, Ram. editor.

(1)

Kulkarni, Parag.

(1)

König, Barbara. editor.

(1)

Latorre, Pedro M. editor.

(1)

Leavens, Gary T. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leue, Stefan. editor.

(1)

Leupers, Rainer. author.

(1)

Lourenço, João M. editor.

(1)

Lowman, Michelle. editor.

(1)

MacDonald, Brian. editor.

(1)

Macías, José A. editor.

(1)

Magnini, Bernardo. editor.

(1)

Majumdar, Rupak. editor.

(1)

Malyshkin, Victor. editor.

(1)

Manzano, María. editor.

(1)

Markham, Jim. editor.

(1)

Marques, Eduardo. editor.

(1)

Mazeika, Arturas. editor.

(1)

McAllister, John. editor.

(1)

Montabone, Sebastian. author.

(1)

Moodie, Matthew. editor.

(1)

Moore, Ralph. editor.

(1)

Müller, Peter. editor.

(1)

Müller-Olm, Markus. editor.

(1)

Nanz, Sebastian. editor.

(1)

Nejat Ince, A. editor.

(1)

Nordio, Martin. editor.

(1)

Oberweis, Andreas. author.

(1)

Okada, Alexandra. editor.

(1)

Ollus, Martin. editor.

(1)

Oriol, Manuel. editor.

(1)

O’Hearn, Peter. editor.

(1)

Paige, Richard F. editor.

(1)

Palsberg, Jens. editor.

(1)

Pankratius, Victor. editor.

(1)

Papadimitriou, Dimitri. editor.

(1)

Park, Joomi. author.

(1)

Parkes, Duncan. editor.

(1)

Pepper, Jeffrey. editor.

(1)

Philippou, Anna. editor.

(1)

Philippsen, Michael. editor.

(1)

Pianta, Emanuele. editor.

(1)

Piper, Ian. author.

(1)

Piskac, Ruzica. editor.

(1)

Piterman, Nir. editor.

(1)

Podelski, Andreas. editor.

(1)

Pohlmann, Frank. editor.

(1)

Pundick, Douglas. editor.

(1)

Putnik, Goran D. editor.

(1)

Rahman, Rezaur. author.

(1)

Rajamani, Sriram K. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Rana, Omer F. editor.

(1)

Rau, Pei-Luen Patrick. editor.

(1)

Rehof, Jakob. editor.

(1)

Renow-Clarke, Ben. editor.

(1)

Resch, Michael. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098

(1)

Salvendy, Gavriel. editor.

(1)

Sano, Kentaro. editor.

(1)

Scedrov, Andre. editor.

(1)

Schlechta, Karl. author.

(1)

Schlick, Christopher M. editor.

(1)

Schneidewind, Norman.

(1)

Schwenkler, Thomas. author.

(1)

Schönthaler, Frank. author.

(1)

Shakeshaft, Dominic. editor.

(1)

Shankar, Natarajan. editor.

(1)

Sherborne, Tony. editor.

(1)

Simoff, Simeon J. editor.

(1)

Simovici, Dan A. author.

(1)

Sirisuk, Phaophak. editor.

(1)

Language

(98)

(3)

Publication Date

-

(15)

(14)

(14)

(12)

(12)

(10)

(7)

(7)

(6)

(4)

(1)

(1)

Subject

Software engineering.

(47)

Computer Communication Networks.

(33)

(23)

Artificial intelligence.

(18)

Information systems.

(18)

Computer network architectures.

(14)

Computer software.

(13)

Computer system performance.

(11)

Information storage and retrieval systems.

(9)

Computer simulation.

(8)

Operating systems (Computers).

(8)

(7)

(7)

Multimedia systems.

(6)

Computer hardware.

(5)

Computer vision.

(5)

Information Systems.

(5)

Database management.

(4)

(4)

Information Storage and Retrieval.

(4)

Information Systems Applications (incl. Internet).

(4)

Management information systems.

(4)

Engineering mathematics.

(3)

Optical pattern recognition.

(3)

Systems engineering.

(3)

User Interfaces and Human Computer Interaction.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Computational Science and Engineering.

(2)

Computer graphics.

(2)

Computers and Society.

(2)

Electronic books.

(2)

Electronic data processing.

(2)

(2)

Logic, Symbolic and mathematical.

(2)

Management of Computing and Information Systems.

(2)

(2)

Programming Languages, Compilers, Interpreters.

(2)

Programming Techniques.

(2)

Social sciences -- Data processing.

(2)

Algebraic topology.

(1)

Appl.Mathematics/Computational Methods of Engineering.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Business logistics.

(1)

COMPUTERS / Data Transmission Systems / General

(1)

COMPUTERS / Enterprise Applications / Business Intelligence Tools

(1)

COMPUTERS / Intelligence (AI) & Semantics

(1)

COMPUTERS / Networking / Vendor Specific

(1)

COMPUTERS / Programming / Open Source

(1)

COMPUTERS / Software Development & Engineering / General

(1)

COMPUTERS / Software Development & Engineering / Tools

(1)

Circuits and Systems.

(1)

Complex Networks.

(1)

Computational complexity.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Applications.

(1)

Computer Science, general.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer engineering.

(1)

Computer industry.

(1)

Computer networks.

(1)

Computer science -- Mathematics.

(1)

Computers and Education.

(1)

Data protection.

(1)

Data structures (Computer scienc.

(1)

Data structures (Computer science).

(1)

Decision Making.

(1)

Education—Data processing.

(1)

Electrical engineering.

(1)

Electronic commerce.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

Engineering design.

(1)

Environmental pollution.

(1)

Fourier analysis.

(1)

Functional analysis.

(1)

Functions, special.

(1)

Health Informatics.

(1)

Information storage and retrieval.

(1)

Information theory.

(1)

Language Translation and Linguistics.

(1)

(1)

(1)

Logics and Meanings of Programs.

(1)

Machine learning.

(1)

Machinery and Machine Elements.

(1)

(1)

Manufacturing, Machines, Tools.

(1)

Mathematical physics.

(1)

Medical records -- Data processing.

(1)

Monoclonal antibodies.

(1)

Multimedia Information Systems.

(1)

Multimedia systems .

(1)

(1)

(1)

(1)

Operating Systems.

(1)

Pattern Recognition.

(1)

Performance and Reliability.

(1)

(1)

Processor Architectures.

(1)

Reinforcement learning.

(1)

Romance languages.

(1)

Science -- Study and teaching.

(1)

(1)

Special Purpose and Application-Based Systems.

(1)

Statistical Physics, Dynamical Systems and Complexity.

(1)

System Performance and Evaluation.

(1)

Systems theory.

(1)

TECHNOLOGY & ENGINEERING / Electronics / General.

(1)

Text processing (Computer science.

(1)

Theory of Computation.

(1)

Translators (Computer programs).

(1)

User interfaces (Computer systems).

(1)

Vibration, Dynamical Systems, Control.

(1)

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

103 Results Found

Subscribe to search results

1 2 3 4 5 .. 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.

1.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Author

Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334747.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Author

Marcus, Aaron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334758.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334759.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developers

Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developers

Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developers

Author

Rahman, Rezaur. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330730.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-5927-5

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Partial Reconfiguration on FPGAs Architectures, Tools and Applications

Partial Reconfiguration on FPGAs Architectures, Tools and Applications

Partial Reconfiguration on FPGAs Architectures, Tools and Applications

Author

Koch, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331261.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1225-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

Author

Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334299.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Author

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334870.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers

Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers

Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers

Author

Fàbrega, Lluís. editor. Vilà, Pere. editor. Careglio, Davide. editor. Papadimitriou, Dimitri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335086.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Techniques and Tools for Designing an Online Social Network Platform

Techniques and Tools for Designing an Online Social Network Platform

Techniques and Tools for Designing an Online Social Network Platform

Author

Karampelas, Panagiotis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335297.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-7091-0787-4

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Collaborative Financial Infrastructure Protection Tools, Abstractions, and Middleware

Collaborative Financial Infrastructure Protection Tools, Abstractions, and Middleware

Collaborative Financial Infrastructure Protection Tools, Abstractions, and Middleware

Author

Baldoni, Roberto. editor. Chockler, Gregory. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Business Processes for Business Communities Modeling Languages, Methods, Tools

Business Processes for Business Communities Modeling Languages, Methods, Tools

Business Processes for Business Communities Modeling Languages, Methods, Tools

Author

Schönthaler, Frank. author. Vossen, Gottfried. author. Oberweis, Andreas. author. Karle, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11