Search Results for Programming Languages.

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)

(184)

Noble, James. editor.

(5)

Cordeiro, José. editor.

(4)

Johnson, Ralph. editor.

(4)

Aceto, Luca. editor.

(3)

Legay, Axel. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

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

(3)

Salaün, Gwen. editor.

(3)

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

(3)

Zdun, Uwe. editor.

(3)

Albers, Susanne. editor.

(2)

Avgeriou, Paris. editor.

(2)

Badger, Julia M. editor.

(2)

Bensalem, Saddek. editor.

(2)

Bernardo, Marco. editor.

(2)

Bugliesi, Michele. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Chiba, Shigeru. editor.

(2)

Cohen, Albert. editor.

(2)

Damgård, Ivan. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Filipe, Joaquim. editor.

(2)

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

(2)

Giannakopoulou, Dimitra. editor.

(2)

Goldberg, Leslie Ann. editor.

(2)

Halldórsson, Magnús M. editor.

(2)

Igarashi, Atsushi. editor.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Jhala, Ranjit. editor.

(2)

Johnsen, Einar Broch. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Lemos, Rogério. editor.

(2)

Liu, Shaoying. editor.

(2)

Marchetti-Spaccamela, Alberto. editor.

(2)

Matias, Yossi. editor.

(2)

Merayo, Mercedes G. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

Petre, Luigia. editor.

(2)

Preneel, Bart. editor.

(2)

Reed, Rick. editor.

(2)

Rubin, Julia. editor.

(2)

Sassone, Vladimiro. editor.

(2)

Schaefer, Ina. editor.

(2)

Seidl, Helmut. editor.

(2)

Shao, Zhong. editor.

(2)

Shishkov, Boris. editor.

(2)

Smolka, Scott A. editor.

(2)

Tanter, Éric. editor.

(2)

Tasiran, Serdar. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

(2)

Varró, Dániel. editor.

(2)

Wallingford, Eugene. editor.

(2)

Walukiewicz, Igor. editor.

(2)

Wegener, Ingo. editor.

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Abramsky, Samson. editor.

(1)

Agha, Gul. editor.

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Albert, Elvira. editor.

(1)

Aldini, Alessandro. editor.

(1)

Amyot, Daniel. editor.

(1)

Arge, Lars. editor.

(1)

Artho, Cyrille. editor.

(1)

Barais, Olivier. editor.

(1)

Barbosa, Luis Soares. editor.

(1)

Barnes, John. author.

(1)

Barthe, Gilles. editor.

(1)

Bartocci, Ezio. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Maurice H. editor.

(1)

Bertacco, Valeria. editor.

(1)

Beuzen, Tomas, author.

(1)

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

(1)

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701

(1)

Biere, Armin. editor.

(1)

Bodden, Eric. editor.

(1)

Boehme, David. editor.

(1)

Boer, Frank S. editor.

(1)

Bois, André Rauber. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonfante, Guillaume. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bordini, Rafael H. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Bosschere, Koen. editor.

(1)

Botterweck, Goetz. editor.

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Brukardt, Randall L. editor.

(1)

Cabot, Jordi. editor.

(1)

Cachin, Christian. editor.

(1)

Caires, Luís. editor.

(1)

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

(1)

Carvalho Junior, Francisco Heron. editor.

(1)

Cassez, Franck. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

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

(1)

Cheng, Chih-Hong. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Clarke, Dave. editor.

(1)

Clarke, Peter. editor.

(1)

Codish, Michael. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Colom, José-Manuel. editor.

(1)

Combemale, Benoit. editor.

(1)

Corradini, Flavio. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Counsell, Steve. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Cámara, Javier. editor.

(1)

Dastani, Mehdi. editor.

(1)

Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043

(1)

Dencker, Peter. editor.

(1)

Desel, Jörg. editor.

(1)

Di Ruscio, Davide. editor.

(1)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

Dix, Jürgen. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dorf, Richard C., author.

(1)

Dowek, Gilles. author.

(1)

Drira, Khalil. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duchier, Denys. editor.

(1)

Duddy, Keith. editor.

(1)

Duff, Robert A. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Erwig, Martin. editor.

(1)

Escalona, María José. editor.

(1)

Esparza, Javier. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Farchi, Eitan. editor.

(1)

Favaro, John. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fernández, Maribel. author.

(1)

