Search Results for Programming languages (Electronic computers)

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

Author

SpringerLink (Online service)

(125)

(6)

Aktaş, Volkan.

(5)

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)

Badger, Julia M. editor.

(2)

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

(2)

Giannakopoulou, Dimitra. editor.

(2)

Lee, Kent D. author.

(2)

Lissoir, Alain.

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

Agha, Gul. editor.

(1)

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

(1)

Albert, Elvira. editor.

(1)

Alferes, José Júlio. editor.

(1)

Amyot, Daniel. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artho, Cyrille. editor.

(1)

Avgeriou, Paris. editor.

(1)

Bansal, Arvind Kumar.

(1)

Barais, Olivier. editor.

(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. (orcid)0000-0003-3069-3701

(1)

Bhattacharjee, Arup Kumar.

(1)

Bodden, Eric. editor.

(1)

Boehme, David. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

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

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)

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)

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)

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)

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)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

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

(1)

Duan, Zhenhua. editor.

(1)

Duffy, Thomas J.

(1)

Dutra, Inês. editor.

(1)

Egges, Arjan. author.

(1)

Esparza, Javier. editor.

(1)

Fan, Xing. editor.

(1)

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

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

Fokker, Jeroen D. author.

(1)

Foster, James C.

(1)

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

(1)

Fraternali, Piero, author.

(1)

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

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

Graf, Susanne. editor.

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

Halfacree, Gareth.

(1)

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

(1)

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

(1)

Hepp, Martin. editor.

(1)

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

(1)

Hitzler, Pascal.

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

(1)

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

(1)

Igarashi, Atsushi. editor.

(1)

Insfran, Emilio. editor.

(1)

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

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Richard. editor.

(1)

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

(1)

Kans, Aaron. author.

(1)

Keller, Chantal. editor.

(1)

(1)

Kienzle, Jörg. editor.

(1)

Kindler, Ekkart. editor.

(1)

Kindratenko, Volodymyr. editor.

(1)

Klein, Gerwin. author.

(1)

Knauss, Eric. editor. (orcid)0000-0002-6631-872X

(1)

Kobayashi, Naoki. editor.

(1)

Kovalev, Mikhail. author.

(1)

Krieger, Udo R. editor.

(1)

Kroening, Daniel. editor.

(1)

Küçükönder, Mehmet.

(1)

Lakhnech, Yassine. editor.

(1)

Lakshman, Bulusu.

(1)

Landwehr, Carl E. editor.

(1)

Lang, Frédéric. editor.

(1)

Larsen, Kim G. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Laurini, Robert. editor.

(1)

Lazzarini, Victor. author.

(1)

Le Goues, Claire. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leone, Nicola. editor.

(1)

Levin, Michael I.

(1)

Levine, Joshua A. editor.

(1)

Lewis, Dave. editor.

(1)

Lifschitz, Vladimir. author.

(1)

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096

(1)

Liu, Shaoying. editor.

(1)

Loreti, Michele. editor. (orcid)0000-0003-3061-863X

(1)

Lujak, Marin. editor.

(1)

Malcolm, Grant.

(1)

Malizia, Alessio. editor.

(1)

Malony, Allen D. editor.

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(1)

Maoz, Shahar. editor.

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Martn̕ Vide, Carlos.

(1)

Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X

(1)

Massachusetts Institute of Technology. Computation Center.

(1)

Massachusetts Institute of Technology. Research Laboratory of Electronics.

(1)

Massaron, Luca.

(1)

Massink, Mieke. editor. (orcid)0000-0001-5089-002X

(1)

Masuhara, Hidehiko. editor.

(1)

Matsuoka, Satoshi. editor.

(1)

McCarthy, Jay. editor.

(1)

McCarthy, John, 1927-2011.

(1)

McClure, Stuart.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

McKeeman, William Marshall.

(1)

(1)

McLean, Alex (Christopher Alex), 1975-

(1)

Meersman, Robert. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Merz, Stephan. editor.

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Mitrana, Victor.

(1)

Montes de Oca, Edgardo. editor.

(1)

Morch, Anders. editor.

(1)

Language

(167)

(15)

(1)

Publication Date

-

(66)

(63)

(5)

(5)

(5)

(5)

(4)

(4)

(3)

(3)

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

(81)

Computer logic.

(58)

Programming languages (Electronic computers)

(40)

Computer programming.

(38)

Artificial intelligence.

(26)

Mathematical logic.

(24)

(21)

(19)

Computer communication systems.

(13)

C# (Bilgisayar programlama dili)

(11)

C# (Computer program language)

(11)

Computer simulation.

(11)

Programlama dili (Elektronik bilgisayarlar)

(11)

Application software.

(9)

Computer organization.

(9)

Computer science.

(9)

Computer system failures.

(9)

Operating systems (Computers).

(8)

(7)

Architecture, Computer.

(6)

Microsoft.net framework.

(6)

Electronic books.

(5)

Python (Computer program language).

(5)

(4)

Database management.

(4)

Management information systems.

(4)

Programming languages (Electronic computers) -- Semantics.

(4)

Computer science—Mathematics.

(3)

Computer software -- Development.

(3)

Microprocessors.

(3)

Python (Computer program language)

(3)

Special purpose computers.

(3)

Assembler language (Computer program language)

(2)

Computational intelligence.

(2)

Computer hardware.

(2)

Computer security.

(2)

Data protection.

(2)

Data structures (Computer science).

(2)

Digital computer simulation.

(2)

Java (Computer program language).

(2)

Microprogramming .

(2)

Microsoft .NET Framework.

(2)

Microsoft Windows (Computer file)

(2)

Mıcrosoft .Net Çatısı.

