Search Results for Programming languages.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(303)

Taylor and Francis.

(7)

(6)

Aktaş, Volkan.

(5)

Noble, James. editor.

(5)

Aceto, Luca. editor.

(4)

Cordeiro, José. editor.

(4)

Halldórsson, Magnús M. editor.

(4)

Johnson, Ralph. editor.

(4)

Kobayashi, Naoki. editor.

(4)

Sebesta, Robert W.

(4)

Dastani, Mehdi. editor.

(3)

Esparza, Javier. editor.

(3)

Hunt, John. author.

(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)

Abramsky, Samson. editor.

(2)

Abuşoğlu, Atakan.

(2)

Albers, Susanne. editor.

(2)

Avgeriou, Paris. editor.

(2)

Badger, Julia M. editor.

(2)

Bensalem, Saddek. editor.

(2)

Bernardo, Marco. editor.

(2)

Bordini, Rafael H. editor.

(2)

Bugliesi, Michele. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Chapman, Barbara M. editor.

(2)

Chiba, Shigeru. editor.

(2)

Cohen, Albert. editor.

(2)

Czumaj, Artur. editor.

(2)

Damgård, Ivan. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Dix, Jürgen. editor.

(2)

Dowek, Gilles. author.

(2)

Egges, Arjan. author.

(2)

Filipe, Joaquim. editor.

(2)

Fokker, Jeroen D. author.

(2)

Fomin, Fedor V. editor.

(2)

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

(2)

Fraigniaud, Pierre. editor.

(2)

Freivalds, Rūsiņš. editor.

(2)

Gabbrielli, Maurizio. author.

(2)

Gardner, Philippa. editor.

(2)

Gavoille, Cyril. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Goldberg, Leslie Ann. editor.

(2)

Henzinger, Monika. editor.

(2)

Horváth, Zoltán. editor.

(2)

Husfeldt, Thore. editor.

(2)

Igarashi, Atsushi. editor.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Iwama, Kazuo. editor.

(2)

Jamison, D. Curtis.

(2)

Jhala, Ranjit. editor.

(2)

Johnsen, Einar Broch. editor.

(2)

Kent, Jeffrey A. (Jeffrey Alan), 1952-

(2)

Keogh, James Edward, 1948-

(2)

Kirchner, Claude. editor.

(2)

Koutsoupias, Elias. editor.

(2)

Kwiatkowska, Marta. editor.

(2)

Lee, Kent D. author.

(2)

Lemos, Rogério. editor.

(2)

Lissoir, Alain.

(2)

Liu, Shaoying. editor.

(2)

Marchetti-Spaccamela, Alberto. editor.

(2)

Martini, Simone. author.

(2)

Matias, Yossi. editor.

(2)

Mehlhorn, Kurt. editor.

(2)

Merayo, Mercedes G. editor.

(2)

Meyer auf der Heide, Friedhelm. editor.

(2)

Müller, Matthias S. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

Peleg, David. editor.

(2)

Petre, Luigia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pitts, Andrew. editor.

(2)

Preneel, Bart. editor.

(2)

Reed, Rick. editor.

(2)

Rubin, Julia. editor.

(2)

Sassone, Vladimiro. editor.

(2)

Schaefer, Ina. editor.

(2)

Schonberg, Edmond. editor.

(2)

Seidl, Helmut. editor.

(2)

Sgall, Jiří. editor.

(2)

Shao, Zhong. editor.

(2)

Shishkov, Boris. editor.

(2)

Smolka, Scott A. editor.

(2)

Speckmann, Bettina. editor.

(2)

Spirakis, Paul G. editor.

(2)

Stephenson, Ben. author.

(2)

Tanter, Éric. editor.

(2)

Tasiran, Serdar. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Tucker, Allen B.

(2)

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

(2)

Turtschi, Adrian.

(2)

Varró, Dániel. editor.

(2)

Wallingford, Eugene. editor.

(2)

Walukiewicz, Igor. editor.

(2)

Wattenhofer, Roger. editor.

(2)

Wegener, Ingo. editor.

(2)

Zsók, Viktória. editor.