Ferrucci, Filomena. editor.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fischbach, Kai. editor.

(1)

Flammini, Francesco. editor.

(1)

Franch, Xavier. editor. (orcid)0000-0001-9733-8830

(1)

Fähndrich, Manuel. editor.

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Gardner, Philippa. editor.

(1)

Garrigue, Jacques. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gavoille, Cyril. editor.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

George, Laurent. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghezzi, Carlo. editor.

(1)

Giese, Holger. editor.

(1)

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

(1)

Goedicke, Michael. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gorp, Pieter. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Graf, Susanne. editor.

(1)

Gray, Jeff. editor.

(1)

Groves, Lindsay. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Hammoudi, Slimane. editor.

(1)

Harrison, Neil B. editor.

(1)

Haugen, Øystein. editor.

(1)

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

(1)

Hedin, Görel. editor.

(1)

Henzinger, Monika. editor.

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Hu, Zhenjiang. editor.

(1)

Hung, Dang. editor.

(1)

Hunt, John. author.

(1)

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

(1)

Insfran, Emilio. editor.

(1)

Italiano, Giuseppe F. editor.

(1)

John, Karl Heinz. author.

(1)

Jones, Richard. editor.

(1)

Jurdziński, Tomasz. editor.

(1)

Jörges, Sven. author.

(1)

Kappel, Gerti. editor.

(1)

Kasahara, Hironori. editor.

(1)

Keller, Chantal. editor.

(1)

Keller, Hubert B. editor.

(1)

Khendek, Ferhat. editor.

(1)

Kienzle, Jörg. editor.

(1)

Kimura, Keiji. editor.

(1)

Kindler, Ekkart. editor.

(1)

Kirchner, Claude. editor.

(1)

Klenk, Herbert. editor.

(1)

Language

(186)

Publication Date

-

(67)

(47)

(35)

(6)

(5)

(5)

(5)

(4)

(4)

(3)

(3)

(1)

(1)

Subject

Computer science.

(110)

Programming languages (Electronic computers).

(81)

Programming Languages, Compilers, Interpreters.

(67)

(65)

Computer logic.

(47)

Logics and Meanings of Programs.

(44)

Artificial intelligence.

(30)

Programming Techniques.

(29)

Mathematical Logic and Formal Languages.

(25)

Computer Communication Networks.

(22)

Computer programming.

(22)

Operating systems (Computers).

(19)

Computer simulation.

(18)

Information Systems.

(18)

Mathematical logic.

(17)

Management of Computing and Information Systems.

(16)

(15)

(15)

Computer communication systems.

(14)

Computer software.

(14)

Data structures (Computer science).

(12)

Artificial Intelligence (incl. Robotics).

(11)

Operating Systems.

(11)

Information Systems Applications (incl. Internet).

(10)

Information theory.

(10)

Computational complexity.

(9)

Algorithm Analysis and Problem Complexity.

(8)

Electronic data processing.

(8)

Computer system failures.

(7)

Simulation and Modeling.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Computation by Abstract Devices.

(6)

Computer organization.

(5)

Data protection.

(5)

Management information systems.

(5)

Special Purpose and Application-Based Systems.

(5)

Application software.

(4)

Computer system performance.

(4)

Information systems.

(4)

Computer network architectures.

(3)

Special purpose computers.

(3)

System Performance and Evaluation.

(3)

Architecture, Computer.

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Science, general.

(2)

Data Structures.

(2)

Database management.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Pattern recognition.

(2)

User interfaces (Computer systems).

(2)

Business Information Systems.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Programming Languages / Python

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer engineering.

(1)

Computer hardware.

(1)

Computer vision.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Digital electronics.

(1)

Electronic books.

(1)

(1)

Génie logiciel.

(1)

History of Computing.

(1)

Java (Computer program language).

(1)

Models and Principles.

(1)

Monoclonal antibodies.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Optical pattern recognition.

(1)

Ordinateurs -- Conception et construction.

(1)

Pattern Recognition.

(1)

Probability and Statistics in Computer Science.

(1)

Python (Computer program language)

(1)

User Interfaces and Human Computer Interaction.

(1)

Électronique numérique.

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

186 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 16

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 Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Author

Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Author

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Author

Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Author

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Author

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30690-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Author

Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27008-7

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Author

Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Author

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Author

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31517-7

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 16

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11