Search Results for Programming (Computers)

|

|

|

|

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)

(131)

Taylor and Francis.

(12)

(6)

Aktaş, Volkan.

(5)

Vatansever, Fahri.

(5)

Cormen, Thomas H.

(3)

Hunt, John. author.

(3)

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

(3)

Sebesta, Robert W.

(3)

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

(3)

Wiley InterScience (Online service)

(3)

Badger, Julia M. editor.

(2)

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

(2)

Giannakopoulou, Dimitra. editor.

(2)

Gropp, William, author.

(2)

IEEE Xplore (Online Service), distributor.

(2)

Lee, Kent D. author.

(2)

Lissoir, Alain.

(2)

(2)

MIT Press, publisher.

(2)

Michalewicz, Zbigniew, editor.

(2)

Salaün, Gwen. editor.

(2)

Schaefer, Ina. editor.

(2)

Stephenson, Ben. author.

(2)

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

(2)

Turtschi, Adrian.

(2)

de Supinski, Bronis R. editor.

(2)

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

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Abran, Alain, 1949-

(1)

Agha, Gul. editor.

(1)

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

(1)

Akenine-Möller, Tomas, author.

(1)

Albert, Elvira. editor.

(1)

Alferes, José Júlio. editor.

(1)

Amyot, Daniel. editor.

(1)

Antonakos, James L.

(1)

April, Alain, 1958-

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artho, Cyrille. editor.

(1)

Atak, Osman Nuri.

(1)

Avgeriou, Paris. editor.

(1)

Aydemir, Mesut.

(1)

Baboulin, Marc. editor.

(1)

Baeck, Thomas, editor.

(1)

Bai, Ying, 1956-

(1)

Bansal, Arvind Kumar.

(1)

Banzhaf, Wolfgang. editor. (orcid)

(1)

Barais, Olivier. editor.

(1)

Barnett, Eugene H.

(1)

(1)

Beckerman, Andrew P.

(1)

Bensalem, Saddek. editor.

(1)

Bernardo, Marco. editor.

(1)

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

(1)

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

(1)

Bhatele, Abhinav. editor.

(1)

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

(1)

Bhattacharjee, Arup Kumar.

(1)

Bilge, Alper, editör

(1)

Bishop, Robert H., 1957- editor.

(1)

Bodden, Eric. editor.

(1)

Boehme, David. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bond, Robert A.

(1)

Bonfante, Guillaume. editor.

(1)

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

(1)

Box, Don, 1962-

(1)

Brambilla, Marco, 1976- author.

(1)

Breveglieri, Luca. author. (orcid)0000-0001-5294-6840

(1)

(1)

Buchanan, William.

(1)

(1)

Bäck, Thomas, 1963- editor.

(1)

Cabot, Jordi. editor.

(1)

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

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Cassez, Franck. editor.

(1)

Cerit, Orhan, ed.

(1)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charatan, Quentin. author.

(1)

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

(1)

Chen, Zhengxin.

(1)

Cheng, Chih-Hong. editor.

(1)

Chiba, Shigeru. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Clark, Robert G., ort. yaz.

(1)

Codish, Michael. editor.

(1)

Cohen, Albert. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Cordeiro, José. editor.

(1)

Corradini, Flavio. editor.

(1)

Coumans, Erwin, author.

(1)

Counsell, Steve. editor.

(1)

(1)

Crespi Reghizzi, Stefano. author.

(1)

Cybenko, George. editor. (orcid)0000-0001-7734-2912

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

(1)

Damiani, Ferruccio. editor.

(1)

De Gyurky, Szabolcs Michael.

(1)

DeRose, Luiz. editor.

(1)

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

(1)

Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847

(1)

Demirkol, Zafer.

(1)

Di Ruscio, Davide. editor.

(1)

DiMarzio, J. F., author.

(1)

Diaz-Herrera, Jorge L., 1950- editor.

(1)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

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

(1)

Dorf, Richard C.

(1)