(2)

de Supinski, Bronis R. editor.

(2)

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

(2)

ACM Java Grande Conference (6th : 2001 : Palo Alto, Calif.)

(1)

ACM Java Grande/ISCOPE Conference (2001 : Palo Alto, Calif.)

(1)

ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (2001 : Snowbird, Utah)

(1)

ACM Special Interest Group on Programming Languages.

(1)

ACM, Special Interest Group on Programming Languages.

(1)

ACM, Special Interest Group on Software Engineering.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Achten, Peter. editor.

(1)

Adak, M. Fatih.

(1)

Adl-Tabatabai, Ali-Reza.

(1)

Agha, Gul. editor.

(1)

Agosti, Stefano, contributor.

(1)

Agrest, Diana, contributor.

(1)

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X

(1)

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

(1)

Albert, Elvira. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alferes, José Júlio. editor.

(1)

Alinei, Mario, contributor.

(1)

Almansi, Guido, contributor.

(1)

Altman, Yair M., author.

(1)

Amyot, Daniel. editor.

(1)

Andersen, Henning, contributor.

(1)

Apostol, Pavel, contributor.

(1)

Apt, Krzysztof R., 1949-

(1)

Archer, Dane, contributor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Arenas, Marcelo. editor.

(1)

Arge, Lars. editor.

(1)

Arigoni, A. O., contributor.

(1)

Arlandi, Gian Franco, contributor.

(1)

Arnett, Katy, contributor.

(1)

Arnett, Katy, editor.

(1)

Artemov, Sergei. editor.

(1)

Artho, Cyrille. editor.

(1)

Association for Computing Machinery.

(1)

Avalle, d\x27Arco Silvio, contributor.

(1)

Ayala, José L. editor.

(1)

Ayyıldız, Serkan.

(1)

Backiel, Aimee Author.

(1)

(1)

Bai, Ying, 1956, author.

(1)

Bai, Ying, 1956-

(1)

Baitchura, Uzbek, contributor.

(1)

Bakker, J. W. de (Jacobus Willem), 1939-

(1)

Balachov, Nicolas, contributor.

(1)

Baldi, Paolo, contributor.

(1)

Baldoni, Matteo. editor.

(1)

Bansal, Arvind Kumar.

(1)

Bansal, Jagdish Chand. editor.

(1)

Barais, Olivier. editor.

(1)

Barbosa, Luis Soares. editor.

(1)

Baresi, Luciano. editor.

(1)

Barnbrook, Geoffrey, author.

(1)

Barnes, John. author.

(1)

Barthe, Gilles. editor.

(1)

Bartocci, Ezio. editor.

(1)

Basta, Hidy, contributor.

(1)

Battiste, Marie, contributor.

(1)

Battisti, Eugenio, contributor.

(1)

Becker, Ava, contributor.

(1)

Beckerath, Thea Von, contributor.

(1)

Beckerman, Andrew P.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Maurice H. editor.

(1)

Bel-Enguix, Gemma. editor.

(1)

Beluffi, Max, contributor.

(1)

Ben-Amos, Dan, contributor.

(1)

Ben-Ari, M., 1948-

(1)

Ben-Porat, Ziva, contributor.

(1)

Benigni, Laura, contributor.

(1)

Bense, Max, contributor.

(1)

Berk, Christiaan Alphonsus van den, contributor.

(1)

Bertacco, Valeria. editor.

(1)

Bertels, Koen. editor. (orcid)0000-0001-9310-4885

(1)

Bettetini, Gianfranco, contributor.

(1)

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

(1)

Bhateja, Vikrant. editor.

(1)

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

(1)

Bhattacharjee, Arup Kumar.

(1)

Bieger, Jordi. editor.

(1)

Biere, Armin. editor.

(1)

Bierman, Gavin. editor.

(1)

Bindner, Donald., author.

(1)

Blanchard, Jean-Marc, contributor.

(1)

Blanco Heras, Dora. editor.

(1)

Blonsky, Marshall, contributor.

(1)

Bodden, Eric. editor.

(1)

Bodei, Chiara. editor.

(1)

