Search Results for Programming languages (Electronic 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

Narrowed by:

+

Language: English

Author

SpringerLink (Online service)

(125)

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)

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)

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)

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)

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)

(1)

Morzenti, Angelo. author.

(1)

Mueller, John Paul.

(1)

Mukherjee, Soumen.

(1)

Muscholl, Anca. editor.

(1)

Mussbacher, Gunter. editor.

(1)

Language

(1)

Publication Date

-

(64)

(62)

(6)

(5)

(5)

(4)

(4)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Programming languages (Electronic computers).

(130)

Software engineering.

(81)

Computer logic.

(58)

Computer programming.

(38)

Artificial intelligence.

(26)

Programming languages (Electronic computers)

(25)

Mathematical logic.

(24)

(21)

(19)

Computer communication systems.

(13)

Computer simulation.

(11)

Application software.

(9)

Computer organization.

(9)

Computer science.

(9)

Computer system failures.

(9)

Operating systems (Computers).

(8)

(7)

Architecture, Computer.

(6)

Electronic books.

(5)

Programming languages (Electronic computers) -- Semantics.

(5)

Python (Computer program language).

(5)

(4)

Database management.

(4)

Management information systems.

(4)

Computer science—Mathematics.

(3)

Computer software -- Development.

(3)

Microprocessors.

(3)

Python (Computer program language)

(3)

Special purpose computers.

(3)

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)

Numerical analysis.

(2)

Operating systems (Computers)

(2)

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

(2)

Pattern recognition.

(2)

Programmeertalen.

(2)

Programming languages (Electronic computers) -- Syntax.

(2)

Programming languages (Electronic computers) -- Textbooks.

(2)

(2)

UML (Computer science).

(2)

User interfaces (Computer systems).

(2)

Active server pages.

(1)

(1)

Algebraïsche taalkunde.

(1)

Arithmetic and logic units, Computer.

(1)

Assembler language (Computer program language)

(1)

Bioinformatics.

(1)

Biometric identification.

(1)

Cognitive grammar.

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

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

Kognitionswissenschaft.

(1)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(1)

LISP (Computer program language)

(1)

Law and legislation.

(1)

Logic programming.

(1)

Mathematical linguistics.

(1)

Mathematical statistics.

(1)

Microsoft .NET.

(1)

Mobile computing.

(1)

(1)

Natural language processing (Computer science).

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

Semantics -- Mathematical models.

(1)

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

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)

é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

168 Results Found

Subscribe to search results

1 2 3 4 5 .. 14

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 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:

2.

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:

3.

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:

4.

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:

5.

Cover image for Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Author

Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

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:

8.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Author

Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Learning C# by Programming Games

Learning C# by Programming Games

Learning C# by Programming Games

Author

van Toll, Wouter. author. Egges, Arjan. author. Fokker, Jeroen D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-59252-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Author

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

Author

Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 14

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11