Search Results for Programming languages (Electronic computers)

|

|

|

|

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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

182 Results Found

Subscribe to search results

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

37.

Cover image for A Beginners Guide to Python 3 Programming

A Beginners Guide to Python 3 Programming

A Beginners 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-20290-3

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Author

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Author

Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

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:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

Cover image for Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

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:

48.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 16

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11