Dorf, Richard C., editor.

(1)

(1)

Duan, Zhenhua. editor.

(1)

Duffy, Thomas J.

(1)

Dutra, Inês. editor.

(1)

(1)

Eberly, David H., author.

(1)

Egges, Arjan. author.

(1)

ElKoura, George, author.

(1)

Esen, İbrahim, yazar.

(1)

Esparza, Javier. editor.

(1)

Fan, Xing. editor.

(1)

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

(1)

(1)

Fernández, Maribel. author.

(1)

Fila, Barbara. editor. (orcid)0000-0002-1824-7621

(1)

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

(1)

Fischbach, Kai. editor.

(1)

Flammini, Francesco. editor.

(1)

Flatt, Matthew. editor.

(1)

Fleury, Martin, 1951-

(1)

Fogel, D. B, editor.

(1)

Fogel, D. B., editor.

(1)

Fokker, Jeroen D. author.

(1)

Foster, James C.

(1)

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

(1)

Fraternali, Piero, author.

(1)

Freeman, Elisabeth.

(1)

Freeman, Eric, 1965-

(1)

Fritzson, Peter A., 1952-

(1)

(1)

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

(1)

Garg, Vijay K. (Vijay Kumar), 1963-

(1)

Garrigue, Jacques. editor.

(1)

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

(1)

George, Laurent. editor.

(1)

Giacaman, Nasser. editor.

(1)

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

(1)

Goedicke, Michael. editor.

(1)

Goguen, Joseph.

(1)

Gonzalez, Teofilo F., editor.

(1)

Graf, Susanne. editor.

(1)

Gropp, William.

(1)

Grueau, Cédric. editor.

(1)

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

(1)

Guo, Hai-Feng. editor.

(1)

Guttman, Joshua D. editor.

(1)

Gürsakal, Necmi, author.

(1)

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

(1)

Haines, Eric, author.

(1)

Halfacree, Gareth.

(1)

Hall, Mary. editor. (orcid)0000-0002-3058-7573

(1)

Hammond, Jeff. editor.

(1)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(1)

Hart-Davis, Guy.

(1)

Hatcher, Philip J.

(1)

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

(1)

Henderson, Ronald, author.

(1)

Hepp, Martin. editor.

(1)

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

(1)

Heusser, Matthew, editor.

(1)

Hitzler, Pascal., author.

(1)

Hoefler, Torsten.

(1)

Hoffman, Naty, author.

(1)

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

(1)

(1)

Horning, James J., ed.

(1)

Horváth, Zoltán. editor.

(1)

Hughes, John. editor. (orcid)0000-0001-8042-0969

(1)

Hugues, Jérôme.

(1)

(1)

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

(1)

Igarashi, Atsushi. editor.

(1)

Insfran, Emilio. editor.

(1)

International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece)

(1)

Jensen, Henrik Wann, author.

(1)

Johansson, Moa. editor. (orcid)0000-0002-1097-8278

(1)

John Wiley & Sons.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Richard. editor.

(1)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(1)

Language

(225)

(28)

(1)

Publication Date

-

(74)

(69)

(13)

(10)

(9)

(9)

(8)

(7)

(5)

(5)

(5)

(4)

(4)

(4)

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

Subject

Programming languages (Electronic computers).

(130)

Software engineering.

(85)

Computer logic.

(58)

Computer programming.

(42)

Programming languages (Electronic computers)

(41)

(30)

Artificial intelligence.

(29)

Mathematical logic.

(25)

Electronic books.

(24)

(22)

Computer communication systems.

(13)

Computer science.

(13)

Computer simulation.

(12)

Application software.

(11)

C# (Bilgisayar programlama dili)

(11)

C# (Computer program language)

(11)

Programlama dili (Elektronik bilgisayarlar)

(11)

(9)

Computer organization.

(9)

Computer system failures.

(9)

Electronic digital computers -- Programming.

(9)

Elektronik sayısal bilgisayarlar -- Programlama.