(2)

Numerical analysis.

(2)

Operating systems (Computers)

(2)

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

(2)

Pattern recognition.

(2)

Programlama dilleri (Elektronik bilgisayarlar)

(2)

Programmeertalen.

(2)

Programming languages (Electronic computers) -- Syntax.

(2)

Programming languages (Electronic computers) -- Textbooks.

(2)

(2)

User interfaces (Computer systems).

(2)

Active server pages.

(1)

(1)

Algebraïsche taalkunde.

(1)

Algorithms -- Computer program.

(1)

Algoritmalar -- Bilgisayar programı.

(1)

Arithmetic and logic units, Computer.

(1)

Bioinformatics.

(1)

Biometric identification.

(1)

(1)

Common Language Runtime (Computer science)

(1)

Compilers (Computer programs)

(1)

Component software.

(1)

Computational linguistics.

(1)

(1)

Computer crimes.

(1)

Computer games -- Programming.

(1)

Computer networks -- Testing -- Data processing.

(1)

Computer networks--Access control.

(1)

Computer networks--Security measures.

(1)

Computer programming -- Textbooks.

(1)

Computer prose.

(1)

Computer security -- Handbooks, manuals, etc.

(1)

Computers -- History.

(1)

Computers and IT.

(1)

Computers and civilization.

(1)

C♯ (Computer program language)

(1)

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

(1)

Data structures (Computer science)

(1)

Datenverarbeitung

(1)

Embedded computer systems -- Programming.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Formal languages.

(1)

Formale Semantik.

(1)

Funktionale Semantik.

(1)

Geschichte (1937-1963)

(1)

(1)

Grammar, Comparative and general -- Data processing.

(1)

Human-computer interaction.

(1)

Information retrieval.

(1)

Input-output equipment (Computers).

(1)

Interactive computer systems.

(1)

Internet programming.

(1)

Java (Computer program language)

(1)

Knowledge representation (Information theory) .

(1)

Kodlama teorisi.

(1)

LISP (Computer program language)

(1)

Law and legislation.

(1)

Logic programming.

(1)

(1)

Machine learning.

(1)

Makine öğrenmesi.

(1)

Mathematical linguistics.

(1)

Mathematical statistics.

(1)

Microsoft .NET.

(1)

Mobile computing.

(1)

(1)

Natural language processing (Computer science).

(1)

Numerical analysis -- Data processing

(1)

(1)

Object-oriented programming (Computer science)

(1)

Oracle (Computer file)

(1)

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

(1)

Parsing (Computer grammar)

(1)

Personal computers.

(1)

Programlama Dili (Elektronik Bilgisayar)

(1)

Programlama Dili (Elektronik Bilgisayar).

(1)

Programlama dili

(1)

Programlama dili (Elektronik bilgisayar)

(1)

Programlama dilleri (Elektronik Bilgisayarlar)

(1)

Programlama dilleri (Elektronik bilgisayarlar).

(1)

Programmeren (computers)

(1)

Programmiersprache

(1)

Programming languages (Electronic computers) -- Handbooks, manuals, etc.

(1)

Programming languages (Electronic computers) -- History.

(1)

Programming languages (Electronic computers) -- Mathematics.

(1)

Programming languages (Electronic computers) -- Problems, exercises, etc.

(1)

Programming languages (Electronic computers) -- Software.

(1)

Public key cryptography.

(1)

Python(Bilgisayar program dili)

(1)

Quantum computers.

(1)

R (Computer program language)

(1)

Raspberry Pi (Computer)

(1)

Sayısal çözümleme -- Bilgi İşlem

(1)

(1)

Signal processing.

(1)

Smartphones -- Programming.

(1)

Source code (Computer science) -- Philosophy.

(1)

Speech processing systems.

(1)

Systems engineering.

(1)

Telecommunication systems -- Testing -- Data processing.

(1)

Telecommunication--Security measures.

(1)

Text editors (Computer programs)

(1)

UML (Computer science).

(1)

User interfaces (Computer systems) -- Design.

(1)

Veri madenciliği.

(1)

Veri yapıları (Bilgisayar bilimleri)

(1)

Virtual computer systems.

(1)

Virtual reality.

(1)

XML (Document markup language).

(1)

(1)

(1)

langage programmation.

(1)

programmation parallèle.

(1)

programme impératif.

(1)

(1)

sémantique algébrique.

(1)

sémantique dénotationnelle.

(1)

sémantique formelle.

(1)

sémantique langage programmation.

(1)

sémantique opérationnelle.

(1)

théorie domaine.

(1)

théorème Gödel.

(1)

ÇEVİRİCİ DİLİ (BİLGİSAYAR PROGRAMLAMA DİLİ)

(1)

Çevirici Dili (Bilgisayar Programlama Dili)

(1)

équation récursive.

(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

182 Results Found

Subscribe to search results

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

13.

Cover image for On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Author

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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:

15.

Cover image for Transactions on High-Performance Embedded Architectures and Compilers V

Transactions on High-Performance Embedded Architectures and Compilers V

Transactions on High-Performance Embedded Architectures and Compilers V

Author

Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58834-5

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Author

Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

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:

18.

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:

19.

Cover image for Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Author

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14174-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 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

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Formal Languages and Compilation

Formal Languages and Compilation

Formal Languages and Compilation

Author

Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Answer Set Programming

Answer Set Programming

Answer Set Programming

Author

Lifschitz, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for The Python Workbook A Brief Introduction with Exercises and Solutions

The Python Workbook A Brief Introduction with Exercises and Solutions

The Python Workbook A Brief Introduction with Exercises and Solutions

Author

Stephenson, Ben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

Author

Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 16

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11