Boehme, David. editor.

(1)

Language

(416)

(24)

(1)

Publication Date

-

(100)

(73)

(72)

(23)

(23)

(16)

(13)

(13)

(11)

(8)

(8)

(8)

(8)

(7)

(7)

(6)

(6)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(185)

Computer science.

(155)

Programming languages (Electronic computers).

(130)

Programming Languages, Compilers, Interpreters.

(92)

(77)

Computer logic.

(59)

Artificial intelligence.

(48)

Logics and Meanings of Programs.

(48)

Programming languages (Electronic computers)

(41)

Computer programming.

(39)

Programming Techniques.

(37)

Computer Communication Networks.

(30)

Mathematical Logic and Formal Languages.

(30)

(24)

Computer software.

(24)

Mathematical logic.

(24)

Operating systems (Computers).

(24)

(21)

Computer simulation.

(19)

Information Systems.

(18)

Computational complexity.

(16)

Computer communication systems.

(16)

Management of Computing and Information Systems.

(16)

PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR)

(16)

Data structures (Computer science).

(15)

C# (Computer program language)

(14)

Algorithm Analysis and Problem Complexity.

(13)

Artificial Intelligence (incl. Robotics).

(13)

Information theory.

(13)

Application software.

(12)

Database management.

(12)

Electronic data processing.

(12)

Information Systems Applications (incl. Internet).

(12)

C# (Bilgisayar programlama dili)

(11)

Electronic books.

(11)

Information storage and retrieval systems.

(11)

Operating Systems.

(11)

Programlama dili (Elektronik bilgisayarlar)

(11)

Computer system failures.

(10)

Computation by Abstract Devices.

(9)

Computer organization.

(9)

Management information systems.

(9)

Computer Science, general.

(8)

Simulation and Modeling.

(8)

Computer software -- Development.

(7)

Information systems.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Architecture, Computer.

(6)

Computer science—Mathematics.

(6)

Computer system performance.

(6)

(6)

Data protection.

(6)

Microsoft.net framework.

(6)

Programming Languages.

(6)

Programming languages.

(6)

Computer network architectures.

(5)

Java (Computer program language)

(5)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(5)

Object-oriented programming languages.

(5)

Programming languages (Electronic computers) -- Semantics.

(5)

Python (Computer program language).

(5)

Special Purpose and Application-Based Systems.

(5)

System Performance and Evaluation.

(5)

Information Storage and Retrieval.

(4)

Programlama dilleri.

(4)

Python (Computer program language)

(4)

COMPUTERS / Programming Languages / General.

(3)

COMPUTERS / Software Development & Engineering / General.

(3)

Computational intelligence.

(3)

Computational linguistics.

(3)

Computer hardware.

(3)

Data Structures.

(3)

Discrete Mathematics in Computer Science.

(3)

Java (Computer program language).

(3)

Mathematical statistics.

(3)

Microprocessors.

(3)

Object-oriented programming (Computer science)

(3)

Operating systems (Computers)

(3)

R (Computer program language)

(3)

Signal processing.

(3)

Special purpose computers.

(3)

Active server pages.

(2)

Algebra -- Data processing.

(2)

Assembler language (Computer program language)

(2)

Bioinformatics.

(2)

Communications Engineering, Networks.

(2)

Compilers (Computer programs)

(2)

Computational Biology -- methods.

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer science -- Handbooks, manuals, etc.

(2)

Computer security.

(2)

Computer vision.

(2)

Computing Methodologies.

(2)

(2)

Digital computer simulation.

(2)

Embedded computer systems -- Programming.

(2)

Engineering -- Handbooks, manuals, etc.

(2)

(2)

Expert systems (Computer science)

(2)

Functional programming languages.

(2)

History of Computing.

(2)

Internet programming.

(2)

Logic, Symbolic and mathematical.

(2)

(2)

Mathematical Logic and Foundations.

(2)

Mathematical linguistics.

(2)

Mathematics -- Data processing.

(2)

Microprogramming .

(2)

Microsoft .NET Framework.

(2)

Microsoft Windows (Computer file)

(2)

Models and Principles.