(9)

Operating systems (Computers).

(8)

(7)

Architecture, Computer.

(6)

Computer software -- Development.

(6)

Microsoft.net framework.

(6)

COMPUTERS / Programming / Games.

(5)

COMPUTERS / Software Development & Engineering / General

(5)

Computer algorithms.

(5)

(5)

Database management.

(5)

Management information systems.

(5)

Parallel programming (Computer science)

(5)

Programming languages (Electronic computers) -- Semantics.

(5)

Python (Computer program language).

(5)

COMPUTERS -- Software Development & Engineering -- General.

(4)

COMPUTERS / Programming / Open Source

(4)

COMPUTERS / Programming / Software Development

(4)

COMPUTERS / Software Development & Engineering / Tools

(4)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.

(4)

Java (Computer program language)

(4)

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

(4)

Parallel computers -- Programming.

(4)

Python (Computer program language)

(4)

COMPUTERS -- Programming -- Games.

(3)

COMPUTERS -- Programming -- Open Source.

(3)

COMPUTERS -- Software Development & Engineering -- Tools.

(3)

COMPUTERS / Computer Graphics / Game Programming & Design

(3)

COMPUTERS / Computer Graphics.

(3)

COMPUTERS / Information Technology

(3)

COMPUTERS / Programming / Algorithms.

(3)

COMPUTERS / Programming Languages / General.

(3)

Computational intelligence.

(3)

Computer interfaces.

(3)

Computer science—Mathematics.

(3)

Embedded computer systems -- Programming.

(3)

MATHEMATICS / General

(3)

Microprocessors.

(3)

Operating systems (Computers)

(3)

Programmierung.

(3)

Special purpose computers.

(3)

Android (Electronic resource)

(2)

Application software -- Development.

(2)

Assembler language (Computer program language)

(2)

Bilgisayar algoritmaları.

(2)

Bilgisayarlar -- Programlama

(2)

COMPUTERS -- Computer Graphics.

(2)

COMPUTERS -- General.

(2)

COMPUTERS / General

(2)

COMPUTERS / Software Development & Engineering / General.

(2)

Computer games -- Design.

(2)

Computer games -- Programming.

(2)

Computer graphics.

(2)

Computer hardware.

(2)

Computer security.

(2)

Computers -- Programming.

(2)

Data protection.

(2)

Data structures (Computer science)

(2)

Data structures (Computer science).

(2)

Digital computer simulation.

(2)

ELEKTRONİK VERİ İŞLEM.

(2)

Electronic data processing -- Distributed processing.

(2)

Java (Computer program language).

(2)

Microprogramming .

(2)

Microsoft .NET Framework.

(2)

Microsoft Windows (Computer file)

(2)

Mobile computing.

(2)

Mıcrosoft .Net Çatısı.

(2)

Numerical analysis.

(2)

Parallelverarbeitung.

(2)

Pattern recognition.

(2)

Programlama Dili (Elektronik Bilgisayar).

(2)

Programlama dilleri (Elektronik bilgisayarlar)

(2)

Programmeertalen.

(2)

Programming languages (Electronic computers) -- Syntax.

(2)

Programming languages (Electronic computers) -- Textbooks.

(2)

Real-time data processing.

(2)

(2)

Smartphones -- Programming.

(2)

TECHNOLOGY & ENGINEERING / Electronics / General.

(2)

Tablet computers -- Programming.

(2)

UML (Computer science).

(2)

User interfaces (Computer systems).

(2)

(2)

programmation parallèle.

(2)

(1)

Active server pages.

(1)

Ada (Computer program language)

(1)

(1)

(1)

Algebraïsche taalkunde.

(1)

Algorithms -- Computer program.

(1)

Algoritmalar -- Bilgisayar programı.

(1)

Approche orientée objet (Informatique)

(1)

Arithmetic and logic units, Computer.

(1)

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

(1)

BUSINESS & ECONOMICS / Statistics.

