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:

+

Konu: Software engineering.

Author

SpringerLink (Online service)

(170)

Apduhan, Bernady O. editor.

(5)

Carlini, Maurizio. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Huisman, Marieke. editor.

(5)

Misra, Sanjay. editor.

(5)

Murgante, Beniamino. editor.

(5)

Nguyen, Hong-Quang. editor.

(5)

Taniar, David. editor.

(5)

Torre, Carmelo M. editor.

(5)

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

(3)

Cortesi, Agostino. editor.

(3)

Ganter, Bernhard. editor.

(3)

Gotzhein, Reinhard. editor.

(3)

Lankhorst, Marc. author.

(3)

Abdulla, Parosh Aziz. editor.

(2)

Barthe, Gilles. editor.

(2)

Cassez, Franck. editor.

(2)

Das, Swagatam. editor.

(2)

Dash, Shubhransu Sekhar. editor.

(2)

Eekelen, Marko. editor.

(2)

Esparza, Javier. editor.

(2)

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

(2)

Fortino, Giancarlo. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Higashino, Teruo. editor.

(2)

Kołodziej, Joanna. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Legay, Axel. editor.

(2)

Palsberg, Jens. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Rammig, Franz J. editor.

(2)

Reed, Rick. editor.

(2)

Rettberg, Achim. editor.

(2)

Rudolph, Sebastian. editor.

(2)

Shkaravska, Olha. editor.

(2)

Suganthan, Ponnuthurai Nagaratnam. editor.

(2)

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

(2)

Zanella, Mauro C. editor.

(2)

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

(2)

Abraham, Erika. editor.

(1)

Accorsi, Rafael. editor.

(1)

Alexander, Michael. editor.

(1)

Alpuente, María. editor.

(1)

Amann, Michael. editor.

(1)

Amato, Flora. editor.

(1)

Ammari, Habib M. editor.

(1)

Amyot, Daniel. editor.

(1)

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

(1)

Antonakos, James L.

(1)

Antoš, David. editor.

(1)

Ao, Sio-Iong. author.

(1)

Arceri, Vincenzo. editor.

(1)

Armando, Alessandro. editor.

(1)

Asarin, Eugene. editor.

(1)

Ashour, Amira S. editor.

(1)

Auger, François.

(1)

Aversa, Rocco. editor.

(1)

Babo, Rosalina. editor.

(1)

Badia, Rosa Maria. editor.

(1)

Baldoni, Roberto. editor.

(1)

Baresi, Luciano. editor.

(1)

Barneva, Reneta P. editor.

(1)

Bauer, Jörg. editor.

(1)

Bellalta, Boris. editor.

(1)

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622

(1)

Bensalem, Saddek. editor.

(1)

Bertin, Emmanuel. editor.

(1)

Bhatnagar, Vishal. editor.

(1)

Bihina Bella, Madeleine. author.

(1)

Bitsch, Friedemann. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Bouhlel, Med Salim. editor.

(1)

Bouyer, Patricia. editor.

(1)

Bozga, Marius. editor.

(1)

Braberman, Víctor. editor.

(1)

Brimkov, Valentin E. editor.

(1)

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

(1)

Bultan, Tevfik. editor.

(1)

Burdy, Lilian. editor.

(1)

Cannataro, Mario. editor.

(1)

Caragiannis, Ioannis. editor.

(1)

Celebi, M. Emre. editor. (orcid)0000-0002-2721-6317

(1)

Cellier, Peggy. editor.

(1)

Cha, Sungdeok (Steve). editor.

(1)

Chaki, Nabendu. editor.

(1)

Chaki, Rituparna. editor.

(1)

Chakraborty, Supratik. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chatterjee, Krishnendu. editor.

(1)

Chen, Qingfeng. author.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Chin, Wei-Ngan. editor.

(1)

Choi, Jin-Young. editor.

(1)

Chowdhry, Bhawani Shankar. editor.

(1)

Cichocki, Andrzej. editor.

(1)

Cirne, Walfredo. editor.

(1)

Clarke, Dave. editor.

(1)

Codella, Noel C.F. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Albert. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Collins, John. editor.

(1)

Collins, Toby. editor.

(1)

Cornell, Paul. author.

(1)

Cortellessa, Vittorio. author.

(1)

Costan, Alexandru. editor.