(2)

Mıcrosoft .Net Çatısı.

(2)

Numeric Computing.

(2)

Numerical analysis.

(2)

PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR).

(2)

Parallel programming (Computer science)

(2)

Pattern recognition.

(2)

Programlama Dili (Elektronik Bilgisayar).

(2)

Programlama dilleri (Elektronik bilgisayarlar)

(2)

Programmeertalen.

(2)

Programmiersprache.

(2)

Programming languages (Electronic computers) -- Syntax.

(2)

Programming languages (Electronic computers) -- Textbooks.

(2)

(2)

Signal, Speech and Image Processing.

(2)

Statistics and Computing/Statistics Programs.

(2)

(2)

Telecommunication.

(2)

UML (Computer science).

(2)

User interfaces (Computer systems).

(2)

Visual programming languages (Computer science)

(2)

(2)

programmation fonctionnelle.

(2)

(1)

(1)

(1)

Algebraïsche taalkunde.

(1)

Algorithms -- Computer program.

(1)

Algoritmalar -- Bilgisayar programı.

(1)

Application Windows.

(1)

Arduino (Bilgisayar program dili).

(1)

Arduino (Computer program language).

(1)

Arduino (Programlanabilir denetleyiciler)

(1)

Arduino (Programmable controller).

(1)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

Aufsatzsammlung.

(1)

Automation -- Handbooks, manuals, etc.

(1)

BASIC (Computer program language)

(1)

BUSINESS & ECONOMICS / Information Management

(1)

Bilgisayar bilimi.

(1)

Bilgisayar programlama dilleri -- Yazılım.

(1)

Bilgisayar programlama.

(1)

Bilgisayar yazılımı.

(1)

Bilingualism & multilingualism.

(1)

Biology -- Data processing.

(1)

Biometric identification.

(1)

Business Information Systems.

(1)

BİLGİSAYAR YAZILIMI -- GELİŞİM -- KONGRELER.

(1)

C (Bilgisayar program dili).

(1)

C (Bilgisayar programlama dili)

(1)

C (Computer program language)

(1)

C (Computer program language).

(1)

C# (Bilgisayar Program Dili)

(1)

C# (Computer Program Language)

(1)

C++ (Computer program language)

(1)

COBOL (BİLGİSAYAR PROGRAMLAMA DİLİ)

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Mathematical & Statistical Software.

(1)

COMPUTERS -- Programming Languages -- Pascal.

(1)

COMPUTERS -- Software Development & Engineering -- General.

(1)

COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing.

(1)

COMPUTERS / Information Technology

(1)

COMPUTERS / Programming / Software Development

(1)

COMPUTERS / Programming Languages / C#

(1)

COMPUTERS / Programming Languages / General

(1)

COMPUTERS / Programming Languages / Java

(1)

COMPUTERS / Programming Languages / Pascal

(1)

(1)

Code generators.

(1)

(1)

Cognitive grammar.

(1)

Common Language Runtime (Computer science)

(1)

Component software.

(1)

Computable functions.

(1)

(1)

Computer Applications.

(1)

Computer Graphics.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science (General)

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer crimes.

(1)

Computer engineering.

(1)

Computer games -- Programming.

(1)

Computer interfaces.

(1)

Computer networks -- Testing -- Data processing.

(1)

Computer networks--Access control.

(1)

Computer networks--Security measures.

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

Sağlık Bilimleri Genel Koleksiyon

Library

Beytepe Library

Health Sciences Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

441 Results Found

Subscribe to search results

1 .. 14 15 16 17 18 .. 37

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.

181.

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:

182.

Cover image for Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

Author

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23584-0

Format:

Availability

Online Library~1

Available:
Copies:

183.

Cover image for Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Author

Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

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:

185.

Cover image for Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Author

Lujak, Marin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Cover image for Advanced Guide to Python 3 Programming

Advanced Guide to Python 3 Programming

Advanced Guide to Python 3 Programming

Author

Hunt, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Author

Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

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:

190.

Cover image for Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Author

Silva, Josep. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

Cover image for Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Author

Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 14 15 16 17 18 .. 37

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11