(1)

(1)

Bilgisayar programlama.

(1)

Bilgisayarlar -- Programlama -- Ders kitapları.

(1)

Bilgisayarlar -- Programlama -- Öğretim

(1)

Bioinformatics.

(1)

Biomedical engineering.

(1)

Biometric identification.

(1)

Biosensing Techniques.

(1)

(1)

(1)

C (Computer program language)

(1)

COMPUTERS -- Data Processing.

(1)

COMPUTERS -- Enterprise Applications -- Business Intelligence Tools.

(1)

COMPUTERS -- Intelligence (AI) & Semantics.

(1)

COMPUTERS -- Programming -- Parallel.

(1)

COMPUTERS -- Programming Languages -- Pascal.

(1)

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

(1)

COMPUTERS / Computer Engineering

(1)

COMPUTERS / Computer Literacy

(1)

COMPUTERS / Computer Science

(1)

COMPUTERS / Data Processing

(1)

COMPUTERS / Data Transmission Systems / General

(1)

COMPUTERS / Hardware / General

(1)

COMPUTERS / Machine Theory

(1)

COMPUTERS / Networking / Vendor Specific

(1)

COMPUTERS / Programming / Algorithms

(1)

COMPUTERS / Programming / Object Oriented

(1)

COMPUTERS / Programming / Parallel

(1)

COMPUTERS / Programming / Systems Analysis & Design

(1)

COMPUTERS / Programming Languages / C#

(1)

COMPUTERS / Programming Languages / General

(1)

COMPUTERS / Programming Languages / Java

(1)

COMPUTERS / Programming Languages / Pascal

(1)

COMPUTERS / Reference

(1)

COMPUTERS / Systems Architecture / General.

(1)

Cinematography -- Special effecs.

(1)

Cloud computing -- Programming.

(1)

(1)

Cognitive grammar.

(1)

Common Language Runtime (Computer science)

(1)

Compilers (Computer programs)

(1)

Component software.

(1)

Computadores E Sistemas Analogicos E Digitais.

(1)

Computational complexity.

(1)

Computational linguistics.

(1)

(1)

Computer Science (General)

(1)

Computer algorithms -- Handbooks, manuals, etc.

(1)

Computer animation.

(1)

Computer composition (Music)

(1)

Computer crimes.

(1)

Computer engineering.

(1)

Computer games.

(1)

Computer networks -- Testing -- Data processing.

(1)

Computer networks--Access control.

(1)

Computer networks--Security measures.

(1)

Computer networks.

(1)

Computer programming -- Textbooks.

(1)

Computer prose.

(1)

Computer science -- Congresses.

(1)

Computer security -- Handbooks, manuals, etc.

(1)

Computer software -- Costs.

(1)

Computer software -- Quality control -- Standards.

(1)

Computer software -- Testing -- Standards.

(1)

Computer software -- Testing.

(1)

Computer software / Development.

(1)

Computer systems.

(1)

Computers -- History.

(1)

Computers -- Programming -- Teaching.

(1)

Computers -- Programming -- Textbooks.

(1)

Computers / Programming / Games / bisacsh.

(1)

Computers and IT.

(1)

Computers and civilization.

(1)

C♯ (Computer program language)

(1)

DATAPARALLEL C.

(1)

DERLEME (ELEKTRONİK BİLGİSAYARLAR).

(1)

Database design.

(1)

Database management -- Computer programs.

(1)

Datenverarbeitung

(1)

Decision support systems.

(1)

Electrical & Electronic Engineering

(1)

Electrical engineering.

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

Library

Beytepe 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

264 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 22

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 Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Author

Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24781-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Author

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Her yönüyle C# 8.0

Her yönüyle C# 8.0

Her yönüyle C# 8.0

Author

Aktaş, Volkan.

Preferred Shelf Number

QA76.73.C154 A39 2019

Format:

Availability

Beytepe 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 OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Author

Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Author

Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Author

Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Author

Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

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:

12.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 22

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11