Springer
Filters
Natural Language Processing and Information Systems: 17th International Conference on Applications of Natural Language to Information Systems, NLDB 20
Gosse Bouma, Ashwin Ittoo, Elisabeth Métais
Paperback
• Author(s): Gosse Bouma | Ashwin Ittoo | Elisabeth Métais • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Vision & Pattern RecognitionThis book constitutes the refereed proceedings of the 17th International Conference o...
View full detailsApplied Cryptography and Network Security: 10th International Conference, Acns 2012, Singapore, June 26-29, 2012, Proceedings
Feng Bao, Pierangela Samarati, Jianying Zhou
Paperback
• Author(s): Feng Bao | Pierangela Samarati | Jianying Zhou • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information Theory
Elliptische Integralgruppen Und Jacobische Elliptische Funktionen Im Komplexen
Friedrich Tölke
Paperback
• Author(s): Friedrich Tölke • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralDer vorliegende IV. Band enthiilt im 10. Kapitel in gruppenweiser Zusammenstellung zahl reiche elliptische Integrale in algebraischer, trigonometrisc...
View full detailsAutomated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings
Bernhard Gramlich, Dale Miller, Ulrike Sattler
Paperback
• Author(s): Bernhard Gramlich | Dale Miller | Ulrike Sattler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralConstitutes the refereed proceedings of the 6th International Joint Conference on Automate...
View full detailsTechnisch-Wissenschaftliche Abhandlungen Der Osram-Gesellschaft
G. Hähnel
Paperback
• Author(s): G. Hähnel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - MicroelectronicsSeit dem Erscheinen des 11. Bandes der Technisch-wissenschaftlichen Abhand- lungen sind mehr als zehn Jahre vergangen. Der ungew�hnl...
View full detailsAdvanced Information Systems Engineering Workshops: Caise 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012, Proceedings
Marko Bajec, Johann Eder
Paperback
• Author(s): Marko Bajec | Johann Eder • Publisher: Springer • Publisher Imprint: Springer • BISAC: Intelligence (AI) & SemanticsContains the thoroughly refereed proceedings of eight international workshops held in Gdansk, Poland, in conjunct...
View full detailsAdvanced Information Systems Engineering: 24th International Conference, Caise 2012, Gdansk, Poland, June 25-29, 2012. Proceedings
Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper
Paperback
• Author(s): Jolita Ralyté | Xavier Franch | Sjaak Brinkkemper • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book constitutes the refereed proceedings of the 24th International Conference on Ad...
View full detailsAgent and Multi-Agent Systems: Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012.
Gordan Jezic, Mario Kusek, Ngoc Thanh Nguyen
Paperback
• Author(s): Gordan Jezic | Mario Kusek | Ngoc Thanh Nguyen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book constitutes the refereed proceedings of the 6th KES International Conference on Ag...
View full detailsStructural Information and Communication Complexity: 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012, Revised
Guy Even, Magnús M. Halldórsson
Paperback
• Author(s): Guy Even | Magnús M. Halldórsson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Algorithms
Advances in Computational Intelligence, Part II: 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Ba
Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti
Paperback
• Author(s): Salvatore Greco | Bernadette Bouchon-Meunier | Giulianella Coletti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThese four volumes (CCIS 297, 298, 299, 300) constitute the proceedings ...
View full detailsCombinatorial Pattern Matching: 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012, Proceedings
Juha Kärkkäinen, Jens Stoye
Paperback
• Author(s): Juha Kärkkäinen | Jens Stoye • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012, held i...
View full detailsAlgorithm Theory - SWAT 2012: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings
Fedor V. Fomin, Petteri Kaski
Paperback
• Author(s): Fedor V. Fomin | Petteri Kaski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - AlgorithmsThis book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algo...
View full detailsFortschritte Der Botanik: Im Zusammenwirken Mit Den Botanischen Gesellschaften Von Däemark, Israel, Den Niederlanden Und Der Schweiz Sowie Der Deutsch
Heinz Ellenberg, Karl Esser, Hermann Merxmüller
Paperback
• Author(s): Heinz Ellenberg | Karl Esser | Hermann Merxmüller • Publisher: Springer • Publisher Imprint: Springer • BISAC: ResearchA. Anatomie und Morphologie.- I. Morphologie und Entwicklungsgeschichte der Zelle.- IIa. Submikroskopische und mol...
View full detailsAdvances in Neural Networks - Isnn 2012: 9th International Symposium on Neural Networks, Isnn 2012, Shenyang, China, July 11-14, 2012. Proceedings, Pa
Jun Wang, Gary G. Yen, Marios M. Polycarpou
Paperback
• Author(s): Jun Wang | Gary G. Yen | Marios M. Polycarpou • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareThe two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Sympo...
View full detailsComputer Aided Verification: 24th International Conference, Cav 2012, Berkeley, Ca, Usa, July 7-13, 2012 Proceedings
Madhusudan Parthasarathy, Sanjit A. Seshia
Paperback
• Author(s): Madhusudan Parthasarathy | Sanjit A. Seshia • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 201...
View full detailsIntelligent Computer Mathematics: 11th International Conference, Aisc 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11t
Johan Jeuring, John Campbell, Jacques Carette
Paperback
• Author(s): Johan Jeuring | John Campbell | Jacques Carette • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book constitutes the joint refereed proceedings of the 11th International Conference o...
View full detailsAdvances in Internal Medicine and Pediatrics / Ergebnisse Der Inneren Medizin Und Kinderheilkunde: Neue Folge
E. Heidbreder, A. Heidland, P. C. Baumann
Paperback
• Author(s): E. Heidbreder | A. Heidland | P. C. Baumann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Internal MedicineToxische Nierenschäden.- Die akute Aortendissektion: Klinik Diagnostik Therapie Verlauf.- Das Mitralklappenp...
View full detailsTransactions on Edutainment VIII
Zhigeng Pan, Adrian David Cheok, Wolfgang Müller
Paperback
• Author(s): Zhigeng Pan | Adrian David Cheok | Wolfgang Müller • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis journal subline serves as a forum for stimulating and diss...
View full detailsBiomimetic and Biohybrid Systems: First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012, Proceedings
Tony T. Prescott, Nathan F. Lepora, Anna Mura
Paperback
• Author(s): Tony T. Prescott | Nathan F. Lepora | Anna Mura • Publisher: Springer • Publisher Imprint: Springer • BISAC: AutomationThis book constitutes the proceedings of the First International Conference on Biomimetic and Biohybrid Systems, L...
View full detailsAutomata, Languages, and Programming: 39th International Colloquium, Icalp 2012, Warwick, Uk, July 9-13, 2012, Proceedings, Part I
Artur Czumaj, Kurt Mehlhorn, Andrew Pitts
Paperback
• Author(s): Artur Czumaj | Kurt Mehlhorn | Andrew Pitts • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralThis two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th Internatio...
View full detailsModelling Foundations and Applications: 8th European Conference, Ecmfa 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings
Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler
Paperback
• Author(s): Antonio Vallecillo | Juha-Pekka Tolvanen | Ekkart Kindler • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersPapers on all aspects of MDE were received, including topics such as architectural modelling and product ...
View full detailsRöntgendiagnostik Der Oberen Speise- Und Atemwege, Der Atemorgane Und Des Mediastinums: Teil 1 / Part 1: Roentgen Diagnosis of the Upper Alimentary Tr
H. Blaha, H. Fischer, S. Hofmann
Paperback
• Author(s): H. Blaha | H. Fischer | S. Hofmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralDie rontgenologische Diagnostik des Respirationstraktes war neben der des Skeletes eine weitere Moglichkeit, welche ohne Zuhilfena...
View full detailsDie Konservierung Von Knochengewebe Für Transplantationen
Hans Roth
Paperback
• Author(s): Hans Roth • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralDie vorliegende Arbeit stammt aus der Chirurgischen Universitatsklinik Basel. Sie stellt den Versuch dar, die theoretischen und praktischen Fragen der Knoc...
View full detailsSingle-Photon-Emissions-Computertomographie (Spect) Des Herzens
Helmut J. Wieler
Paperback
• Author(s): Helmut J. Wieler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Radiology, Radiotherapy & Nuclear MedicineMit diesem Buch wird erstmals ein klinisch orientiertes Werk zum Thema SPECT des Herzens vorgestellt. Es werd...
View full detailsAutomata, Languages, and Programming: 39th International Colloquium, Icalp 2012, Warwick, Uk, July 9-13, 2012, Proceedings, Part II
Artur Czumaj, Kurt Mehlhorn, Andrew Pitts
Paperback
• Author(s): Artur Czumaj | Kurt Mehlhorn | Andrew Pitts • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralThis two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th Internatio...
View full detailsLogic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam, the Netherlands, December 19-21, 2011, Revised Selected Papers
Maria Aloni, Vadim Kimmelman, Floris Roelofsen
Paperback
• Author(s): Maria Aloni | Vadim Kimmelman | Floris Roelofsen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, Th...
View full detailsPrivacy Enhancing Technologies: 12th International Symposium, Pets 2012, Vigo, Spain, July 11-13, 2012, Proceedings
Simone Fischer-Hübner, Matthew Wright
Paperback
• Author(s): Simone Fischer-Hübner | Matthew Wright • Publisher: Springer • Publisher Imprint: Springer • BISAC: Security - Cryptography & EncryptionThis book constitutes the refereed proceedings of the 12 th International Symposium on Privac...
View full detailsTrends in Functional Programming: 12th International Symposium, Tfp 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Ricardo Peña, Rex Page
Paperback
• Author(s): Ricardo Peña | Rex Page • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Progr...
View full details1987
Rudolf Schwab, Wolfgang Becker
Paperback
• Author(s): Rudolf Schwab | Wolfgang Becker • Publisher: Springer • Publisher Imprint: Springer • BISAC: Earth Sciences - Meteorology & Climatology
Formal Grammar: 15th and 16th International Conference on Formal Grammarfg 2010 Copenhagen, Denmark, August 2010fg 2011 Lubljana, Slovenia, August 201
Philippe De Groote, Mark-Jan Nederhof
Paperback
• Author(s): Philippe De Groote | Mark-Jan Nederhof • Publisher: Springer • Publisher Imprint: Springer • BISAC: Grammar & PunctuationThis book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Gramm...
View full detailsWeberei: Verfahren Und Maschinen Für Die Gewebeherstellung
Josef Schneider
Paperback
• Author(s): Josef Schneider • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)Das vorliegende Handbuch vermittelt die Kenntnis der Verfahren und Maschi- nen für die Gewebeherstellung, es wendet sich an die Textili...
View full detailsCommuncations and Information Processing: First International Conference, Iccip 2012, Aveiro, Portugal, March 7-11, 2012, Proceedings, Part II
Maotai Zhao, Junping Sha
Paperback
• Author(s): Maotai Zhao | Junping Sha • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThe two volume set, CCIS 288 and 289, constitutes the thoroughly refereed post-conference proceedings of the Firs...
View full detailsFortschritte Der Botanik: Im Zusammenwirken Mit Den Botanischen Gesellschaften Von Dänemark, Israel, Den Niederlanden Und Der Schweiz Sowie Der Deutsc
Heinz Ellenberg, Karl Esser, Hermann Merxmüller
Paperback
• Author(s): Heinz Ellenberg | Karl Esser | Hermann Merxmüller • Publisher: Springer • Publisher Imprint: Springer • BISAC: ResearchA. Anatomie und Morphologie.- I. Morphologie und Entwicklungsgeschichte der Zelle.- II. Submikroskopische Cytologi...
View full detailsDie Gebäudebeheizung Mit Heizöl: Heizölarten, Brennersysteme, Einbau Wirtschaftlichkeit
Werner Hansen
Paperback
• Author(s): Werner Hansen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)verbraucher, die sich nach Aufbau des Brenners und Betriebsweise nicht fUr Gebaudebeheizung eignen. Aus diesen blanlagen wurden die handl...
View full detailsBerichte Zur Resistenzmonitoringstudie 2008: Resistenzsituation Bei Klinisch Wichtigen Tierpathogenen Bakterien Berichte Gemäß § 77 Abs. 3 AMG
Saskia Dombrowski
Paperback
• Author(s): Saskia Dombrowski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Agriculture - GeneralDie Anwendung von antibakteriell wirksamen Substanzen in der Veterin�rmedizin erfolgt zum einen aus Gr�nden des Verbraucherschutzes, ...
View full detailsTrusted Systems: Third International Conference, INTRUST 2011, Beijing, China, November 27-29, 2011 Revised Selected Papers
Liqun Chen, Moti Yung, Liehuang Zhu
Paperback
• Author(s): Liqun Chen | Moti Yung | Liehuang Zhu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Security - Network Security
Foundations of Health Informatics Engineering and Systems: First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011.
Zhiming Liu, Alan Wassyng
Paperback
• Author(s): Zhiming Liu | Alan Wassyng • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informati...
View full detailsWeibliche Geschlechtsorgane: Uterus Und Tuben
O. Frankl, K. Kaufmann, R. Meyer
Paperback
• Author(s): O. Frankl | K. Kaufmann | R. Meyer • Publisher: Springer • Publisher Imprint: Springer • BISAC: PathologyDieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verla...
View full detailsEntstaubungstechnik: Grundlagen Verfahren Meßwesen
Wilhelm Batel
Paperback
• Author(s): Wilhelm Batel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)Entstaubung ist das Entfernen oder Abtrennen von Teilchen der 3 3 Grö e zwischen etwa 10- bis 10 fllll, die in Gasen dispergiert sind. De...
View full detailsVerallgemeinerte Technische Biegetheorie: Lineare Probleme
Christof Schardt, Richard Schardt
Paperback
• Author(s): Christof Schardt | Richard Schardt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Civil - GeneralDie Verallgemeinerte Technische Biegetheorie (VTB) beschreibt das Verhalten prismatischer Tragwerke auf neuer Grundlage; d...
View full detailsGrundlagen Der Analytischen Topologie
Georg Nöbeling
Paperback
• Author(s): Georg Nöbeling • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralIn einem Buche durchschnittlichen Umfanges die gesamte analytische Topologie oder auch nur ihre Hauptgebiete einigermaBen vollsHindig dar- zustellen, ...
View full detailsDifferentialdiagnose Seltener Lungenerkrankungen Im Röntgenbild
Karl Musshoff, Jürgen Weinreich
Paperback
• Author(s): Karl Musshoff | Jürgen Weinreich • Publisher: Springer • Publisher Imprint: Springer • BISAC: Pulmonary & Thoracic MedicineAnliWlich der Tagung der Deutschen Tuberkulosegesellschaft im Herbst 1960 in Freiburg i. Br. war das fUhre...
View full detailsFoundational and Practical Aspects of Resource Analysis: Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Pap
Ricardo Peña, Marko Van Eekelen, Olha Shkaravska
Paperback
• Author(s): Ricardo Peña | Marko Van Eekelen | Olha Shkaravska • Publisher: Springer • Publisher Imprint: Springer • BISAC: Machine TheoryThe 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop an...
View full detailsRechtsfragen Des Critical Incident Reportings in Der Medizin: Unter Besonderer Berücksichtigung Krankenhausinterner Fehlermeldesysteme
Jasmin Thüß
Hardcover
• Author(s): Jasmin Thüß • Publisher: Springer • Publisher Imprint: Springer • BISAC: AdministrationProlog.- Critical Incident Reporting in der Medizin.- Haftungsrelevante Fehler in Critical Incident Reports.- Pflicht des Krankenhaustr�gers zum B...
View full detailsKnowledge Management and Acquisition for Intelligent Systems: 12th Pacific Rim Knowledge Acquisition Workshop, Pkaw 2012, Kuching, Malaysia, September
Deborah Richards, Byeong Ho Kang
Paperback
• Author(s): Deborah Richards | Byeong Ho Kang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book constitutes the proceedings of the 12th International Workshop on Knowledge Management and Acqu...
View full detailsProzessmanagement Individuell Umgesetzt: Erfolgsbeispiele Aus 15 Privatwirtschaftlichen Und Öffentlichen Organisationen
Eva-Maria Kern
Hardcover
• Author(s): Eva-Maria Kern • Publisher: Springer • Publisher Imprint: Springer • BISAC: Management - GeneralNicht nur für Unternehmen der Privatwirtschaft, sondern auch für öffentliche Institutionen ist Prozessmanagement nach wie vor ein aktuell...
View full detailsManagement of Complications of Cosmetic Procedures: Handling Common and More Uncommon Problems
Antonella Tosti, Kenneth Beer, Maria Pia De Padova
Hardcover
• Author(s): Antonella Tosti | Kenneth Beer | Maria Pia De Padova • Publisher: Springer • Publisher Imprint: Springer • BISAC: DermatologyThis book presents all the potential side-effects and complications of the most frequently used procedures i...
View full detailsInternet of Things: International Workshop, Iot 2012, Changsha, China, August 17-19, 2012. Proceedings
Yongheng Wang, Xiaoming Zhang
Paperback
• Author(s): Yongheng Wang | Xiaoming Zhang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Transmission Systems - GeneralThis book constitutes the refereed proceedings of the International Workshop on Internet of Things, IOT 20...
View full detailsImaging for Pediatricians: 100 Key Cases
María I. Martínez-León, Antonio Martínez-Valverde, Luisa Ceres-Ruiz
Paperback
• Author(s): María I. Martínez-León | Antonio Martínez-Valverde | Luisa Ceres-Ruiz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Diagnostic Imaging - GeneralThe book, written by expert pediatricians and radiologists, is divided int...
View full detailsSurvivalguide Schreiben: Ein Schreibcoaching Fürs Studium Bachelor-, Master- Und Andere Abschlussarbeiten Vom Schreibmuffel Zum Schreibfan!
Gabriele Bensberg
Paperback
• Author(s): Gabriele Bensberg • Publisher: Springer • Publisher Imprint: Springer • BISAC: Life Sciences - GeneralDas Schreiben von wissenschaftlichen Texten geht den einen leicht von der Hand, doch für viele andere ist es eher ein Fluch und sie...
View full detailsLexikon Meß- Und Automatisierungstechnik
Elmar Schrüfer
Paperback
• Author(s): Elmar Schrüfer • Publisher: Springer • Publisher Imprint: Springer • BISAC: AutomationDas Werk enth�lt Beitr�ge zu rd. 1600 Eintragungen unterst�tzt von zahlreichen Illustrationen, Tafeln und weiterf�hrender Literatur welche Begriffe...
View full detailsLehrbuch Der Allgemeinen Metallkunde
Kurt Lücke, Georg Masing
Paperback
• Author(s): Kurt Lücke | Georg Masing • Publisher: Springer • Publisher Imprint: Springer • BISAC: Chemistry - GeneralAls Vorbild bei der Abfassung des vorliegenden Buches schwebte mir in der Betonung des Grundsätzlichen das bekannte Lehrbuch de...
View full detailsMobile Computing, Applications, and Services: Third International Conference, Mobicase 2011, Los Angeles, Ca, Usa, October 24-27, 2011. Revised Select
Joy Zhang, Jarek Wilkiewicz, Ani Nahapetian
Paperback
• Author(s): Joy Zhang | Jarek Wilkiewicz | Ani Nahapetian • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThis book constitutes the thoroughly refereed post-conference proceedings of the Third Intern...
View full detailsLogic, Language, Information, and Computation
Luke Ong, Ruy De Queiroz
Paperback
• Author(s): Luke Ong | Ruy De Queiroz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed pr...
View full detailsKarsthydrogeologie
J. G. Zötl
Paperback
• Author(s): J. G. Zötl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Earth Sciences - GeneralIn den letzten beiden Jahrzehnten verging kein Jahr, in dem nicht karst- hydrogeologische Probleme an mich herantraten. Dabei kam ich zur...
View full detailsFormal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Paperback
• Author(s): Bernhard Beckert | Ferruccio Damiani | Dilian Gurov • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book presents the thoroughly refereed post-conference proceedings of the International Conference on Forma...
View full detailsDevelopments in Language Theory: 16th International Conference, Dlt 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings
Hsu-Chun Yen, Oscar H. Ibarra
Paperback
• Author(s): Hsu-Chun Yen | Oscar H. Ibarra • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data ProcessingThis book constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 20...
View full detailsTransactions on Computational Science XVI
Marina Gavrilova, C. J. Kenneth Tan
Paperback
• Author(s): Marina Gavrilova | C. J. Kenneth Tan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThe LNCS journal Transactions on Computational Science reflects recent developments in the field of Co...
View full detailsHarnorgane Männliche Geschlechtsorgane
H. Chiari, Th Fahr, Georg B. Gruber
Paperback
• Author(s): H. Chiari | Th Fahr | Georg B. Gruber • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralDieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anf�ngen des Verl...
View full detailsInternet of Things, Smart Spaces, and Next Generation Networking: 12th International Conference, New2an 2012, and 5th Conference, Rusmart 2012, St. Pe
Sergey Andreev, Sergey Balandin, Yevgeni Koucheryavy
Paperback
• Author(s): Sergey Andreev | Sergey Balandin | Yevgeni Koucheryavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TechnologyThis book constitutes the joint refereed proceedings of the 12 International Conference on Next...
View full details