(1)

Cousot, Radhia. editor.

(1)

Crespi, Noel. editor.

(1)

Csuhaj-Varjú, Erzsébet. editor.

(1)

Dana, Kristin. editor.

(1)

Danelutto, Marco. editor.

(1)

Dathan, Brahma. editor.

(1)

De Ribaupierre, Sandrine. editor. (orcid)0000-0001-7096-2289

(1)

Dediu, Adrian-Horia. editor.

(1)

Demeester, Piet. editor.

(1)

Desai, Narayan. editor.

(1)

Desprez, Frédéric. editor.

(1)

Dey, Nilanjan. editor.

(1)

Di Marco, Antinisca. author.

(1)

Dimitrova, Desislava. editor.

(1)

Distel, Felix. editor.

(1)

Domenach, Florent. editor.

(1)

Donnelly, Mark. editor.

(1)

Doyen, Guillaume. editor.

(1)

Draheim, Dirk. author.

(1)

Drechsler, Klaus. editor.

(1)

Dudin, Alexander. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Eloff, Jan. author.

(1)

Elçi, Atilla. editor.

(1)

Emde Boas, Peter. editor.

(1)

Erdogmus, Deniz. editor.

(1)

Erdt, Marius. editor.

(1)

Fahrenberg, Uli. editor.

(1)

Fan, Junfeng. editor.

(1)

Faratin, Peyman. editor.

(1)

Ferrara, Pietro. editor.

(1)

Ferré, Sébastien. editor.

(1)

Fiems, Dieter. editor.

(1)

Filé, Gilberto. editor.

(1)

Flanagan, Cormac. editor.

(1)

Fontaine, Pascal. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Frey, Davide. editor.

(1)

Fribourg, Laurent. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gheorghe, Marian. editor.

(1)

Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990

(1)

Glück, Robert. editor.

(1)

Godin, Robert. editor.

(1)

González Ballester, Miguel Angel. editor.

(1)

Graf, Susanne. editor.

(1)

Gribonval, Rémi. editor.

(1)

Groen, Frans C. A. editor.

(1)

Groves, Lindsay. editor.

(1)

Grumberg, Orna. editor.

(1)

Grégoire, Benjamin. editor.

(1)

Gu, Junzhong. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Guyot, Vincent. editor.

(1)

Götz, Marcelo. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Halpern, Allan. editor. (orcid)0000-0001-7320-1901

(1)

Hankin, Chris. editor.

(1)

Haugen, Øystein. editor.

(1)

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

(1)

Haykin, Simon. editor.

(1)

Hermanns, Holger. editor.

(1)

Herrmann, Peter. editor.

(1)

Holt, Alan. author.

(1)

Hong, Hoon. editor.

(1)

Hsiung, Pao-Ann. editor.

(1)

Hu, Bo. editor.

(1)

Hung, Dang. editor.

(1)

Huth, Michael. editor.

(1)

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

(1)

Ignatov, Dmitry I. editor.

(1)

Inverardi, Paola. author.

(1)

Italiano, Giuseppe F. editor.

(1)

Itsykson, Vladimir. editor.

(1)

Jain, Lakhmi C. editor.

(1)

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

(1)

Jard, Claude. editor.

(1)

Jensen, Rune Møller. editor.

(1)

Jonsson, Magnus. editor.

(1)

Jurdziński, Marcin. editor.

(1)

Jureta, Ivan. author.

(1)

Jäschke, Robert. editor.

(1)

Kang, Byeong-Ho. editor.

(1)

Kanki, Hiroshi. author.

(1)

Kanoun, Karama.

(1)

Karhumäki, Juhani. editor.

(1)

Karkare, Bageshri.

(1)

Katayama, Yoshiaki. editor.

(1)

Kaâniche, Mohamed. editor.

(1)

Keckeisen, Michael. editor.

(1)

Language

(173)

Publication Date

-

(59)

(14)

(14)

(11)

(11)

(11)

(10)

(9)

(8)

(8)

(7)

(7)

(4)

(1)

Subject

Computer science.

(140)

Computer software.

(66)

(63)

Computer Communication Networks.

(56)

Algorithm Analysis and Problem Complexity.

(49)

Artificial intelligence.

(39)

Information systems.

(21)

Computer simulation.

(20)

Information Systems Applications (incl. Internet).

(19)

Artificial Intelligence (incl. Robotics).

(14)

Logics and Meanings of Programs.

(14)

Computer system performance.

(13)

(13)

Computational complexity.

(12)

Information storage and retrieval systems.

(12)

Mathematical Logic and Formal Languages.

(12)

Programming Languages, Compilers, Interpreters.

(12)

Computation by Abstract Devices.

(11)

Computer logic.

(10)

Information Systems.

(10)

Data protection.

(9)

Operating systems (Computers).

(9)

Programming Techniques.

(9)

Programming languages (Electronic computers).

(9)

Management of Computing and Information Systems.

(8)

Optical pattern recognition.

(8)

Simulation and Modeling.

(8)

(7)

Computer network architectures.

(7)

Data Mining and Knowledge Discovery.

(7)

Data encryption (Computer science).

(7)

Information Storage and Retrieval.

(7)

Systems and Data Security.

(7)

Computer vision.

(6)

Management information systems.

(6)

Mathematical logic.

(6)

(5)

Data Encryption.

(5)

(5)

Information theory.

(5)

Pattern Recognition.

(5)

Software Engineering/Programming and Operating Systems.

(5)

(4)

Special Purpose and Application-Based Systems.

(4)

System Performance and Evaluation.

(4)

(3)

Computer communication systems.

(3)

Computer hardware.

(3)

Electronic data processing.

(3)

Numerical analysis.

(3)

Operating Systems.

(3)

Telecommunication.

(3)

Communications Engineering, Networks.

(2)

Computational intelligence.

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Systems Organization and Communication Networks.

(2)

Computer aided design.

(2)

Computer programming.

(2)

Computer security.

(2)

Computer system failures.

(2)

Computers and Society.

(2)

Data structures (Computer science).

(2)

Database management.

(2)

Discrete Mathematics in Computer Science.

(2)

Engineering mathematics.

(2)

Fourier analysis.

(2)

History of Computing.

(2)

Probability and Statistics in Computer Science.

(2)

Special purpose computers.

(2)

Theory of Computation.

(2)

Algebra -- Data processing.

(1)

Benchmarking (Management)

(1)

Bioinformatics.

(1)

Business Information Systems.

(1)

COMPUTERS -- Software Development & Engineering -- General.

(1)

COMPUTERS -- Software Development & Engineering -- Systems Analysis & Design.

(1)

Cloud Computing.

(1)

Coding and Information Theory.

(1)

Compilers (Computer programs)

(1)

Computational Biology/Bioinformatics.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Computer science -- Mathematics.

(1)

Computer science—Mathematics.

(1)

Computer software -- Verification.

(1)

Computer systems -- Reliability.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computing Methodologies.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Engineering.

(1)

Data Structures.

(1)

Data and Information Security.

(1)

Data flow computing.

(1)

Data structures (Computer scienc.

(1)

Data structures (Computer science)

(1)

Dynamical systems.

(1)

(1)

Earth Sciences.

(1)

Economics, Mathematical.

(1)

Economics/Management Science.

(1)

Electronic books.

(1)

Electronic commerce.

(1)

(1)

Emergency medicine.

(1)

Engineering -- Data processing.

(1)

(1)

Expert systems (Computer science).

(1)

Game Theory/Mathematical Methods.

(1)

Geoengineering, Foundations, Hydraulics.

(1)

(1)

Geophysics and Environmental Physics.

(1)

Geotechnical Engineering & Applied Earth Sciences.

(1)

Hydraulic engineering.

(1)

(1)

Internet of things.

(1)

Knowledge Based Systems.

(1)

Knowledge management.

(1)

Landscape/Regional and Urban Planning.

(1)

Mathematical statistics.

(1)

(1)

Medical records -- Data processing.

(1)

Microprogramming.

(1)

Models and Principles.

(1)

Numeric Computing.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Performance and Reliability.

(1)

Political science.

(1)

Regional planning.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Signal processing.

(1)

Social sciences -- Data processing.

(1)

(1)

Translators (Computer programs).

(1)

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

174 Results Found

Subscribe to search results

1 2 3 4 5 .. 15

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 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

Author

Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Author

Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04272-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

Author

Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Author

Podelski, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

Author

Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Author

Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Author

Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Author

Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11936-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Author

Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Author

Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 15

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11